Stories by todsacerdoti

I Use TLA+ and Not(TLA+)

Top Most Excellent Gems to Use in Any Ruby Web Application

Understanding and effectively mitigating code review anxiety [pdf]

The costs of the i386 to x86-64 upgrade

Miscellaneous notes on Steam Deck reshells, mods, and screen replacements

Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video]

Put business logic in the application, not the database

A Seven-Dimensional Analysis of Hashing Methods [pdf] (2015)

Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible [pdf]

Octothorpes: Hashtags for the Open Internet

6 Years with Gleam

How to add animations to Hotwire's Turbo Streams

I Don't Write Exploits

Programming and poetry (not Python's tool)

SQLite: Defense Against the Dark Arts

A few nice things in OpenZFS 2.3

Swift and Interoperability [video]

Canvases versus Documents

Things I learned interviewing for Staff positions (2020)

Gleam Is Pragmatic