56,966 blogs · [ { "id": "01a08748-e777-70a9-9ad4-377ec59cf76d", "title": "A pretty-printer for TLA+", "url": "https://blog.fponzi.me/2026-03-30-a-pretty-printer-for-tlaplus.html", "published_at": "2026-03-30T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec622ef68", "title": "My 8-bit breadboard computer", "url": "https://blog.fponzi.me/2024-10-15-my-8-bit-breadboard-computer.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec6c51af5", "title": "Distributed Snapshots: Chandy-Lamport protocol", "url": "https://blog.fponzi.me/2024-05-30-distributed-snapshots.html", "published_at": "2024-05-30T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec7bc140b", "title": "Lateral Thinking: examples of creative solutions", "url": "https://blog.fponzi.me/2024-04-30-lateral-thinking-examples.html", "published_at": "2024-04-30T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec8595d3c", "title": "Lamport clocks", "url": "https://blog.fponzi.me/2024-02-02-lamport-clocks.html", "published_at": "2024-02-02T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec897fc91", "title": "Wolf, goat and cabbage problem TLA+ modeling", "url": "https://blog.fponzi.me/2023-10-30-wolf-goat-cabbage.html", "published_at": "2023-10-30T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ec945613d", "title": "TLA+ is easy if you know how to abstract", "url": "https://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.html", "published_at": "2023-10-26T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377eca3d86db", "title": "Bare Metal Space Invaders", "url": "https://blog.fponzi.me/2023-08-13-bare-metal-space-invaders.html", "published_at": "2023-08-13T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ecb06a7e1", "title": "Experiments with eBPF: Snitchrs", "url": "https://blog.fponzi.me/2023-06-22-experiments-with-ebpf-snitchrs.html", "published_at": "2023-06-22T00:00:00+00:00" }, { "id": "01a08748-e777-70a9-9ad4-377ecb7ad4c4", "title": "One complex setup", "url": "https://blog.fponzi.me/2023-05-19-one-complex-setup.html", "published_at": "2023-05-19T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/blog.fponzi.me/posts