corpus.blog
41554 blogs · [ { "id": "01a0d544-aa2b-703a-bfdf-61f0f6e85732", "title": "Dark Age", "url": "https://artagnon.com/art/dark-age", "published_at": "2026-09-19T21:25:55+00:00" }, { "id": "01a0d544-aa2b-703a-bfdf-61f0f85e0577", "title": "Regression in the process of learning", "url": "https://artagnon.com/art/learning", "published_at": "2026-09-19T11:24:59+00:00" }, { "id": "01a0d544-aa2b-703a-bfdf-61f0f99a88b9", "title": "A personal reflection on motivation", "url": "https://artagnon.com/art/motivation", "published_at": "2026-09-18T17:25:06+00:00" }, { "id": "01a0d544-aa2b-703a-bfdf-61f0fb5ab199", "title": "The deconstruction of mathematical reasoning", "url": "https://artagnon.com/art/reasoning", "published_at": "2026-09-14T13:00:14+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710413e867", "title": "Bootstrapping mechanical correctness", "url": "https://artagnon.com/art/regress", "published_at": "2026-09-05T18:21:35+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f71022f49fb", "title": "Our Great Mutator", "url": "https://artagnon.com/art/mutator", "published_at": "2026-07-29T23:21:02+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710004d724", "title": "Conflating ego with intelligence", "url": "https://artagnon.com/art/ego", "published_at": "2026-04-20T09:23:16+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7100eaf2c1", "title": "The miserable misfit", "url": "https://artagnon.com/art/introvert", "published_at": "2026-04-05T20:04:33+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7104d7736c", "title": "The Trump supporter", "url": "https://artagnon.com/art/trump", "published_at": "2026-03-28T13:56:59+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f71016537cc", "title": "Fallacious vocabulary around merit", "url": "https://artagnon.com/art/merit", "published_at": "2026-03-23T22:13:08+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f70fdb18a1c", "title": "AI and the war-time economy", "url": "https://artagnon.com/art/ai-war", "published_at": "2025-12-20T13:18:05+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710520985a", "title": "My 2025 in LLVM: samesign, HashRecognize, and VPlan", "url": "https://artagnon.com/compilers/2025-llvm", "published_at": "2025-12-08T18:13:01+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710777a66a", "title": "The Vectorization-Planner (VPlan) in LLVM", "url": "https://artagnon.com/compilers/vplan", "published_at": "2025-09-19T19:59:39+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7104d96d5d", "title": "The capitalist wet dream", "url": "https://artagnon.com/art/wet-dream", "published_at": "2025-01-04T19:18:03+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7105b263a2", "title": "A tour of the LLVM backend", "url": "https://artagnon.com/compilers/backend", "published_at": "2024-08-04T20:35:05+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7106864ee4", "title": "An introduction to auto-vectorization with LLVM", "url": "https://artagnon.com/compilers/intro-vec", "published_at": "2024-06-27T19:08:57+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f70fd462997", "title": "Aging", "url": "https://artagnon.com/art/aging", "published_at": "2022-04-16T10:43:00+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f70ff28a156", "title": "Bhutan", "url": "https://artagnon.com/art/bhutan", "published_at": "2022-01-06T16:02:32+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f70fe5c8fd9", "title": "Banter", "url": "https://artagnon.com/art/banter", "published_at": "2021-09-05T12:16:39+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7100d0e492", "title": "The Insomniac", "url": "https://artagnon.com/art/insomniac", "published_at": "2021-09-05T07:31:15+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710332e6d5", "title": "Ra: Egyptian ink on parchment", "url": "https://artagnon.com/art/ra", "published_at": "2020-12-27T04:50:10+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710229ae69", "title": "What machines can and can't do", "url": "https://artagnon.com/art/ml", "published_at": "2020-12-01T06:41:57+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f71032a91c4", "title": "An opinionated history of programming languages", "url": "https://artagnon.com/art/pl", "published_at": "2020-09-30T10:43:32+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f70fcacbbe7", "title": "2043", "url": "https://artagnon.com/art/2043", "published_at": "2020-09-01T14:54:09+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710a76179a", "title": "Predicativity in Rocq", "url": "https://artagnon.com/logic/predicativity", "published_at": "2020-03-08T06:27:41+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710865e56b", "title": "Equality in Mechanized Mathematics", "url": "https://artagnon.com/logic/equality", "published_at": "2020-02-15T17:12:59+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710930b465", "title": "An inquiry into the Foundations of Mathematics", "url": "https://artagnon.com/logic/fom", "published_at": "2020-02-02T10:11:41+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710b080458", "title": "ZFC and propositional logic", "url": "https://artagnon.com/logic/zfc", "published_at": "2020-01-18T07:02:23+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f710996f397", "title": "Lean versus Rocq: The cultural chasm", "url": "https://artagnon.com/logic/leancoq", "published_at": "2020-01-04T14:38:56+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7105c8751e", "title": "Incrementally updating the Dominator", "url": "https://artagnon.com/compilers/incrd", "published_at": "2016-10-09T21:28:58+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7106e04afb", "title": "Detecting loops", "url": "https://artagnon.com/compilers/loops", "published_at": "2016-07-16T21:26:50+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f7107436e54", "title": "Inside a register allocator", "url": "https://artagnon.com/compilers/regalloc", "published_at": "2016-03-24T22:36:35+00:00" }, { "id": "01a0872e-b857-726a-8bb9-6f71057ba212", "title": "An ABI-mismatch bug", "url": "https://artagnon.com/compilers/abibug", "published_at": "2015-08-23T21:25:56+00:00" } ] posts Claim your blog
Back to artagnon.com
Blog · corpus.blog/blogs/artagnon.com/posts

