Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by todsacerdoti
Breaking "Provably Correct" Leftpad
11 points
todsacerdoti
2025-10-04T16:44:46Z
lukeplant.me.uk
Lolremez: Polynomial Approximations Using the Remez Algorithm
1 points
todsacerdoti
2025-10-04T16:12:24Z
github.com
Game Development: History, Industry, and Engine Design
2 points
todsacerdoti
2025-10-04T14:25:55Z
spiiin.github.io
Oswald – Object Storage Write-Ahead Log Device
7 points
todsacerdoti
2025-10-04T12:40:44Z
nvartolomei.com
Paged Out Issue #7 [pdf]
305 points
todsacerdoti
2025-10-04T10:38:06Z
pagedout.institute
Optique 0.6.0: Shell completion support for type-safe CLI parsers
2 points
todsacerdoti
2025-10-04T03:00:58Z
hackers.pub
1 points
todsacerdoti
2025-10-04T01:17:54Z
news.ycombinator.com
Alibaba cloud FPGA: the $200 Kintex UltraScale+
7 points
todsacerdoti
2025-10-03T21:46:36Z
essenceia.github.io
WireGuard topologies for self-hosting at home
148 points
todsacerdoti
2025-10-03T19:43:34Z
garrido.io
Procedural generation with Wave Function Collapse (2019)
52 points
todsacerdoti
2025-10-03T19:13:34Z
www.gridbugs.org
Programming in Assembly without an Operating System [video]
3 points
todsacerdoti
2025-10-03T19:09:20Z
www.youtube.com
Pointer leaks through pointer-keyed data structures
1 points
todsacerdoti
2025-10-03T18:35:37Z
googleprojectzero.blogspot.com
Cancellations in async Rust
240 points
todsacerdoti
2025-10-03T16:18:29Z
sunshowers.io
Atuin desktop: Runbooks that run
3 points
todsacerdoti
2025-10-03T16:07:32Z
github.com
Fundraising campaign to sustain GNU Guix
32 points
todsacerdoti
2025-10-03T14:45:43Z
guix.gnu.org
Beginner-friendly issues across all repositories
1 points
todsacerdoti
2025-10-03T13:27:13Z
tangled.org
New Control Structures in APL? (1982)
3 points
todsacerdoti
2025-10-03T04:23:36Z
dl.acm.org
Ghosts of Unix Past: a historical search for design patterns (2010)
45 points
todsacerdoti
2025-10-03T04:01:35Z
lwn.net
Domain Driven Design in Clojure with Generalized Hiccup
3 points
todsacerdoti
2025-10-03T03:05:10Z
www.biotz.io
A neural network written in jq (2017)
7 points
todsacerdoti
2025-10-02T21:18:31Z
github.com
67
68
69
70
71
72
73
74
75
76