| user: | spekcular |
| created: | January 31, 2020 |
| karma: | 5.8k |
| 1. | |
| 2. | Making every researcher seek grants is a broken model(rootsofprogress.org) |
| 3. | A new Lean formalization project for the Prime Number Theorem(mathstodon.xyz) |
| 4. | Lean in 2024(xenaproject.wordpress.com) |
| 5. | You Should Be Working on Hardware(caseyhandmer.wordpress.com) |
| 6. | An Old Conjecture Falls, Making Spheres a Lot More Complicated(quantamagazine.org) |
| 7. | |
| 8. | |
| 9. | Electronic Structure of LK-99(arxiv.org) |
| 10. | |
| 11. | |
| 12. | |
| 13. | Why dark matter feels like cheating (and why it isn’t)(4gravitons.com) |