The Curious Engineer

All blogs / Compilers

artagnon.com

artagnon.com

A personal website containing information about the author, creative writing, technical satire, technical articles on compilers and logic

CompilersEssays / personal

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
37 from 23 Aug 2015 to 23 Oct 2026
Posting
monthly (16 in the last year)
Kind
personal blog
Feed
https://artagnon.com/feed.xml

2026 14

  1. A philosophical letter to the LLVM community
  2. Villainification in political discourse
  3. The fogotten class of the mentally ill
  4. Dark Age
  5. Regression in the process of learning
  6. A personal reflection on motivation
  7. available
  8. The deconstruction of mathematical reasoning
  9. Bootstrapping mechanical correctness
  10. Our Great Mutator
  11. Conflating ego with intelligence
  12. The miserable misfit
  13. The Trump supporter
  14. Fallacious vocabulary around merit

2025 4

  1. AI and the war-time economy
  2. My 2025 in LLVM: samesign, HashRecognize, and VPlan
  3. The Vectorization-Planner (VPlan) in LLVM
  4. The capitalist wet dream

2024 2

  1. A tour of the LLVM backend
  2. An introduction to auto-vectorization with LLVM

2022 2

  1. Aging
  2. Bhutan

2021 2

  1. Banter
  2. The Insomniac

2020 9

  1. Ra: Egyptian ink on parchment
  2. What machines can and can't do
  3. An opinionated history of programming languages
  4. Art
  5. Predicativity in Rocq
  6. Equality in Mechanized Mathematics
  7. An inquiry into the Foundations of Mathematics
  8. ZFC and propositional logic
  9. Lean versus Rocq: The cultural chasm

2016 3

  1. Incrementally updating the Dominator
  2. Detecting loops
  3. Inside a register allocator

2015 1

  1. An ABI-mismatch bug