Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by navidhg
Correct and Efficient Bounded FIFO Queues
2 points
navidhg
2025-08-15T19:52:33Z
inria.hal.science
Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete
4 points
navidhg
2023-12-05T10:49:20Z
mathstodon.xyz
GNU Hurd 2023
21 points
navidhg
2023-06-13T19:22:02Z
www.gnu.org
Ableton Push 3
354 points
navidhg
2023-05-23T08:16:18Z
www.ableton.com
Learning Synths
969 points
navidhg
2019-06-25T09:10:34Z
learningsynths.ableton.com