artagnon.com

artagnon.com

2026

Dark Ageoriginal ↗
19 Sept 2026
Regression in the process of learningoriginal ↗
19 Sept 2026
A personal reflection on motivationoriginal ↗
18 Sept 2026
The deconstruction of mathematical reasoningoriginal ↗
14 Sept 2026
Bootstrapping mechanical correctnessoriginal ↗
5 Sept 2026
Our Great Mutatororiginal ↗
29 Jul 2026
Conflating ego with intelligenceoriginal ↗
20 Apr 2026
The miserable misfitoriginal ↗
5 Apr 2026
The Trump supporteroriginal ↗
28 Mar 2026
Fallacious vocabulary around meritoriginal ↗
23 Mar 2026

2025

AI and the war-time economyoriginal ↗
20 Dec 2025
My 2025 in LLVM: samesign, HashRecognize, and VPlanoriginal ↗
8 Dec 2025
The Vectorization-Planner (VPlan) in LLVMoriginal ↗
19 Sept 2025
The capitalist wet dreamoriginal ↗
4 Jan 2025

2024

A tour of the LLVM backendoriginal ↗
4 Aug 2024
An introduction to auto-vectorization with LLVMoriginal ↗
27 Jun 2024

2022

Agingoriginal ↗
16 Apr 2022
Bhutanoriginal ↗
6 Jan 2022

2021

Banteroriginal ↗
5 Sept 2021
The Insomniacoriginal ↗
5 Sept 2021

2020

Ra: Egyptian ink on parchmentoriginal ↗
27 Dec 2020
What machines can and can't dooriginal ↗
1 Dec 2020
An opinionated history of programming languagesoriginal ↗
30 Sept 2020
2043original ↗
1 Sept 2020
Predicativity in Rocqoriginal ↗
8 Mar 2020
Equality in Mechanized Mathematicsoriginal ↗
15 Feb 2020
An inquiry into the Foundations of Mathematicsoriginal ↗
2 Feb 2020
ZFC and propositional logicoriginal ↗
18 Jan 2020
Lean versus Rocq: The cultural chasmoriginal ↗
4 Jan 2020

2016

Incrementally updating the Dominatororiginal ↗
9 Oct 2016
Detecting loopsoriginal ↗
16 Jul 2016
Inside a register allocatororiginal ↗
24 Mar 2016

2015

An ABI-mismatch bugoriginal ↗
23 Aug 2015