Why LLMs inspire me to write more.
✑aiVibe-specing from the chair.
✑aiprogrammingIt’s not off-by-one errors.
✑glasperlenspielprogrammingReading too much and writing too little.
✑booksmeMy favorite puzzles from AoC 2025.
✑programmingpuzzlesrustAn ode to M-x compile.
✑programming
How to make logs usable again.
✑programmingHow STL algorithms parallel the fundamental theorem of calculus.
✑mathprogramming
Fighting mediocrity with generative AI.
✑aiprogrammingThe most visual way to print a table.
✑ocamlprogrammingWhat does valid configuration share with facts and theorems?
✑programmingWhy eight years with the green owl is enough.
✑meScherzo in e-moll on programming and authenticity.
✑✂meprogrammingAn introduction to the Open Neural Network eXchange format.
✑aiprogrammingLooking back at the year 2024.
✑booksmeReflection on puzzles and OCaml.
✑✂ocamlprogrammingpuzzlesExploding tiles in J.
✑arrayspuzzlesWhere does file metadata belong?
✑aiprogrammingProgrammers and thinkers who inspire me.
✑programmingAn opinionated guide to writing software design docs.
✑✂programmingFP vs OOP, now on a blockchain.
✑blockchainA ubiquitous pattern you won’t find in your textbook.
✑programmingSoftware that makes you a better programmer.
✑meprogramming
Making IC’s HTTPS outcalls feature more versatile.
✑icpA quest for defining what it means to name things well.
✑glasperlenspielmathprogrammingA guide to domain-specific types that make sense.
✑mathprogrammingtypesAn overview of the Chainlink OCR protocol.
✑blockchainOOP fails on basic math.
✑mathprogrammingAn efficient algorithm for incremental merkle trees updates.
✑✂dsaWhy is it so hard to change things?
✑glasperlenspielA practical guide to the world’s most advanced interface definition language.
✑✂icpThe storage scheme securing ckBTC assets.
✑icpWhat programming language would J.S. Bach use?
✑✂glasperlenspielmusicprogrammingWhy DFINITY builds Rust with Bazel.
✑icprustA summary of the book by Tiago Forte.
✑booksWhy I am not enjoying programming in Rust.
✑✂rustAn introduction to the stable-structures library.
✑✂icprustThe design of the Internet Computer utility token treasury.
✑icpAn optinionated guide to designing humane error types in Rust.
✑✂rustHow the Internet Identity canister uses its stable memory to achieve safe upgrades.
✑icpPayment flows for fungible tokens on the Internet Computer.
✑blockchainAn introduction to fungible tokens and ledgers.
✑blockchainA deep dive into the protocol that IC subnets communicate over.
✑icpRestoring a binary tree from its pre-order traversal.
✑arrayspuzzlesThe Internet Computer orthogonal persistence feature and the data structure powering that feature.
✑icpApplying scientific method in software engineering.
✑✂glasperlenspielprogrammingSolving the trapped rainwater problem in J.
✑✂arrayspuzzlesLessons learned from scaling a Rust code base.
✑✂rustHow the Internet Computer represents and transfers states.
✑✂icpUseful patterns for developing IC canisters in Rust.
✑✂icprust