| user: | artagnon |
| created: | March 2, 2009 |
| karma: | 1.6k |
| about: | https://artagnon.com https://github.com/artagnon |
| 1. | Dark Age(artagnon.com) |
| 2. | The Deconstruction of Mathematical Reasoning(artagnon.com) |
| 3. | Bootstrapping Mechanical Correctness(artagnon.com) |
| 4. | Our Great Mutator(artagnon.com) |
| 5. | Conflating Ego with Intelligence(artagnon.com) |
| 6. | The Miserable Introvert(artagnon.com) |
| 7. | Fallacious Vocabulary Around Merit(artagnon.com) |
| 8. | AI and the War-Time Economy(artagnon.com) |
| 9. | The Vectorization-Planner (VPlan) in LLVM(artagnon.com) |
| 10. | The pedestrian technology underneath the hype(artagnon.com) |
| 11. | The Capitalist Wet Dream(artagnon.com) |
| 12. | Deficiencies in LLVM's LoopVectorize(artagnon.com) |
| 13. | Snake Defense Fanfic(archiveofourown.org) |
| 14. | An Opinionated Comparison of Cities(artagnon.com) |
| 15. | Introduce Rust into the Git Project(lore.kernel.org) |
| 16. | Converting the Kernel to C++(lore.kernel.org) |
| 17. | Low-hanging fruit(artagnon.com) |
| 18. | 2 years ago | discuss |
| 19. | More than 500k under-35 in UK out-of-work due to long-term illness(theguardian.com) |
| 20. | |
| 21. | Loco.rs: The Rails of Rust(shuttle.rs) |