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