| 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 |
|
