Effective Spaced Repetition

The Best of Orion's Arm

And yet It Understands

Design of the Austral Compiler

Shells are two things

Languages are not Ecosystems

Roam, Twenty Years Before Roam

A Brief Defense of XML

How Austral’s Linear Type Checker Works

Astronomical Calculations for Hard SF in Common Lisp

Austral: A systems language with linear types and capabilities

Unbundling Tools for Thought

Simplicity and Survival

Lessons from Writing a Compiler

Signed Integers Are Asymmetrical