hckrnws
back
federicoponzi
Sun Feb 28, 2016 6:09pm PST
Karma:
2908
about
Computer scientist. Interested in [distributed|operating] systems, system programming and nerd stuff. http://fponzi.me
submitted
Sun May 18, 2025 9:32am PST
Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene
@federicoponzi
12
29
338
Sun Apr 27, 2025 5:10pm PST
Morse Code Timing – Morse Code World
@federicoponzi
2
Sun Nov 17, 2024 12:46pm PST
Working through things on other OSS – .NET Blog
@federicoponzi
1
Mon Nov 11, 2024 9:48am PST
Why should you care about .NET GC? – TooSlowException
@federicoponzi
1
1
3
Tues Oct 22, 2024 2:19pm PST
Same Stats, Different Graphs: Generating Datasets with Varied Appearance
@federicoponzi
1
Tues Oct 15, 2024 5:47pm PST
TLA+ Official Wiki
@federicoponzi
3
Sun Oct 13, 2024 10:33am PST
The /bin/true Command and Copyright
@federicoponzi
3
Thurs May 30, 2024 6:41pm PST
Distributed Snapshots: Chandy-Lamport Protocol
@federicoponzi
3
4
72
Tues Apr 30, 2024 7:35pm PST
Lateral Thinking: examples of creative solutions
@federicoponzi
1
Sat Feb 3, 2024 5:02pm PST
Lamport Clocks
@federicoponzi
2
Tues Oct 31, 2023 6:57pm PST
Wolf, goat and cabbage problem TLA+ modeling
@federicoponzi
2
Thurs Oct 26, 2023 5:34pm PST
TLA+ is easy if you know how to abstract
@federicoponzi
3
Sun Oct 15, 2023 10:15pm PST
Barer Metal Space Invaders – Tayfun Kayhan
@federicoponzi
2
Thurs Sep 21, 2023 11:08pm PST
Paxos Jokes
@federicoponzi
2
Tues Aug 15, 2023 6:08pm PST
Bare Metal Space Invaders
@federicoponzi
2
Wed Jul 5, 2023 9:51pm PST
Experiments with eBPF: Snitchrs
@federicoponzi
1
2
6
Tues May 23, 2023 8:18am PST
One Complex Setup
@federicoponzi
1
Thurs Mar 23, 2023 10:56pm PST
Surprising Scalability of Multitenancy
@federicoponzi
5
39
75
Wed Jan 25, 2023 5:44pm PST
A 6 minute introduction to homomorphic encryption
@federicoponzi
2
Tues Dec 13, 2022 7:37pm PST
Incompleteness Ex Machina
@federicoponzi
3
Thurs Nov 10, 2022 7:30pm PST
Something You Know, Have, or Are (2005)
@federicoponzi
1
Tues Sep 20, 2022 8:00am PST
SingleStore’s Skiplist Indexes (2014)
@federicoponzi
2
4
43
Fri Aug 5, 2022 10:16am PST
Graph File Systems – A File Systems Geek
@federicoponzi
5
Sat Jul 16, 2022 4:43pm PST
The Hare Programming Language
@federicoponzi
5
Sun Jun 5, 2022 3:20pm PST
The Geomblog: A meta-proof about P=?NP
@federicoponzi
2
Mon Jan 3, 2022 7:18pm PST
Everything you need to know about pointers in C
@federicoponzi
4
Thurs Nov 25, 2021 11:36pm PST
Comparing Vale, JavaScript, C++, and Rust
@federicoponzi
2
Thurs Oct 28, 2021 10:45pm PST
Seemingly impossible functional programs (2007)
@federicoponzi
12
45
191
Thurs Aug 19, 2021 6:40pm PST
Hungarian Notation – Microsoft Docs
@federicoponzi
3
Thurs Jul 15, 2021 8:03pm PST
A Stick Figure Guide to the Advanced Encryption Standard (AES)
@federicoponzi
4
Sat Jun 26, 2021 1:09pm PST
Orbitron is “Cardware”: Useful? Send a postcard
@federicoponzi
3
Mon May 3, 2021 4:28pm PST
How to build a simple system in Verdi
@federicoponzi
2
Tues Apr 13, 2021 8:59pm PST
Is there a scenario where rm -rf -no-preserve-root is needed?
@federicoponzi
1
1
2
Fri Mar 19, 2021 5:47pm PST
Instagram, WhatsApp and Facebook messenger down for users around the world
@federicoponzi
17
Fri Feb 26, 2021 2:54pm PST
The Shannon Limit (2010)
@federicoponzi
7
19
77
Thurs Feb 4, 2021 10:48pm PST
Significant Incidents and Close Calls in Human Spaceflight
@federicoponzi
1
Wed Jan 27, 2021 2:36pm PST
Tales from the lunar module guidance computer: Apollo 11 and Other Screw-UPS
@federicoponzi
2
Tues Jan 19, 2021 10:52am PST
Computer History Wiki
@federicoponzi
1
1
59
Sat Nov 28, 2020 6:43pm PST
RIP Tutorial (Stack Overflow Documentation)
@federicoponzi
1
1
4
Wed Aug 12, 2020 7:41am PST
Producing Open Source Software (2017)
@federicoponzi
3
31
64
Sat Aug 8, 2020 1:16pm PST
Important RFCs: Official Internet Protocols
@federicoponzi
2
Wed Jul 29, 2020 11:11am PST
Get Started with Dafny: Language and Program Verifier for Functional Correctness
@federicoponzi
2
Tues Jun 30, 2020 10:13am PST
Should I Bake?
@federicoponzi
3
6
8
Thurs Jun 25, 2020 9:54am PST
A Single Div: a CSS drawing project
@federicoponzi
2
Wed Jun 24, 2020 4:16pm PST
The Unix Time-Sharing System Annotated by Eric A. Brewer [pdf]
@federicoponzi
2
Mon Jun 22, 2020 12:14pm PST
BSD for Linux Users: Intro
@federicoponzi
2
Sun Jun 21, 2020 10:11am PST
Regent: A Language for Implicit Dataflow Parallelism
@federicoponzi
5
14
33
Sat Jun 20, 2020 8:22am PST
Ask HN: Google won't remove my site URL from random business using it on Maps
@federicoponzi
29
135
297
Fri Jun 19, 2020 1:44pm PST
Black Hats Manual Software Security Auditing, Cracking, Debugging (2013)
@federicoponzi
1
Tues Jun 9, 2020 9:46pm PST
Immuni – Official Italian Covid19 tracker app
@federicoponzi
1
Fri May 22, 2020 12:46pm PST
What Every Java Programmer Should See on YouTube
@federicoponzi
2
Sun May 17, 2020 1:26pm PST
Linux Kernel Oops
@federicoponzi
1
Sun May 3, 2020 10:33pm PST
Dictionary of Algorithms and Data Structures
@federicoponzi
2
Sat May 2, 2020 8:44pm PST
Horust: A Supervisor / Init system written in Rust
@federicoponzi
2
Wed Apr 8, 2020 12:38pm PST
The Three Virtues of a Great Programmer
@federicoponzi
3
Sun Mar 8, 2020 12:37pm PST
How Many People Are in Space?
@federicoponzi
3
Sat Mar 7, 2020 10:36am PST
The Linux Kernel (2003)
@federicoponzi
20
Tues Feb 11, 2020 10:02pm PST
Dynamically changing, partially-stateful data-flow database written in Rust
@federicoponzi
3
7
87
Tues Jan 28, 2020 9:08pm PST
Write Free Science Books to Get Famous Website
@federicoponzi
2
Thurs Jan 9, 2020 10:11pm PST
Why one should know ed
@federicoponzi
1
1
3
Tues Sep 17, 2019 2:01pm PST
HTTP Programming
@federicoponzi
2
Thurs Sep 5, 2019 6:56am PST
Secushare: A decentralized, secure social network built on GNUnet
@federicoponzi
18
51
191
Sat Aug 24, 2019 1:27pm PST
Refactoring and Design Patterns
@federicoponzi
3
Fri Aug 16, 2019 2:27pm PST
Ask HN: Is it worth it to get a subscription on Climeworks?
@federicoponzi
1
1
5
Mon Jun 3, 2019 7:30pm PST
Ask HN: Checklist for Sideprojects development & launch?
@federicoponzi
2
Sun May 26, 2019 1:49pm PST
In Defense of Pattern Matching – Martin Odersky (2006)
@federicoponzi
2
Fri Apr 5, 2019 7:17am PST
TLS 1.3 for Engineers
@federicoponzi
1
Mon Apr 1, 2019 9:13am PST
Refactoring and Design Patterns
@federicoponzi
1
Sun Mar 10, 2019 5:34pm PST
Objects vs. Boxes vs. Actors vs. Agents
@federicoponzi
1
1
15
Sun Mar 3, 2019 7:23pm PST
Air pollution shines from this alarming map
@federicoponzi
1
Tues Feb 5, 2019 11:56pm PST
Distributed Reactive Programming for Reactive Distributed Systems
@federicoponzi
1
Sat Jan 19, 2019 10:02am PST
10x.engineer
@federicoponzi
1
Sat Jan 12, 2019 5:26pm PST
Network science
@federicoponzi
2