corpus.blog
54,302 blogs · [ { "id": "01a0d916-0c85-70ee-bda8-c43cf7ece7a9", "title": "We Should be Able to Change our Languages", "url": "https://jimmyhmiller.github.io/change-our-languages", "published_at": "2026-09-17T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace813f1aff", "title": "The Chasm: The Shape of Unfinished AI Codebases", "url": "https://jimmyhmiller.github.io/shape-of-unfinished-ai-codebases", "published_at": "2026-09-07T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace81fa3884", "title": "Legibility is Ruining You", "url": "https://jimmyhmiller.github.io/legibility-is-ruining-you", "published_at": "2026-04-02T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace828bc099", "title": "Untapped Way to Learn a Codebase: Build a Visualizer", "url": "https://jimmyhmiller.github.io/learn-codebase-visualizer", "published_at": "2026-02-17T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace82e72823", "title": "AI Has Made it Easy to Own Your Tools", "url": "https://jimmyhmiller.github.io/ai-own-your-tools", "published_at": "2025-12-26T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8345ec26", "title": "The Easiest Way to Build a Type Checker", "url": "https://jimmyhmiller.github.io/easiest-way-to-build-type-checker", "published_at": "2025-11-22T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace840acb32", "title": "The Overly Humble Programmer", "url": "https://jimmyhmiller.github.io/overly-humble-programmer", "published_at": "2025-11-12T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace842bec30", "title": "Stuck? Build Your Language Backwards", "url": "https://jimmyhmiller.github.io/build-your-language-backwards", "published_at": "2025-06-12T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace851b5b33", "title": "Machine Code Isn't Scary", "url": "https://jimmyhmiller.github.io/machine-code-isnt-scary", "published_at": "2025-06-02T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace85d39aae", "title": "Discovery Coding", "url": "https://jimmyhmiller.github.io/discovery-coding", "published_at": "2025-01-28T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace863259bf", "title": "Dec 24: Against a Universal Definition of 'type'", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-24-against-types", "published_at": "2024-12-24T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8641bf9f", "title": "Dec 23: Do Artifacts Have Politics?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-23-artifacts-politics", "published_at": "2024-12-23T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace86591b13", "title": "Dec 22: Once More—A Computer Revolution", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-22-computer-revolution", "published_at": "2024-12-22T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace86bee81c", "title": "Dec 21: What is Conceptual Engineering and What Should It Be?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-21-conceptual-engineering", "published_at": "2024-12-21T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace86e77362", "title": "Dec 20: Three Paradigms of Computer Science", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-20-three-paradigms", "published_at": "2024-12-20T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace87c4e571", "title": "Dec 19: Everybody Clap Your Hands", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-19-clap-your-hands", "published_at": "2024-12-19T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8842083d", "title": "Dec 18: The Structure and Legal Interpretation of Computer Programs", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-18-legal-interpretation", "published_at": "2024-12-18T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8889a252", "title": "Dec 17: The Cultural Part of Cognition", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-17-cultural-cognition", "published_at": "2024-12-17T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8924899e", "title": "Dec 16: Will Computers Ever Become Easy to Use?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-16-computers-easy", "published_at": "2024-12-16T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8a07c3a2", "title": "Dec 15: Programming Languages as Technical Artifacts", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-15-technical-artifacts", "published_at": "2024-12-15T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8a7e09b1", "title": "Dec 14: Bidrectional Type Checking", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-14-bidirectional-type-checking", "published_at": "2024-12-14T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8a82fb46", "title": "Dec 13: What Knowledge Isn't", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-13-knowledge", "published_at": "2024-12-13T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8abd18e5", "title": "Dec 12: Lazy Evaluation of Transactions in Database Systems", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-12-lazy-transactions", "published_at": "2024-12-12T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8b586b45", "title": "Dec 11: On Understanding Data Abstraction Revisited", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-11-data-abstraction", "published_at": "2024-12-11T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8c446e53", "title": "Dec 10: Large Models of What?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-10-large-models-of-what", "published_at": "2024-12-10T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8c5ec92a", "title": "Dec 9: What is a Game?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-9-what-is-a-game", "published_at": "2024-12-09T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8cf3d4c4", "title": "Dec 8: Beyond Being There: Making Remote Work Better", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-8-beyond-being-there", "published_at": "2024-12-08T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8dafb1aa", "title": "Dec 7: Implementation is Semantic Interpretation", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-7-interpretation", "published_at": "2024-12-07T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8e4739c1", "title": "Dec 6: Intuition in Software Development", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-6-intuition", "published_at": "2024-12-06T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8ea91fdb", "title": "Dec 5: Worlds: Mutability with Control", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-5-worlds", "published_at": "2024-12-05T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8efec059", "title": "Dec 4: Is the Brain a Computer?", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-4-brain-computer", "published_at": "2024-12-04T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8f381f6c", "title": "Dec 3: Google's Awful Paper on Technical Debt", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-3-awful-google-tech-debt", "published_at": "2024-12-03T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace8ff57981", "title": "Dec 2: Software is an Abstract Artifact", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-2-abstract-artifact", "published_at": "2024-12-02T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9092c14b", "title": "Dec 1: Elephant 2000", "url": "https://jimmyhmiller.github.io/advent-of-papers/2024/dec-1-elephant-2000", "published_at": "2024-12-01T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace90e37bf5", "title": "Being Raised by the Internet", "url": "https://jimmyhmiller.github.io/raised", "published_at": "2024-09-19T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace90f65030", "title": "\"We ran out of columns\" — the best, worst codebase", "url": "https://jimmyhmiller.github.io/ugliest-beautiful-codebase", "published_at": "2024-08-02T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace913d69eb", "title": "That Will Never Change. Not Here", "url": "https://jimmyhmiller.github.io/never-change", "published_at": "2024-02-24T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9211190c", "title": "Not Another Technical Debt Article", "url": "https://jimmyhmiller.github.io/not-another-technical-debt-article", "published_at": "2024-01-15T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace92e269da", "title": "Being Stuck in Someone Else's Theory", "url": "https://jimmyhmiller.github.io/stuck", "published_at": "2023-12-27T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9371bafd", "title": "ChatGPT Doesn't Know Anything", "url": "https://jimmyhmiller.github.io/chatgpt", "published_at": "2023-07-14T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace93d10edd", "title": "What Follows from Empirical Software Research?", "url": "https://jimmyhmiller.github.io/empirical", "published_at": "2023-04-09T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace94631328", "title": "The Space Between Programs", "url": "https://jimmyhmiller.github.io/space-between", "published_at": "2022-08-17T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace94d65ab6", "title": "Social Programming Language Constructs", "url": "https://jimmyhmiller.github.io/social-language-constructs", "published_at": "2022-08-16T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace95b4de0c", "title": "My Experience Building an Editor in Rust", "url": "https://jimmyhmiller.github.io/editor-experience", "published_at": "2022-05-01T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace96673fb3", "title": "Towards Aesthetic Elements of Programming", "url": "https://jimmyhmiller.github.io/aesthetic-elements", "published_at": "2022-01-06T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace967b983d", "title": "CDD and the Non-Linearity of Discovery", "url": "https://jimmyhmiller.github.io/cdd-non-linear", "published_at": "2021-08-15T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace969cb3ad", "title": "Conceptual Preservation", "url": "https://jimmyhmiller.github.io/conceptual-preservation", "published_at": "2020-11-25T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace975ca5b9", "title": "Conceptual Engineering", "url": "https://jimmyhmiller.github.io/conceptual-engineering", "published_at": "2020-11-15T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace98588f99", "title": "Building Meander in Meander", "url": "https://jimmyhmiller.github.io/building-meander-in-meander", "published_at": "2020-06-08T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace98fb7c57", "title": "Card Driven Development", "url": "https://jimmyhmiller.github.io/card-driven-development", "published_at": "2019-10-06T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9945488d", "title": "Term Rewriting with Meander", "url": "https://jimmyhmiller.github.io/meander-rewriting", "published_at": "2019-08-04T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9a1cc9ea", "title": "Meander for Practical Data Transformation", "url": "https://jimmyhmiller.github.io/meander-practical", "published_at": "2019-06-06T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9a5552b2", "title": "Named Function Composition", "url": "https://jimmyhmiller.github.io/named-function-composition", "published_at": "2019-01-30T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9b32697e", "title": "Defending the Incommunicability of Programs", "url": "https://jimmyhmiller.github.io/incommunicability", "published_at": "2018-12-28T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9b8f09e6", "title": "Basic Functional Studies", "url": "https://jimmyhmiller.github.io/basic-functional-studies", "published_at": "2018-11-12T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9bae0ba6", "title": "Side Effects, Complecting a la Carte", "url": "https://jimmyhmiller.github.io/side-effects-complect", "published_at": "2018-10-22T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9c7d13f2", "title": "OOP from the Ground Up", "url": "https://jimmyhmiller.github.io/oop-ground-up", "published_at": "2018-09-30T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9cccdb04", "title": "Beautiful Code Through Simplicity", "url": "https://jimmyhmiller.github.io/beautiful-code", "published_at": "2018-09-15T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9d57ffc8", "title": "Protomorphism", "url": "https://jimmyhmiller.github.io/protomorphism", "published_at": "2018-09-02T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9d78d381", "title": "Variants and Protocols", "url": "https://jimmyhmiller.github.io/variants-and-protocols", "published_at": "2018-08-26T00:00:00+00:00" }, { "id": "01a0878d-fcc9-70ed-b959-3ace9dee9abd", "title": "Variants Explained", "url": "https://jimmyhmiller.github.io/variants-explained", "published_at": "2018-08-22T00:00:00+00:00" } ] posts Claim your blog
Back to Jimmy Miller
Blog · corpus.blog/blogs/jimmyhmiller.github.io/posts

