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