The Curious Engineer

All blogs / Distributed systems / cloud

Federico Ponzi's blog

blog.fponzi.me

Index of Federico Ponzi's blog. Federico Ponzi is a computer scientist and software engineer, writes about programming and systems.

Distributed systems / cloudElectronicsSystems

’23’24’25’26
Posts
11 from 19 May 2023 to 30 Mar 2026
Posting
now and then (1 in the last year)
Kind
personal blog
Feed
https://blog.fponzi.me/rss.xml

2026 1

  1. A pretty-printer for TLA+

2024 4

  1. My 8-bit breadboard computer
  2. Distributed Snapshots: Chandy-Lamport protocol
  3. Lateral Thinking: examples of creative solutions
  4. Lamport clocks

2023 5

  1. Wolf, goat and cabbage problem TLA+ modeling
  2. TLA+ is easy if you know how to abstract
  3. Bare Metal Space Invaders
  4. Experiments with eBPF: Snitchrs
  5. One complex setup

Undated 1

  1. — Cult of the Dead Cow