I started writing about AI mainly to help my thoughts in this fast moving time. Hopefully it helps to you too. cse.chalmers.se/~russo/#/blo…

Quote by @typesafeai to marketing its new AI model: "Hallucination and type-safety are intrinsically related" ... type-safety has been protecting us **not only** from AI hallucinations 😀

Super hard to write paper and grants during the World Cup with matches like the one argentina just had 🇦🇷

Cool lecture in ECOOP on a (simulated) Macintosh! Who is the nostalgic now? 😀

Catching up deadlines … 🤦🏻‍♂️🤷🏻‍♂️

Today I synthesized 1500 lines of Coq proofs from my last paper 📝… We leave in a different times! The gap from proof sketches (done right) to mechanized proofs is very narrow!

I wonder how cancer researchers feel when some techno bro says “AI is going to cure cancer” 🤦🏻‍♂️🤷🏻‍♂️

LLMs and their multiple personality disorder...

Submitted a paper with a reference to a work from the 1860s 😃 It turned out that the idea was good for overcoming some roadblocks in our algorithm. 😎

Life is too short to avoid mechanical keyboards, switches, and customized keycaps!

Suerte hoy ❤️

AI thinks Int, Bool, and String are scary. Cute 😀 Call me back when it draws RankNTypes, PolyKinds, and QuantifiedConstraints.

Tired of reading “you can be a software engineer without coding, only doing spec, providing context, etc.” Can you be an engineer at all without knowing math?

Clicked a modal window in Outlook (you know, one of those "deal with me now or else" pop-ups)... Then Outlook spawns another modal window behind it. Now I’m stuck — just vibes and regret. @Outlook 🪤🖥️ #UXFail #OutlookLogic

Those days when writing FP code was all about AI 🙌🏻

Happy birthday present to me: 2 ICFP submissions :)