Jose Cardona
@JM0x5C
Followers
756
Following
3K
Media
188
Statuses
3K
🇨🇴🇨🇦PLT Nerd. Haskell, rust, types, cryptography and Muay Thai! In a past time, I led the development of pact @ Kadena.
Toronto, Ontario
Joined June 2017
I don't even get jobs through that garbage either, it literally has yet to help me ever, other than annoy me with spam
0
0
0
Omg I almost got in an internet argument... ON LINKEDIN. Self control won and I hit backspace and closed the tab. I need to delete this platform I swear 95% of posts are just ragebait. If only more of my beloved ex coworkers used discord 😭. This is like Facebook all over again
1
0
1
Do crypto people really invite random engineers to hop on podcasts to yap? I've been invited to several of these now and idk how I'd be useful to a panel like this. Mf I just wrote code I can't help explain your illuminati price charts.
0
0
0
To all my network/homies hiring: I have a few really good engineers that write haskell/rust that are ex-kadena looking for work. Is anyone hiring? Pls RT for outreach, help me get the squad work.
3
3
15
idk how I went from beautiful PLT/FP twitter to now some sort of for you page flooded with founders and SF culture and I hate it. I don't live in SF and I've actively avoided moving there my entire career. I don't want to be there. Somehow twitter doesn't seem to understand that
0
0
2
I am happy to announce that I am no longer unemployed :^) I get to continue to write haskell full time hell yeah.
1
0
4
I fucking hate car centric infrastructure. Cars are a fucking cancer to our society.
0
0
1
holy shit it’s real
We are hiring a Head of Preparedness. This is a critical role at an important time; models are improving quickly and are now capable of many great things, but they are also starting to present some real challenges. The potential impact of models on mental health was something we
667
6K
66K
Canadians talk so much about brain drain from Canada but like, all US companies pay us more. Why tf would I work for Canadians when they, no joke, pay 1/2 or less than US jobs do. Ridiculous. You want to keep our talent? Pay them.
0
0
1
Welp never using coderabbit. CEO straight delulu
@aidenybai Just to set th record straight - We always welcome constructive feedback. I have seen your posts on X over the last few days and they have been overly negative/malignant without constructive feedback. If you have meaninful suggestions on how to improve the product, we’re all
0
0
2
I feel incredibly blessed to be able to continue to work in Haskell full time
0
0
0
this is a good example of Paul Graham's "Blub paradox" the argument for why Rust is superior doesn't land, because he isn't familiar with the foundational concept that Rust has which C/C++ lack
31
20
608
LARPing as a sysadmin for my family makes me consider WHO TF SETS UP SERVERS ON WINDOWS?!? Holy fuck it's a painful experience, pretty much nothing works on their command line and everything is through clicky services and wizards. Swapped to a Linux box and set up took me 5% of
0
0
2
I think a hallmark of being new to formal proof is not realizing that you always feel like you're 30 minutes away from a QED, no matter how far you actually are. Hijacks your reward system for sure
7
10
377
I love shitting on C# sometimes because it's actually a language with a ton of fantastic engineering on its runtime and performance but the ergonomics of a geriatric language and fanboys defend it like Microsoft is actually paying them to. "Noo it's not like Java at alll it
0
0
0
At this point my entire professional network comes from cool nerds on twitter, I don't get why tf I even still have linkedin. It's like worse than 2000s facebook
0
0
0