Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
Making English more enjoyable to write.
-
The data structure behind the first version control system.
-
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.
-
How to make logs usable again.
-
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 fails on basic math.
-
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.
-
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.