federicoponzi | Dark Hacker News

user:	federicoponzi
created:	February 28, 2016
karma:	2.9k
about:	Computer scientist. Interested in [distributed\|operating] systems, system programming and nerd stuff. http://fponzi.me

1.	Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene(iquilezles.org) 349 points by federicoponzi 1 year ago \| 29 comments
2.	Morse Code Timing – Morse Code World(morsecode.world) 2 points by federicoponzi 1 year ago \| 0 comments
3.	Working through things on other OSS – .NET Blog(devblogs.microsoft.com) 1 points by federicoponzi 1 year ago \| 0 comments
4.	Why should you care about .NET GC? – TooSlowException(tooslowexception.com) 3 points by federicoponzi 1 year ago \| 1 comment
5.	Same Stats, Different Graphs: Generating Datasets with Varied Appearance(research.autodesk.com) 1 points by federicoponzi 1 year ago \| 0 comments
6.	TLA+ Official Wiki(docs.tlapl.us) 3 points by federicoponzi 1 year ago \| 0 comments
7.	The /bin/true Command and Copyright(trillian.mit.edu) 3 points by federicoponzi 1 year ago \| 0 comments
8.	Distributed Snapshots: Chandy-Lamport Protocol(blog.fponzi.me) 72 points by federicoponzi 1 year ago \| 4 comments
9.	Lateral Thinking: examples of creative solutions(blog.fponzi.me) 1 points by federicoponzi 2 years ago \| 0 comments
10.	Lamport Clocks(blog.fponzi.me) 2 points by federicoponzi 2 years ago \| 0 comments
11.	Wolf, goat and cabbage problem TLA+ modeling(blog.fponzi.me) 2 points by federicoponzi 2 years ago \| 0 comments
12.	TLA+ is easy if you know how to abstract(blog.fponzi.me) 3 points by federicoponzi 2 years ago \| 0 comments
13.	Barer Metal Space Invaders – Tayfun Kayhan(tayfunkayhan.wordpress.com) 2 points by federicoponzi 2 years ago \| 0 comments
14.	Paxos Jokes(paxosjokes.com) 2 points by federicoponzi 2 years ago \| 0 comments
15.	Bare Metal Space Invaders(blog.fponzi.me) 2 points by federicoponzi 2 years ago \| 0 comments
16.	Experiments with eBPF: Snitchrs(blog.fponzi.me) 6 points by federicoponzi 2 years ago \| 2 comments
17.	One Complex Setup(blog.fponzi.me) 1 points by federicoponzi 2 years ago \| 0 comments
18.	Surprising Scalability of Multitenancy(brooker.co.za) 75 points by federicoponzi 3 years ago \| 39 comments
19.	A 6 minute introduction to homomorphic encryption(6min.zama.ai) 2 points by federicoponzi 3 years ago \| 0 comments
20.	Incompleteness Ex Machina(arxiv.org) 3 points by federicoponzi 3 years ago \| 0 comments
21.	Something You Know, Have, or Are (2005)(cs.cornell.edu) 1 points by federicoponzi 3 years ago \| 0 comments
22.	SingleStore’s Skiplist Indexes (2014)(singlestore.com) 43 points by federicoponzi 3 years ago \| 4 comments
23.	Graph File Systems – A File Systems Geek(fsgeek.ca) 5 points by federicoponzi 3 years ago \| 0 comments
24.	The Hare Programming Language(harelang.org) 5 points by federicoponzi 3 years ago \| 0 comments
25.	The Geomblog: A meta-proof about P=?NP(blog.geomblog.org) 2 points by federicoponzi 3 years ago \| 0 comments
26.	Everything you need to know about pointers in C(boredzo.org) 4 points by federicoponzi 4 years ago \| 0 comments
27.	Comparing Vale, JavaScript, C++, and Rust(vale.dev) 2 points by federicoponzi 4 years ago \| 0 comments
28.	Seemingly impossible functional programs (2007)(math.andrej.com) 191 points by federicoponzi 4 years ago \| 45 comments