Structured outputs 2.0: "Type-Constrained Code Generation with Language Models" [0]

the inevitable canonical domain switchover happened, we are now Colimit 😂

Thanks to effectfully and Theo - t3.gg for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…

I had a great time talking to ThePrimeagen and teej dv 🔭 about my time on the Linux Kernel, how that influenced my career going forward, especially how that was a strong inspiration for Pekka Enberg and myself to rewrite SQLite. I mentioned in the interview our project had 87

Didn't expect a tweet about window stickers to go viral... But in any event, if you are interested in learning about functional programming (Haskell, Agda, Lean), the University of Nottingham is a great place to study as we have lots of courses in this area :-)

The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore but remote presentations are possible. More info: conf.researchr.org/home/icfp-spla…

Every other month we bring together a group of programmers for what is, I think, one of the best technical talk series around.

agi confirmed, deep research got stuck on "reading reddit"

LLM instruction nuances: "Do not use any types" vs "Do not use `any` types"

Colimit is now SOC 2 Type 2 compliant :)

I'm back. herrdreyer.wordpress.com/2025/08/03/her…

Coding with an AI agent reminds me of pair programming. - The AI is driving w.r.t. writing the code, you are giving commentary on what to do. - Occasionally you decide to "steer" by "taking the wheel" and editing things directly if it's too hard to communicate something

dvorak optimized for common patterns in natural language, but never caught on for coding, which has different patterns... prompt writing => dvorak comeback? 🤔

AI is getting so commercialized now that research papers are accepting Pringles sponsorships

normalize decorative first letters in code snippets

We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online! tinyurl.com/JFP-prog-calc