user: federicoponzi

2910 karma | created 10 years ago

Computer scientist. Interested in [distributed|operating] systems, system programming and nerd stuff. http://fponzi.me

recent submissions

349 pts|9 months ago|29 comments

Morse Code Timing – Morse Code World (morsecode.world)

2 pts|10 months ago|discuss

Working through things on other OSS – .NET Blog (devblogs.microsoft.com)

1 pts|1 year ago|discuss

Why should you care about .NET GC? – TooSlowException (tooslowexception.com)

3 pts|1 year ago|1 comment

1 pts|1 year ago|discuss

TLA+ Official Wiki (docs.tlapl.us)

3 pts|1 year ago|discuss

The /bin/true Command and Copyright (trillian.mit.edu)

3 pts|1 year ago|discuss

Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)

72 pts|1 year ago|4 comments

Lateral Thinking: examples of creative solutions (blog.fponzi.me)

1 pts|1 year ago|discuss

Lamport Clocks (blog.fponzi.me)

2 pts|2 years ago|discuss

Wolf, goat and cabbage problem TLA+ modeling (blog.fponzi.me)

2 pts|2 years ago|discuss

TLA+ is easy if you know how to abstract (blog.fponzi.me)

3 pts|2 years ago|discuss

Barer Metal Space Invaders – Tayfun Kayhan (tayfunkayhan.wordpress.com)

2 pts|2 years ago|discuss

Paxos Jokes (paxosjokes.com)

2 pts|2 years ago|discuss

Bare Metal Space Invaders (blog.fponzi.me)

2 pts|2 years ago|discuss

(no title)

2 years ago|discuss

Experiments with eBPF: Snitchrs (blog.fponzi.me)

6 pts|2 years ago|2 comments

(no title)

2 years ago|discuss

One Complex Setup (blog.fponzi.me)

1 pts|2 years ago|discuss

Surprising Scalability of Multitenancy (brooker.co.za)

75 pts|2 years ago|39 comments