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

2025

2024

2022

2021

2020

1 Sept 2020

2016

2015