Bruno's Avatar

Bruno

@poorlydefinedbr

https://poorlydefinedbehaviour.github.io/ https://github.com/poorlydefinedbehaviour/

20
Followers 178
Following 2
Posts 06.02.2024
Joined
Posts Following

Latest posts by Bruno @poorlydefinedbr

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

02.01.2026 14:22 👍 1 🔁 0 💬 0 📌 0
Post image

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

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

25.07.2025 03:27 👍 1 🔁 0 💬 0 📌 0