joined 2/28/2016, 6:09 PMhas 2,910 karma
Computer scientist. Interested in [distributed|operating] systems, system programming and nerd stuff.
http://fponzi.me
Posts
- Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene
- Morse Code Timing – Morse Code World
- Working through things on other OSS – .NET Blog
- Why should you care about .NET GC? – TooSlowException
- Same Stats, Different Graphs: Generating Datasets with Varied Appearance
- TLA+ Official Wiki
- The /bin/true Command and Copyright
- Distributed Snapshots: Chandy-Lamport Protocol
- Lateral Thinking: examples of creative solutions
- Lamport Clocks
- Wolf, goat and cabbage problem TLA+ modeling
- TLA+ is easy if you know how to abstract
- Barer Metal Space Invaders – Tayfun Kayhan
- Paxos Jokes
- Bare Metal Space Invaders
- Experiments with eBPF: Snitchrs
- One Complex Setup
- Surprising Scalability of Multitenancy
- A 6 minute introduction to homomorphic encryption
- Incompleteness Ex Machina
- Something You Know, Have, or Are (2005)
- SingleStore’s Skiplist Indexes (2014)
- Graph File Systems – A File Systems Geek
- The Hare Programming Language
- The Geomblog: A meta-proof about P=?NP
- Everything you need to know about pointers in C
- Comparing Vale, JavaScript, C++, and Rust
- Seemingly impossible functional programs (2007)