Federico Ponzi's Blog

Home Blog
Navigation
Home Blog Index
Misc
Yes, we kana: learn basic Japanese Code-Vibes: Your soundtrack for focus and flow.
Horust
Horust logo

Hey, do you need an init system? Try Horust today!

RSS
Subscribe to RSS
Links
GitHub Twitter LinkedIn Mastodon
Guestbook

Leave a message and say hello!

Sign my guestbook
Visitors
Today: 1,337
This Week: 8,675
This Month: 42,069
Total: 1,234,567
(this is all fake, I don't track visitors :)

Blog Index

Welcome to my blog! Browse through the articles published so far:

  • 2024-10-15 - My 8-bit breadboard computer
  • 2024-05-30 - Distributed Snapshots: Chandy-Lamport protocol
  • 2024-04-30 - Lateral Thinking: examples of creative solutions
  • 2024-02-02 - Lamport clocks
  • 2023-10-30 - Wolf, goat and cabbage problem TLA+ modeling
  • 2023-10-26 - TLA+ is easy if you know how to abstract
  • 2023-08-13 - Bare Metal Space Invaders
  • 2023-06-22 - Experiments with eBPF: Snitchrs
  • 2023-05-19 - One complex setup
Swag Store
Rust: Failure is not an Option Check out some swag!
Badges
Project Euler Profile
Firefox - Take back the web
Linux Powered
TLA+ Model Checking
Quote I liked
“We were always about sharing the knowledge,” Osband said. “Share the knowledge and help people build things.”
— Cult of the Dead Cow
Like this site?
Add to your favorites Set as homepage

© 2026 Federico Ponzi. The opinions expressed here do not represent the views of my current or past employers.

This website was generated with Genereto.