cannot belive the replies to this. how "you should call functions in your language instead of constructing strings over tcp to call the function of that string name" is controversial at all is mind boggling to me

devastated that my most liked tweet of the year is defending uncle bob

remember what good repos are supposed to look like

Annual reminder: this month marks seven years since we lost Ertugrul Söylemez Hardly a day goes by without us thinking of you.

a pretty good argument for approaching data with the "parse, don't validate" philosophy

null pointer was the culprit that took down google 😭

IME the main advantage of cider and cider V weren't their features, it was just their tight integration with the internal ecosystem and a building of 2000s SWEs whose only job was to update and maintain its integration. after leaving I went back to vim immediately

one of the rare examples of something where version 89 came out before version 23

the difference between mathematicians and programmers, ask them how much exactly pi megabytes is

I'm 33 going on 34 and I work on this codebase every day. Feeling blessed 🙏

chat… it’s time to lock in for real

interestingly enough it also solve done of my normal haskell stumpers i have been using. writing a blog post on it now. I should try my others too, but many of them I have already put out into the internet unfortunately

this new Google Notebook LLM feature that turns blog posts or papers into e-classroom-like slides with full audio and multimedia is blowing my mind

Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…

Justin Lê my interpretation of the lyric... you'd need the leap of double-negation-elimination to get from my second part to the second axiom in the post (or switch entirely to classical logic (plonk everything under NotNot))