Blog Index
Welcome to my blog! Browse through the articles published so far:
- 2026-03-30 - A pretty-printer for TLA+
- 2024-10-15 - My 8-bit breadboard computer
- 2024-05-30 - Distributed Snapshots: Chandy-Lamport protocol
- 2024-04-30 - Lateral Thinking: examples of creative solutions
- 2024-02-02 - Lamport clocks
- 2023-10-30 - Wolf, goat and cabbage problem TLA+ modeling
- 2023-10-26 - TLA+ is easy if you know how to abstract
- 2023-08-13 - Bare Metal Space Invaders
- 2023-06-22 - Experiments with eBPF: Snitchrs
- 2023-05-19 - One complex setup