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.

A gentle 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.

Functional programming 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 inheritance 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.

Apply scientific method in everyday software engineering.

Solving the trapped rainwater problem in J.

Lessons learned from scaling a Rust code base.

A glance on the Internet Computer replicas through the lens of state machine replication.

A compilation of useful patterns for developing IC canisters in Rust.