Federico Ponzi's blog

I've contributed a TLA+ formatter to the official tlatools.

The idea of building a simple 8-bit computer from scratch first crossed my mind during a computer architecture course at university.

Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....

I like to think that problems are what's most worth obsessing on, and that the solution usually follows easily from a good understanding of a...

Last weekend I wanted to get some inspiration to write some TLA+ spec and I got my hands back on the paper Time, Clocks, and the Ordering of Events...

In this article, I'm going to share my modeling process to the Wolf, goat and cabbage problem in TLA+.As explained in my previous article, TLA+ is a...

I've been wanting to learn TLA+ for a while now, and I finally had a chance to do it thanks to a seminar series held by Professor Murat Demirbas.

Bare metal programming is programming on hardware without an Operating System.

In this post, I will share my experience on learning and playing with Extended Berkeley Packet Filter (eBPF).

To inaugurate this blog, in this first post, I will describe the complex setup I have chosen to run this blog.