jimmyhmiller.github.io

Variants Explained

Variants and Protocols

Protomorphism

Beautiful Code Through Simplicity

OOP from the Ground Up

Side Effects, Complecting a la Carte

Basic Functional Studies

Stuck? Build Your Language Backwards

Machine Code Isn't Scary

Discovery Coding

Being Raised by the Internet

"We ran out of columns" - The best, worst codebase

That Will Never Change. Not Here

Not Another Technical Debt Article

Being Stuck in Someone Else’s Theory

ChatGPT Doesn't Know Anything

What Follows from Empirical Software Research?

The Space Between Programs

Social Programming Language Constructs

My Experience Building an Editor in Rust

Towards Aesthetic Elements of Programming

CDD and the Non-Linearity of Discovery

Conceptual Preservation

Conceptual Engineering

Building Meander in Meander

Card Driven Development

Term Rewriting with Meander

Meander for Practical Data Transformation

Named Function Composition

Defending the Incommunicability of Programs

Dec 1: Elephant 2000

Dec 2: Software is an Abstract Artifact

Dec 3: Google's Awful Paper on Technical Debt

Dec 4: Is the Brain a Computer?

Dec 5: Worlds: Mutability with Control

Dec 6: Intuition in Software Development

Dec 7: Implementation is Semantic Interpretation

Dec 8: Beyond Being There: Making Remote Work Better

Dec 9: What is a Game?

Dec 10: Large Models of What?

Dec 11: On Understanding Data Abstraction Revisited

Dec 12: Lazy Evaluation of Transactions in Database Systems

Dec 13: What Knowledge Isn't

Dec 14: Bidrectional Type Checking

Dec 15: Programming Languages as Technical Artifacts

Dec 16: Will Computers Ever Become Easy to Use?

Dec 17: The Cultural Part of Cognition

Dec 18: The Structure and Legal Interpretation of Computer Programs

Dec 19: Everybody Clap Your Hands

Dec 20: Three Paradigms of Computer Science

Dec 21: What is Conceptual Engineering and What Should It Be?

Dec 22: Once More—A Computer Revolution

Dec 23: Do Artifacts Have Politics?

Dec 24: Against a Universal Definition of ‘type’