Blog Index:
Welcome to my blog! Browse through the articles published so far:
- My 8-bit breadboard computer - 2024-10-15 (8bit computer, hardware, breadboard)
- Distributed Snapshots: Chandy-Lamport protocol - 2024-05-30 (paper, Chandy-Lamport protocol, Distributed Snapshots, distributed systems, TLA+)
- Lateral Thinking: examples of creative solutions - 2024-04-30 (inspiration, ideas)
- Lamport clocks - 2024-02-02 (paper, TLA+, distsys)
- Wolf, goat and cabbage problem TLA+ modeling - 2023-10-30 (TLA+, formal methods, model checking, Pluscal)
- TLA+ is easy if you know how to abstract - 2023-10-26 (TLA+, formal methods, model checking, Pluscal)
- Bare Metal Space Invaders - 2023-08-13 (rust, osdev, system programming, game dev)
- Experiments with eBPF: Snitchrs - 2023-06-22 (experiments, eBPF, Snitchrs, Linux Kernel, rust)
- One complex setup - 2023-05-19 (AWS, CDK, GitHub Actions, Genereto, Blog)