federicoponzi
- Karma
- 2,910
- Created
- February 28, 2016 (10y ago)
- Submissions
- 0
Computer scientist. Interested in [distributed|operating] systems, system programming and nerd stuff.
http://fponzi.me
- Morse Code Timing – Morse Code World (morsecode.world)
- Working through things on other OSS – .NET Blog (devblogs.microsoft.com)
- Why should you care about .NET GC? – TooSlowException (tooslowexception.com)
- Same Stats, Different Graphs: Generating Datasets with Varied Appearance (research.autodesk.com)
- TLA+ Official Wiki (docs.tlapl.us)
- The /bin/true Command and Copyright (trillian.mit.edu)
- Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
- Lateral Thinking: examples of creative solutions (blog.fponzi.me)
- Lamport Clocks (blog.fponzi.me)
- Wolf, goat and cabbage problem TLA+ modeling (blog.fponzi.me)
- TLA+ is easy if you know how to abstract (blog.fponzi.me)
- Barer Metal Space Invaders – Tayfun Kayhan (tayfunkayhan.wordpress.com)
- Paxos Jokes (paxosjokes.com)
- Bare Metal Space Invaders (blog.fponzi.me)
- Experiments with eBPF: Snitchrs (blog.fponzi.me)
- One Complex Setup (blog.fponzi.me)
- Surprising Scalability of Multitenancy (brooker.co.za)
- A 6 minute introduction to homomorphic encryption (6min.zama.ai)
- Incompleteness Ex Machina (arxiv.org)
- Something You Know, Have, or Are (2005) (cs.cornell.edu)
- SingleStore’s Skiplist Indexes (2014) (singlestore.com)
- Graph File Systems – A File Systems Geek (fsgeek.ca)
- The Hare Programming Language (harelang.org)
- The Geomblog: A meta-proof about P=?NP (blog.geomblog.org)