from Hacker News

federicoponzi

joined 2/28/16, 6:09 PM has 2910 karma

• Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene

  by federicoponzi on 5/18/25, 9:32 AM, with 29 comments

• Morse Code Timing – Morse Code World

  by federicoponzi on 4/27/25, 5:10 PM, with 0 comments

• Working through things on other OSS – .NET Blog

  by federicoponzi on 11/17/24, 12:46 PM, with 0 comments

• Why should you care about .NET GC? – TooSlowException

  by federicoponzi on 11/11/24, 9:48 AM, with 1 comments

• Same Stats, Different Graphs: Generating Datasets with Varied Appearance

  by federicoponzi on 10/22/24, 2:19 PM, with 0 comments

• TLA+ Official Wiki

  by federicoponzi on 10/15/24, 5:47 PM, with 0 comments

• The /bin/true Command and Copyright

  by federicoponzi on 10/13/24, 10:33 AM, with 0 comments

• Distributed Snapshots: Chandy-Lamport Protocol

  by federicoponzi on 5/30/24, 6:41 PM, with 4 comments

• Lateral Thinking: examples of creative solutions

  by federicoponzi on 4/30/24, 7:35 PM, with 0 comments

• Lamport Clocks

  by federicoponzi on 2/3/24, 5:02 PM, with 0 comments

• Wolf, goat and cabbage problem TLA+ modeling

  by federicoponzi on 10/31/23, 6:57 PM, with 0 comments

• TLA+ is easy if you know how to abstract

  by federicoponzi on 10/26/23, 5:34 PM, with 0 comments

• Barer Metal Space Invaders – Tayfun Kayhan

  by federicoponzi on 10/15/23, 10:15 PM, with 0 comments

• Paxos Jokes

  by federicoponzi on 9/21/23, 11:08 PM, with 0 comments

• Bare Metal Space Invaders

  by federicoponzi on 8/15/23, 6:08 PM, with 0 comments

• Experiments with eBPF: Snitchrs

  by federicoponzi on 7/5/23, 9:51 PM, with 2 comments

• One Complex Setup

  by federicoponzi on 5/23/23, 8:18 AM, with 0 comments

• Surprising Scalability of Multitenancy

  by federicoponzi on 3/23/23, 10:56 PM, with 39 comments

• A 6 minute introduction to homomorphic encryption

  by federicoponzi on 1/25/23, 5:44 PM, with 0 comments

• Incompleteness Ex Machina

  by federicoponzi on 12/13/22, 7:37 PM, with 0 comments

• Something You Know, Have, or Are (2005)

  by federicoponzi on 11/10/22, 7:30 PM, with 0 comments

• SingleStore’s Skiplist Indexes (2014)

  by federicoponzi on 9/20/22, 8:00 AM, with 4 comments

• Graph File Systems – A File Systems Geek

  by federicoponzi on 8/5/22, 10:16 AM, with 0 comments

• The Hare Programming Language

  by federicoponzi on 7/16/22, 4:43 PM, with 0 comments

• The Geomblog: A meta-proof about P=?NP

  by federicoponzi on 6/5/22, 3:20 PM, with 0 comments

• Everything you need to know about pointers in C

  by federicoponzi on 1/3/22, 7:18 PM, with 0 comments

• Comparing Vale, JavaScript, C++, and Rust

  by federicoponzi on 11/25/21, 11:36 PM, with 0 comments

• Seemingly impossible functional programs (2007)

  by federicoponzi on 10/28/21, 10:45 PM, with 45 comments

• Hungarian Notation – Microsoft Docs

  by federicoponzi on 8/19/21, 6:40 PM, with 0 comments

• A Stick Figure Guide to the Advanced Encryption Standard (AES)

  by federicoponzi on 7/15/21, 8:03 PM, with 0 comments

• Orbitron is “Cardware”: Useful? Send a postcard

  by federicoponzi on 6/26/21, 1:09 PM, with 0 comments

• How to build a simple system in Verdi

  by federicoponzi on 5/3/21, 4:28 PM, with 0 comments

• Is there a scenario where rm -rf -no-preserve-root is needed?

  by federicoponzi on 4/13/21, 8:59 PM, with 1 comments

• Instagram, WhatsApp and Facebook messenger down for users around the world

  by federicoponzi on 3/19/21, 5:47 PM, with 0 comments

• The Shannon Limit (2010)

  by federicoponzi on 2/26/21, 2:54 PM, with 19 comments

• Significant Incidents and Close Calls in Human Spaceflight

  by federicoponzi on 2/4/21, 10:48 PM, with 0 comments

• Tales from the lunar module guidance computer: Apollo 11 and Other Screw-UPS

  by federicoponzi on 1/27/21, 2:36 PM, with 0 comments

• Computer History Wiki

  by federicoponzi on 1/19/21, 10:52 AM, with 1 comments

• RIP Tutorial (Stack Overflow Documentation)

  by federicoponzi on 11/28/20, 6:43 PM, with 1 comments

• Producing Open Source Software (2017)

  by federicoponzi on 8/12/20, 7:41 AM, with 31 comments

• Important RFCs: Official Internet Protocols

  by federicoponzi on 8/8/20, 1:16 PM, with 0 comments

• Get Started with Dafny: Language and Program Verifier for Functional Correctness

  by federicoponzi on 7/29/20, 11:11 AM, with 0 comments

• Should I Bake?

  by federicoponzi on 6/30/20, 10:13 AM, with 6 comments

• A Single Div: a CSS drawing project

  by federicoponzi on 6/25/20, 9:54 AM, with 0 comments

• The Unix Time-Sharing System Annotated by Eric A. Brewer [pdf]

  by federicoponzi on 6/24/20, 4:16 PM, with 0 comments

• BSD for Linux Users: Intro

  by federicoponzi on 6/22/20, 12:14 PM, with 0 comments

• Regent: A Language for Implicit Dataflow Parallelism

  by federicoponzi on 6/21/20, 10:11 AM, with 14 comments