Hacker Newsnew | past | comments | ask | show | jobs | submit | quag's submissions login

1. Lean 4.0 (github.com/leanprover) 130 points by quag on Sept 8, 2023 | past | 91 comments 2. Carmakers wake up to new pecking order as chip crunch intensifies (reuters.com) 2 points by quag on Feb 20, 2021 | past 3. OpenThermo: Customizable Thermostat for Furnace Control (nathanpetersen.com) 1 point by quag on Feb 6, 2021 | past 4. The writing’s on the wall for Google Stadia (theverge.com) 1 point by quag on Feb 4, 2021 | past 5. The convergence of notability and verifiability on Wikipedia (kmjn.org) 4 points by quag on Feb 15, 2011 | past

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