Stories by todsacerdoti

Interactive Lustre tutorial on Gleam tours

Formally Modeling Dreidel, the Sequel

Home Manager: Dotfiles Management

How to lose a fortune with one bad click

Remote development from Mac to Linux (2011)

What are temporal and spatial memory safety?

Acer N30 battery controller emulation

Prospective Vision: Accessors

AI and Internet Hygiene

A Survey of System Languages (2024)

Optimizing Ruby's JSON, Part 1

Introduce support for the Meson build system – git.git 904339e

UK Online Safety Act Notes for Small Sites

TLA+ Monthly Development Update – December 2024

Moon

Django security hardenings that are not happening

Effectful – Build Fast and Reliable Haskell Applications

Pizarra

Utilizing highly synchronized clocks in distributed databases

How Scala is made and how you can help? By Krzysztof Romanowski