Hacker Newsnew | past | comments | ask | show | jobs | submit | dselsam's submissionslogin
1.
Terence Tao on O1 (mathstodon.xyz)
664 points by dselsam on Sept 14, 2024 | past | 482 comments
2.
NeuroCore: Guiding CDCL with Unsat-Core Predictions (arxiv.org)
5 points by dselsam on March 13, 2019 | past
3.
Vaporithms (stanford.edu)
1 point by dselsam on May 27, 2018 | past

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

Search: