Tessera

Bruno

@poorlydefinedbr.bsky.social

https://poorlydefinedbehaviour.github.io/ https://github.com/poorlydefinedbehaviour/ Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things

2 Posts28 Follower 235 Folgt

Bruno @poorlydefinedbr.bsky.social · 7mo ago

[Blog post] the list of things I read in 2025 poorlydefinedbehaviour.github.io/posts/readin...

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...

poorlydefinedbehaviour.github.io

Bruno @poorlydefinedbr.bsky.social · last yr.

Blog post] experimenting with generating test cases from a TLA+ specification poorlydefinedbehaviour.github.io/posts/tla_te...