Intro We used to think coding was the most difficult part of an engineer’s job. Almost...
AI, please stop guessing a.k.a. Chrome DevTools MCP
Related
From Logic to Code: Understanding the Curry–Howard Correspondence in Lean
For many programmers, precise mathematical logic and general programming feel like different...
What Production ML Systems Taught Me About AI Hallucinations
Most discussions about AI hallucinations stay at the chatbot level. “ChatGPT made up a legal...
We Are Leaving Bun… For Now
For the past two years, Bun has been one of the most exciting technologies in our stack. Fast...