Stories by todsacerdoti

Stream per Agent Session

Software engineering with LLMs in 2025: reality check [video]

Types of Types: Common to Exotic

Input-branches: Workflow and flake-part for flake input patching using imported

Finding and understanding bugs in C compilers [pdf] (2011)

Reflections on Haskell and Rust

`Git stage` over `Git add`

Zig Community Mirrors

Senator Chides FBI for Weak Advice on Mobile Security

I write type-safe generic data structures in C

That boolean should probably be something else

Critical Correctness Bug in Lix

TypeSanitizer: A detector for strict type aliasing violations

RSS as my default web browser (for some stuff)

I made my VM think it has a CPU fan

Starlink, OpenWrt, and Eeros Oh My

GPTuner: GPTuner is a manual-reading database tuning system leveraging domain k

Refurb weekend: Gremlin Blasto arcade board

12
13
14
15
16
17
18
19
20
21