Reading list 2025 The list of things I read or watched in 2025 December How Modern Christmas was Invented Trading at light speed: designing low latency systems in C++ - David Gross - Meeting C++ 2022 Inside a Real High...

[Blog post] the list of things I read in 2025

poorlydefinedbehaviour.github.io/posts/readin...

Blog post] experimenting with generating test cases from a TLA+ specification

poorlydefinedbehaviour.github.io/posts/tla_te...