Jimmy Miller

jimmyhmiller.github.io

2026

We Should be Able to Change our Languagesoriginal ↗
17 Sept 2026
The Chasm: The Shape of Unfinished AI Codebasesoriginal ↗
7 Sept 2026
Legibility is Ruining Youoriginal ↗
2 Apr 2026
Untapped Way to Learn a Codebase: Build a Visualizeroriginal ↗
17 Feb 2026

2025

AI Has Made it Easy to Own Your Toolsoriginal ↗
26 Dec 2025
The Easiest Way to Build a Type Checkeroriginal ↗
22 Nov 2025
The Overly Humble Programmeroriginal ↗
12 Nov 2025
Stuck? Build Your Language Backwardsoriginal ↗
12 Jun 2025
Machine Code Isn't Scaryoriginal ↗
2 Jun 2025
Discovery Codingoriginal ↗
28 Jan 2025

2024

Dec 24: Against a Universal Definition of 'type'original ↗
24 Dec 2024
Dec 23: Do Artifacts Have Politics?original ↗
23 Dec 2024
Dec 22: Once More—A Computer Revolutionoriginal ↗
22 Dec 2024
Dec 21: What is Conceptual Engineering and What Should It Be?original ↗
21 Dec 2024
Dec 20: Three Paradigms of Computer Scienceoriginal ↗
20 Dec 2024
Dec 19: Everybody Clap Your Handsoriginal ↗
19 Dec 2024
Dec 18: The Structure and Legal Interpretation of Computer Programsoriginal ↗
18 Dec 2024
Dec 17: The Cultural Part of Cognitionoriginal ↗
17 Dec 2024
Dec 16: Will Computers Ever Become Easy to Use?original ↗
16 Dec 2024
Dec 15: Programming Languages as Technical Artifactsoriginal ↗
15 Dec 2024
Dec 14: Bidrectional Type Checkingoriginal ↗
14 Dec 2024
Dec 13: What Knowledge Isn'toriginal ↗
13 Dec 2024
Dec 12: Lazy Evaluation of Transactions in Database Systemsoriginal ↗
12 Dec 2024
Dec 11: On Understanding Data Abstraction Revisitedoriginal ↗
11 Dec 2024
Dec 10: Large Models of What?original ↗
10 Dec 2024
Dec 9: What is a Game?original ↗
9 Dec 2024
Dec 8: Beyond Being There: Making Remote Work Betteroriginal ↗
8 Dec 2024
Dec 7: Implementation is Semantic Interpretationoriginal ↗
7 Dec 2024
Dec 6: Intuition in Software Developmentoriginal ↗
6 Dec 2024
Dec 5: Worlds: Mutability with Controloriginal ↗
5 Dec 2024
Dec 4: Is the Brain a Computer?original ↗
4 Dec 2024
Dec 3: Google's Awful Paper on Technical Debtoriginal ↗
3 Dec 2024
Dec 2: Software is an Abstract Artifactoriginal ↗
2 Dec 2024
Dec 1: Elephant 2000original ↗
1 Dec 2024
Being Raised by the Internetoriginal ↗
19 Sept 2024
"We ran out of columns" — the best, worst codebaseoriginal ↗
2 Aug 2024
That Will Never Change. Not Hereoriginal ↗
24 Feb 2024
Not Another Technical Debt Articleoriginal ↗
15 Jan 2024

