Hacker Newsnew | past | comments | ask | show | jobs | submit | navidhg's submissionslogin
1.
Correct and Efficient Bounded FIFO Queues (hal.science)
2 points by navidhg 5 months ago | past
2.
Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete (mathstodon.xyz)
4 points by navidhg on Dec 5, 2023 | past
3.
GNU Hurd 2023 (gnu.org)
21 points by navidhg on June 13, 2023 | past | 2 comments
4.
Ableton Push 3 (ableton.com)
354 points by navidhg on May 23, 2023 | past | 297 comments
5.
Learning Synths (ableton.com)
969 points by navidhg on June 25, 2019 | past | 172 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: