The idea of building a simple 8-bit computer from scratch first crossed my mind during a computer architecture course at university. While studying...| blog.fponzi.me
Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....| blog.fponzi.me
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...| blog.fponzi.me
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...| blog.fponzi.me
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. In...| blog.fponzi.me
Introduction Bare metal programming is programming on hardware without an Operating System. In this post, I will share some of the learning I gained...| blog.fponzi.me
Introduction In this post, I will share my experience on learning and playing with Extended Berkeley Packet Filter (eBPF). It's a very cool...| blog.fponzi.me
Introduction To inaugurate this blog, in this first post, I will describe the complex setup I have chosen to run this blog. I will discuss the goals...| blog.fponzi.me
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...| blog.fponzi.me