| user: | atomicnature |
| created: | December 4, 2022 |
| karma: | 969 |
| about: | Building git-lrc: https://github.com/HexmosTech/git-lrc Free, Micro AI Code Reviews That Run on Commit |
| 1. | |
| 2. | Academic-Brain vs. Founder-Brain(fchaubard.github.io) |
| 3. | All Lean Books and Where to Find Them(lakesare.brick.do) |
| 4. | Rich [Sutton's] Slogans(incompleteideas.net) |
| 5. | TLA+ in support of AI code generation(medium.com) |
| 6. | |
| 7. | China developed by defying free trade – not embracing it(theglobalcurrents.com) |
| 8. | The future belongs to those who can refute AI, not just generate with AI(learningloom.substack.com) |
| 9. | AI Is Stress-Testing Software Engineering as a Profession(learningloom.substack.com) |
| 10. | A Brief History of Solving Simultaneous Equations via Matrices(learningloom.substack.com) |
| 11. | Isaac Newton on Learning Mathematical Thinking and Reasoning(learningloom.substack.com) |
| 12. | |
| 13. | Reimplementing Unix Correct: The Lost Bayesian Spelling Corrector(learningloom.substack.com) |
| 14. | |
| 15. |