Stories by todsacerdoti

Syntactic Musings on Match Expressions

Good Regulator Theorem

No-engine gamedev using Odin and Raylib

Generating Mazes with Inductive Graphs (2017)

A Dependently Typed Assembly Language [pdf] (2001)

Audit of the Rust P256 Crate

What if we embraced simulation-driven development?

Using HAProxy to protect me from scrapers

Nouveau: The Rule Based Language Family

Technical Debt as Theory Building and Practice

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Are "AI" Systems Tools?

Oxide and Friends – A Half-Century of Silicon Valley with Randy Shoup

Comfy.Guide

Systemd system extensions for Fedora image based systems

Taxonomy of Failure Mode in Agentic AI Systems [pdf]

Apple Encrypted Archive

9front "clause 15 common elements of maus and star type" released

Compiler Reminders

Bare metal printf – C standard library without OS

48
49
50
51
52
53
54
55
56
57