2 pts|1 month ago|discuss
user: ndrwnaguib
259 karma | created 4 years ago
recent submissions
No certainty of a Milky Way–Andromeda collision
(nature.com)
4 pts|9 months ago|discuss
10 months ago|discuss
10 months ago|discuss
10 months ago|discuss
10 months ago|discuss
188 pts|10 months ago|34 comments
Supercomputer Capable of Quantum Telportation
(nature.com)
1 pts|1 year ago|discuss
385 pts|1 year ago|165 comments
Discharging Lean goals into SMT solvers
(github.com)
52 pts|1 year ago|3 comments
2 years ago|discuss
Machine Learning for the Vehicle Routing Problem
(github.com)
2 pts|2 years ago|1 comment