Blog Index:
Welcome to my blog! Browse through the articles published so far:
- 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)