Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer | certified researcher
RT @tritlo: Friends don't let friends use dynamic types
Americucks coping and seething as i seamlessly install 12 000 BTU of cooling into my European apartment
it happens when you zinc a lot
How do you even get zinc deficiency
I wish companies were like sports teams, and we’d all be discussing Zhao Shengjia’s performance this season and speculating on trades before the cutoff
overheard: “he’s a man with bright future BEHIND him” what a burn lmao
Great blog post about Programming Language Theory by @onehappyfellow: tinyurl.com/PLT-image-prob…. There's so much *great* stuff in PLT that everyone involved in CS should know about.
this literally one-shotted me as a kid, I became a lifelong LotR fan (and fantasy by extension)
how amazing it must have been seeing this scene for the first time in theaters
in german all islands are insels well, except for that one island in norse mythology
I know a language in its 30s that’s well-typed, non-eager, has great inference, testing frameworks, language extensions, build system… and yet it spends many of its nights languishing in forums, unable to find a true user base is modern programming really this broken?
Weeeeeeeeelllll.....
share a piece of lore that connects you to history.
Guy who has only read the Bible, reading Chronicles of Narnia: Getting a lot of 'Bible' vibes from this...
the crazy thing about a PhD is that you don’t just defend it to some random people, they literally get the top experts in exactly your subfield and they read all your papers very critically and that’s what you have to defend against lmao
We have this same joke about my gymnasium in Iceland. Teaches you Latin for heaven, and Danish for hell lmao
An old Soviet joke. The Russians arrest a Jew for studying Hebrew. “Why are you studying Hebrew in Russia? You will die before being allowed to go to Israel.” “When I die, I will go to heaven and everyone there will speak Hebrew.” “Ha! And what if you go to hell?” “I already…