Articles by todsacerdoti
1

Non-Contributory Keys in the Matrix (erinshepherd.net)

2

F9 Kernel (github.com/f9micro)

58

DNS-Persist-01: A New Model for DNS-Based Challenge Validation (letsencrypt.org)

1

The Global Trust Register (1999) (cam.ac.uk)

2

Understanding Whole Program Paths and Path Profiling (abhamra.com)

13

The case for gatekeeping, or: why medieval guilds had it figured out (joanwestenberg.com)

1

What's cooking on Sourcehut? Q1 2026 (sourcehut.org)

1

Model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com/stackloklabs)

3

"Vendoring" is a vile anti-pattern (2014) (gist.github.com)

3

Claimcheck: Narrowing the Gap Between Proof and Intent (midspiral.com)

2

An assembler that compiles to a printf loop (sr.ht)

4

Terminals should generate the 256-color palette (gist.github.com)

115

Gentoo on Codeberg (gentoo.org)

115

Using go fix to modernize Go code (go.dev)

1

Vinyl Cache has left GitHub (vinyl-cache.org)

4

The Evolution of x86 SIMD: From SSE to AVX-512 (bgslabs.org)

39

Undo in Vi and Its Successors (utcc.utoronto.ca)

2

The Servo project and its impact on the web platform ecosystem (servo.org)

1

An AI Called Winter: Neurosymbolic Computation or Illusion? – Dustycloud Brain (dustycloud.org)

2

Level of Detail (phinze.com)

72

Poor Deming never stood a chance (surfingcomplexity.blog)

1

Fixapl (fixapl.netlify.app)

3

Finding forall-exists Hyperbugs using Symbolic Execution (acm.org)

1

Let's Practice (Bsd.rd) (openbsdjumpstart.org)

2

TIL: Docker Log Rotation (ntietz.com)

2

Browse Code by Meaning (haskellforall.com)

2

Building a FOSS live streaming camera (brixit.nl)

1

The OpenClaw Security Guide No One Wants to Write (But Everyone Needs) (medium.com/alexrozdolskiy)

1

Hardware TOTP authenticator with 8-layer security architecture (ESP32) (github.com/makepkg)

69

MessageFormat: Unicode standard for localizable message strings (github.com/unicode-org)

1

I manage my Guix System configs (terracrypt.net)

1

Runtime Validation in Type Annotations (blog.natfu.be)

1

More work on TBDFS; database-like file system for Plan9 [video] (youtube.com)

2

The only developer productivity metrics that matter (genehack.blog)

3

Experiments with CodeMirror: Building a code review tool (aziis98.com)

2

E2EE, the be all and end all of chat? (is-a.dev)

2

Mesa's KosmicKrisp Vulkan-on-Metal Achieves MoltenVK Feature Parity (phoronix.com)

1

How to Add DRM to Your Back End (Easy) [2026 Working] (crimew.gay)

2

Claude Code Tips from the Guy Who Built It (anup.io)

1

Zig landed io_uring and Grand Central Dispatch std.Io implementations (ziglang.org)

6

Arborium is AI slopware and should not be trusted (ewie.online)

1

Borrowed Tuple Indexing for HashMap (traxys.me)

1

Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)

1

Gitdatamodel Documentation (git-scm.com)

1

Sharing in Dada (smallcultfollowing.com)

2

I love the work of the ArchWiki maintainers (k7r.eu)

6

Building a New Excel Library in One Week (hackers.pub)

2

Supercazzola – Generate spam for web scrapers (dacav.org)

2

Crates.io's Freaky Friday (nesbitt.io)

4

10th Person (blainsmith.com)

1

We allowed remote code execution (but safely) (tumuchdata.club)

1

ANN: I built a new Ada build tool for personal use (github.com/tomekw)

3

Evolving Git for the Next Decade (lwn.net)

1

Nixtamal 1.0.0 Released (toast.al)

2

A Deep Dive into Apple's .car File Format (dbg.re)

2

The future of software engineering – The future of software development retreat [pdf] (thoughtworks.com)

3

The 12-Factor App – 15 Years later. Does it Still Hold Up in 2026? (lukasniessen.medium.com)

1

My First Vulkan Extension (christian-gmeiner.info)

2

Hare 0.26.0 Released (harelang.org)

5

If you use AI-generated code, you currently cannot claim copyright on it in the (zomglol.wtf)

1

Flemish: An elmish architecture for fltk-rs (github.com/fltk-rs)

2

Google Might Think Your Website Is Down (codeinput.com)

1

Apple has a transparency issue [video] (youtube.com)

1

.plan Files (2020) (matteolandi.net)

1

The Timeless Way of Programming (2022) (tomasp.net)

1

Goto Considered Good (adamledoux.net)

1

CodeSpeak: Software Engineering with AI (codespeak.dev)

1

Launching Interop 2026 (hacks.mozilla.org)

1

Workledger – An offline first engineering notebook (workledger.org)

7

Inspecting the Source of Go Modules (filippo.io)

1

Technical "Whitepaper" for Afl-Fuzz (coredump.cx)

46

The Future for Tyr, a Rust GPU Driver for Arm Mali Hardware (lwn.net)

2

Commet – Matrix Client (commet.chat)

2

Lessons from CalyxOS signing process redesign (calyxos.org)

2

Proof-Oriented Programming in F* (fstar-lang.org)

1

Technical Issues of Separation in Function Cells and Value Cells (1988) (nhplace.com)

3

Majutsu, Magit for Jujutsu (github.com/0wd0)

7

Kimwolf Botnet Swamps Anonymity Network I2P (krebsonsecurity.com)

1

Functional Programming in M4 (tuhs.org)

1

CVE-2026-1529 – keycloak: unauthorized organization registration via improper I (cvefeed.io)

1

Pax: The Cache Performance You're Looking For (mydbanotebook.org)

1

How to level up the Fediverse [video] (fosdem.org)

1

Elegant Transducer Pipelines (reddit.com)

1

Elegant Transducer Pipelines (gist.github.com)

3

I built Fluxer, a Discord-like chat app (fluxer.app)

1

Patch Tuesday, February 2026 Edition (krebsonsecurity.com)

2

Cysqlite – A New SQLite Driver (charlesleifer.com)

3

The Missing GitHub Status Page (mrshu.github.io)

1

Setting Up Zed (ljb.fyi)

1

PostmarketOS at FOSDEM 2026 and Hackathon (postmarketos.org)

34

Redefining Go Functions (pboyd.io)

1

FreeBSD Home NAS, part 10: monitoring with VictoriaMetrics and Grafana (co.ua)

3

Browser.html – a web browser built with web technologies using Servo as web ren (tangled.org)

1

A fun Python puzzle with circular imports (utcc.utoronto.ca)

1

Sarvam Arya: Orchestration stack for production-grade agents (sarvam.ai)

2

A few design decisions for a new chat platform (sporks.space)

1

Grumpy Julio plays with CLI coding agents (jmmv.dev)

3

Fine, I'll Try AI (technobabble.bearblog.dev)

1

Implementing custom error types in Rust and Axum (rup12.net)

1

Better Python tests with inline-snapshot (pydantic.dev)