| 1. | | Dark Age (artagnon.com) |
| 7 points by artagnon 5 days ago | past | 4 comments |
|
| 2. | | The Deconstruction of Mathematical Reasoning (artagnon.com) |
| 1 point by artagnon 10 days ago | past | discuss |
|
| 3. | | Bootstrapping Mechanical Correctness (artagnon.com) |
| 2 points by artagnon 19 days ago | past |
|
| 4. | | Our Great Mutator (artagnon.com) |
| 2 points by artagnon 56 days ago | past |
|
| 5. | | Conflating Ego with Intelligence (artagnon.com) |
| 1 point by artagnon 5 months ago | past |
|
| 6. | | The Miserable Introvert (artagnon.com) |
| 17 points by artagnon 5 months ago | past | 1 comment |
|
| 7. | | Fallacious Vocabulary Around Merit (artagnon.com) |
| 2 points by artagnon 6 months ago | past |
|
| 8. | | AI and the War-Time Economy (artagnon.com) |
| 1 point by artagnon 9 months ago | past |
|
| 9. | | The Vectorization-Planner (VPlan) in LLVM (artagnon.com) |
| 2 points by artagnon on Sept 20, 2025 | past |
|
| 10. | | The pedestrian technology underneath the hype (artagnon.com) |
| 1 point by artagnon on July 2, 2025 | past |
|
| 11. | | The Capitalist Wet Dream (artagnon.com) |
| 6 points by artagnon on Jan 4, 2025 | past | 1 comment |
|
| 12. | | Deficiencies in LLVM's LoopVectorize (artagnon.com) |
| 4 points by artagnon on June 24, 2024 | past |
|
| 13. | | Snake Defense Fanfic (archiveofourown.org) |
| 2 points by artagnon on Feb 9, 2024 | past |
|
| 14. | | An Opinionated Comparison of Cities (artagnon.com) |
| 12 points by artagnon on Jan 24, 2024 | past | 6 comments |
|
| 15. | | Introduce Rust into the Git Project (kernel.org) |
| 3 points by artagnon on Jan 15, 2024 | past |
|
| 16. | | Converting the Kernel to C++ (kernel.org) |
| 79 points by artagnon on Jan 10, 2024 | past | 55 comments |
|
| 17. | | Low-hanging fruit (artagnon.com) |
| 24 points by artagnon on Jan 7, 2024 | past | 21 comments |
|
| 18. | | More than 500k under-35 in UK out-of-work due to long-term illness (theguardian.com) |
| 7 points by artagnon on Dec 25, 2023 | past | 5 comments |
|
| 19. | | Octoverse: The State of Open Source and the Rise of AI in 2023 (github.blog) |
| 3 points by artagnon on Dec 21, 2023 | past |
|
| 20. | | Loco.rs: The Rails of Rust (shuttle.rs) |
| 2 points by artagnon on Dec 21, 2023 | past |
|
| 21. | | Intel proposes XeGPU dialect for LLVM MLIR (llvm.org) |
| 90 points by artagnon on Dec 17, 2023 | past | 14 comments |
|
| 22. | | Pylir – an MLIR-based AoT compiler for Python (github.com/zero9178) |
| 2 points by artagnon on Nov 12, 2022 | past |
|
| 23. | | Firefly – an MLIR-based compiler and runtime for BEAM languages (github.com/getfirefly) |
| 2 points by artagnon on Nov 12, 2022 | past |
|
| 24. | | Show HN: Clayoven – beautiful website generator aimed at math-heavy sites (github.com/artagnon) |
| 115 points by artagnon on April 4, 2021 | past | 26 comments |
|
| 25. | | Integer Set Library: Study Notes (artagnon.com) |
| 1 point by artagnon on Dec 28, 2020 | past |
|
| 26. | | No, the Singularity isn't coming – machine learning and common sense (artagnon.com) |
| 4 points by artagnon on Dec 2, 2020 | past | 1 comment |
|
| 27. | | Airbus to launch hydrogen-powered commercial aircraft by 2035 (rfi.fr) |
| 3 points by artagnon on Sept 24, 2020 | past |
|
| 28. | | Lean versus Coq: The Cultural Chasm (artagnon.com) |
| 3 points by artagnon on Jan 5, 2020 | past |
|
| 29. | | Show HN: Clayoven – a minimalist website generator for math, code, and articles (github.com/artagnon) |
| 149 points by artagnon on Dec 15, 2019 | past | 32 comments |
|
| 30. | | Entrain (1998) (ludix.com) |
| 2 points by artagnon on Aug 18, 2017 | past |
|
|
| More |
