HN Explorer

artagnon

↗ HN profile [ 202 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Deconstruction of Mathematical Reasoning (artagnon.com)
    1 points 0
  2. Bootstrapping Mechanical Correctness (artagnon.com)
    1 points 0
  3. Our Great Mutator (artagnon.com)
    2 points 0
  4. Conflating Ego with Intelligence (artagnon.com)
    1 points 0
  5. The Miserable Introvert (artagnon.com)
    17 points 1
  6. Fallacious Vocabulary Around Merit (artagnon.com)
    2 points 0
  7. AI and the War-Time Economy (artagnon.com)
    1 points 0
  8. The Vectorization-Planner (VPlan) in LLVM (artagnon.com)
    2 points 0
  9. The pedestrian technology underneath the hype (artagnon.com)
    1 points 0
  10. The Capitalist Wet Dream (artagnon.com)
    6 points 1
  11. Deficiencies in LLVM's LoopVectorize (artagnon.com)
    4 points 0
  12. Snake Defense Fanfic (archiveofourown.org)
    2 points 0
  13. An Opinionated Comparison of Cities (artagnon.com)
    12 points 6
  14. Introduce Rust into the Git Project (lore.kernel.org)
    3 points 0
  15. Converting the Kernel to C++ (lore.kernel.org)
    79 points 55
  16. Low-hanging fruit (artagnon.com)
    24 points 21
  17. More than 500k under-35 in UK out-of-work due to long-term illness (theguardian.com)
    7 points 5
  18. Octoverse: The State of Open Source and the Rise of AI in 2023 (github.blog)
    3 points 0
  19. Loco.rs: The Rails of Rust (shuttle.rs)
    2 points 0
  20. Intel proposes XeGPU dialect for LLVM MLIR (discourse.llvm.org)
    90 points 14
  21. Pylir – an MLIR-based AoT compiler for Python (github.com)
    2 points 0
  22. Firefly – an MLIR-based compiler and runtime for BEAM languages (github.com)
    2 points 0
  23. Show HN: Clayoven – beautiful website generator aimed at math-heavy sites (github.com)
    115 points 26
  24. Integer Set Library: Study Notes (artagnon.com)
    1 points 0
  25. No, the Singularity isn't coming – machine learning and common sense (artagnon.com)
    4 points 1