Hacker News new | past | comments | ask | show | jobs | submit | staunton's submissions login

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

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: