Federico Ponzi's Blog

Home Blog Projects
Navigation
Home Blog Index Projects
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 Bluesky
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
Sign the guestbook
Email me
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.