Popular Posts

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

• The Easiest Way to Build a Type Checker

• Machine Code Isn't Scary

• Discovery Coding

Special Posts

• Advent of Papers (2024)

  • Day 4: Is the Brain a Computer?

  • Day 15: Programming Languages as Technical Artifacts

Podcast

• Feeling of Computing

Posts

• The Overly Humble Programmer

• Stuck? Build Your Language Backwards

• Being Raised by the Internet

• 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

Talks

• Meander: Declarative Explorations at the Limits of FP

• Paradigms Without Progress: Kuhnian Reflections on Programming Practice

Posts For Beginners

• Variants Explained

• Variants and Protocols

• Protomorphism

• Beautiful Code Through Simplicity

• OOP from the Ground Up

• Side Effects, Complecting a la Carte

• Basic Functional Studies

Utilities

• Graph Maker

• Finite State Machine Maker

• EsLint Fixit

• Zoom Launcher

Old Libraries

• MultiMethods in Javascript

• React Redux Connected

Slides from Old Talks

• The Future of Programming

• What is a Monad?

• Practical Functional Refactoring

• Property Based Testing

• Datalog Lightning Talk

Projects on Hold

• One Hundred Lines or Less

Readings

• Programming Readings

Personal Links

• Blue Sky

• Mastodon

• Github