Stories by todsacerdoti

Types as a Design Tool

Xit Is Coming

The ZAnt Project

My changes to the default Phoenix boilerplate

The Causal Testing Framework

Testing Causality in Scientific Modelling Software [pdf]

A good memory allocator in 200 lines of code

Git without a forge

Generality

Basecamp release GitHub extension for offline CI signoff

Rocket Science of Simulation Testing – HYTRADBOI2025

Cross-platform floating-point determinism out of the box [video]

Why “alias” is my last resort for aliases

Floating Points and Boxes

Bad Apple but it's SSH keys

A Plea for More Mikado – Software Engineering and Stuff

Answer Set Programming 01 – Just the Facts

Cobalt Networks CobaltOS: Proxmox Port

Lean 4, Release v4.17.0

Encoding Hangeul, Koreas writing system

184 185 186 187 188 189 190 191 192 193