Hacker Newsnew | past | comments | ask | show | jobs | submit | staunton's submissionslogin
1.
Papers with computer-checked proofs [pdf] (cr.yp.to)
3 points by staunton on Sept 11, 2023 | past | 1 comment
2.
Pension fund losses should not deter climate action in high-income countries (doi.org)
1 point by staunton on June 22, 2023 | past

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

Search: