Why LLMs inspire me to write more.
✑Vibe-specing from the chair.
✑It’s not off-by-one errors.
✑Reading too much and writing too little.
✑My favorite puzzles from AoC 2025.
✑An ode to M-x compile.
✑
#tags #logs
✑How STL algorithms parallel the fundamental theorem of calculus.
✑
Fighting mediocrity with generative AI.
✑The most visual way to print a table.
✑What does valid configuration share with facts and theorems?
✑Why eight years with the green owl is enough.
✑Scherzo in e-moll on programming and authenticity.
✑An introduction to the Open Neural Network eXchange format.
✑Looking back at the year 2024.
✑Reflection on puzzles and OCaml.
✑✂Exploding tiles in J.
✑Where does file metadata belong?
✑Programmers and thinkers who inspire me.
✑An opinionated guide to writing software design docs.
✑✂FP vs OOP, now on a blockchain.
✑A ubiquitous pattern you won’t find in your textbook.
✑Software that makes you a better programmer.
✑
Making IC’s HTTPS outcalls feature more versatile.
✑A quest for defining what it means to name things well.
✑A guide to domain-specific types that make sense.
✑An overview of the Chainlink OCR protocol.
✑OOP had one job to do.
✑An efficient algorithm for incremental merkle trees updates.
✑✂Why is it so hard to change things?
✑A practical guide to the world’s most advanced interface definition language.
✑✂The storage scheme securing ckBTC assets.
✑What programming language would J.S. Bach use?
✑✂Why DFINITY builds Rust with Bazel.
✑A summary of the book by Tiago Forte.
✑Why I am not enjoying programming in Rust.
✑✂An introduction to the stable-structures library.
✑✂The design of the Internet Computer utility token treasury.
✑An optinionated guide to designing humane error types in Rust.
✑✂How the Internet Identity canister uses its stable memory to achieve safe upgrades.
✑Payment flows for fungible tokens on the Internet Computer.
✑An introduction to fungible tokens and ledgers.
✑A deep dive into the protocol that IC subnets communicate over.
✑Restoring a binary tree from its pre-order traversal.
✑The Internet Computer orthogonal persistence feature and the data structure powering that feature.
✑Applying scientific method in software engineering.
✑✂Solving the trapped rainwater problem in J.
✑✂Lessons learned from scaling a Rust code base.
✑✂How the Internet Computer represents and transfers states.
✑✂Useful patterns for developing IC canisters in Rust.
✑✂