2023

Being Stuck in Someone Else's Theoryoriginal ↗
27 Dec 2023
ChatGPT Doesn't Know Anythingoriginal ↗
14 Jul 2023
What Follows from Empirical Software Research?original ↗
9 Apr 2023

2022

The Space Between Programsoriginal ↗
17 Aug 2022
Social Programming Language Constructsoriginal ↗
16 Aug 2022
My Experience Building an Editor in Rustoriginal ↗
1 May 2022
Towards Aesthetic Elements of Programmingoriginal ↗
6 Jan 2022

2021

CDD and the Non-Linearity of Discoveryoriginal ↗
15 Aug 2021

2020

Conceptual Preservationoriginal ↗
25 Nov 2020
Conceptual Engineeringoriginal ↗
15 Nov 2020
Building Meander in Meanderoriginal ↗
8 Jun 2020

2019

Card Driven Developmentoriginal ↗
6 Oct 2019
Term Rewriting with Meanderoriginal ↗
4 Aug 2019
Meander for Practical Data Transformationoriginal ↗
6 Jun 2019
Named Function Compositionoriginal ↗
30 Jan 2019

2018

Defending the Incommunicability of Programsoriginal ↗
28 Dec 2018
Basic Functional Studiesoriginal ↗
12 Nov 2018
Side Effects, Complecting a la Carteoriginal ↗
22 Oct 2018
OOP from the Ground Uporiginal ↗
30 Sept 2018
Beautiful Code Through Simplicityoriginal ↗
15 Sept 2018
Protomorphismoriginal ↗
2 Sept 2018
Variants and Protocolsoriginal ↗
26 Aug 2018
Variants Explainedoriginal ↗
22 Aug 2018