You need to enable JavaScript to run this app.
Readit News
Overwview
Stories
Comments
Posted by
u/navidhg
7 months ago
Correct and Efficient Bounded FIFO Queues
inria.hal.science/hal-008...
Posted by
u/navidhg
2 years ago
Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete
mathstodon.xyz/@tao/11152...
Posted by
u/navidhg
3 years ago
GNU Hurd 2023
gnu.org/software/hurd/new...
Posted by
u/navidhg
3 years ago
Ableton Push 3
ableton.com/en/push/...
Posted by
u/navidhg
7 years ago
Learning Synths
learningsynths.ableton.co...
n
u/navidhg
Karma
Cake day
530
February 26, 2012
About
https://navid.io
View Original
Readit News