Federico Ponzi

About:

Federico Ponzi is a computer scientist and software engineer who writes about programming and systems.

Website:

blog.fponzi.me

Specializations:

Computer Scientist

Incoming Links:

Giuliano Guilherme Ananias

Outgoing Links:

Hillel Wayne Murat Buffalo

Subscribe to RSS:

Link

2024-10-15 •

The article discusses the author's experience in building an 8-bit breadboard computer based on the Simple-As-Possible (SAP) computer model. It covers the computer's modules, assembly, color coding the wires, wiring and layering, ...

2024-05-30 •

The text discusses the Chandy-Lamport distributed snapshots protocol, which aims to record the global state of a program in a distributed system. It explains the problem it solves, its applications, the system model, the global-st...

2024-04-30 •

The post discusses examples of lateral thinking solutions to various problems, including memory leaks, account deletion, DNS security, Nintendo copy protection, spam email filtering, fluorescent lamps, Amazon Mechanical Turk, Game...

2024-02-02 •

The text provides an overview of Logical Clocks introduced by Lamport in his paper Time, Clocks, and the Ordering of Events in a Distributed System. It explains the 'happened before' relation, logical clocks, and how to get a tota...

2023-10-30 •

The article discusses the author's modeling process to solve the Wolf, goat and cabbage problem in TLA+. It explains the TLA+ constructs used and the Pluscal code for the solution. The author also compares their solution with thos...

2023-10-26 •

The article discusses the author's experience with formal methods and TLA+, including the problem formal methods help solve, the benefits of formal methods, and why TLA+ is hard to learn. It also covers some concepts to dig more, ...

2023-08-13 •

The text is about the author's experience in programming a Space Invaders-like game in Rust using bare metal programming. It includes the goals of the project, the implementation of Space Invaders, game development, and the kernel...

2023-06-22 •

The text is an introduction to eBPF, a technology that allows for easy and safe interaction with the Linux kernel. It explains the problems eBPF solves, how to write eBPF programs, and provides examples of cool places to hook eBPF...

2023-05-19 •

The author describes the complex setup chosen to run the blog, including the problem, solution, and tools used. The setup includes CloudFormation and CDK, S3, CloudFront, Genereto, and GitHub Actions. The author also discusses the...