Federico Ponzi's bloghttps://blog.fponzi.meFederico Ponzi's Blog on Computer Science and Software Engineering.en-usA pretty-printer for TLA+https://blog.fponzi.me/2026-03-30-a-pretty-printer-for-tlaplus.htmlMon, 30 Mar 2026 00:00:00 UTCMy 8-bit breadboard computerhttps://blog.fponzi.me/2024-10-15-my-8-bit-breadboard-computer.htmlTue, 15 Oct 2024 00:00:00 UTCDistributed Snapshots: Chandy-Lamport protocolhttps://blog.fponzi.me/2024-05-30-distributed-snapshots.htmlThu, 30 May 2024 00:00:00 UTCLateral Thinking: examples of creative solutionshttps://blog.fponzi.me/2024-04-30-lateral-thinking-examples.htmlTue, 30 Apr 2024 00:00:00 UTCLamport clockshttps://blog.fponzi.me/2024-02-02-lamport-clocks.htmlFri, 02 Feb 2024 00:00:00 UTCWolf, goat and cabbage problem TLA+ modelinghttps://blog.fponzi.me/2023-10-30-wolf-goat-cabbage.htmlMon, 30 Oct 2023 00:00:00 UTCTLA+ is easy if you know how to abstracthttps://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.htmlThu, 26 Oct 2023 00:00:00 UTCBare Metal Space Invadershttps://blog.fponzi.me/2023-08-13-bare-metal-space-invaders.htmlSun, 13 Aug 2023 00:00:00 UTCExperiments with eBPF: Snitchrshttps://blog.fponzi.me/2023-06-22-experiments-with-ebpf-snitchrs.htmlThu, 22 Jun 2023 00:00:00 UTCOne complex setuphttps://blog.fponzi.me/2023-05-19-one-complex-setup.htmlFri, 19 May 2023 00:00:00 UTC