Blogs and sites I enjoy reading
Curating and getting into the habit of checking a blogroll has been a really useful substitute for high-fructose corn syrup social media consumption.
Recent posts
- Being oncall taught me everything
- Book Review: On the Calculation of Volume
- Agentic software development hypothesis
- What's Easy Now? What's Hard Now?
- The highbrow rom-com
- A Few Good Ideas in Programming Languages
- Bibliographic `web service' in VAX/VMS times: or shell scripting done right.
- It's time to be right.
- The invisible engineering behind Lambda’s network
- A Field Guide to Bugs
- Post-Mythos Blue Teams
- AI Fear and Uncertainty
- Spec Driven Development isn't Waterfall
- S3 Files and the changing face of S3
- Matrix-matrix multiplication, from less conventional points of view:
- Book Review: What We Can Know
- How to go to the opera
- What about juniors?
- From error-handling to structured concurrency
- Book Review: There Is No Antimemetics Division
- My heuristics are wrong. What now?
- Music To Build Agents By
- LLM time
- Chatting about Napoleon with Solomon & Smith
- On Tony Hoare
- Book Review: Piranesi
- Configuration Languages Should be Strongly Typed
- People should read more French novels
- The last problem of Higher-Order Abstract Syntax:
- Why I Left Big-O in the Dustbin When I Left School
- Dear Time Lords: Freeze Computers In 1993
- SFQ: Simple, Stateless, Stochastic Fairness
- The Picture They Paint of You
- Why Play the Piano?
- Optimal Caverna Gameplay via Formal Methods
- A chat with Byron Cook on automated reasoning and trust in AI systems
- Can Opus 4.6 do Category Theory in Lean?
- Book Review: When We Cease to Understand the World
- You Are Here
- Compilers: Incrementally and Extensibly.
Sources
- All Things Distributed (Werner Vogels' blog)
- The Amateur
- Ben Linsay's blog
- Elided branches (Camille Fournier's blog)
- ferd.ca
- graham's blog
- Graydon's blog
- okmij
- Pranoy Dutta's blog
- Programming is terrible
- Marc Brooker's blog
- Made of Bugs (Nelson Elhage's blog)
- Stephen Diehl's blog
- Tikhon Jelvis' blog
- transactional.blog
- Yao Yue's site