Stories by todsacerdoti

Borrowed Tuple Indexing for HashMap

Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match

Gitdatamodel Documentation

Sharing in Dada

I love the work of the ArchWiki maintainers

Building a New Excel Library in One Week

Supercazzola – Generate spam for web scrapers

Crates.io's Freaky Friday

10th Person

We allowed remote code execution (but safely)

ANN: I built a new Ada build tool for personal use

Evolving Git for the Next Decade

Nixtamal 1.0.0 Released

A Deep Dive into Apple's .car File Format

The future of software engineering – The future of software development retreat [pdf]

The 12-Factor App – 15 Years later. Does it Still Hold Up in 2026?

My First Vulkan Extension

Hare 0.26.0 Released

If you use AI-generated code, you currently cannot claim copyright on it in the

10 11 12 13 14 15 16 17 18 19