2024

September

• Sep 27: Rewriting Rust: A Response

July

• Jul 16: Why I Hope Rust Does Not Oxidize Everything

May

• May 22: What Rust Got Wrong on Formal Verification

March

• Mar 26: What Computers Cannot Do: The Consequences of Turing-Completeness

2023

December

• Dec 1: A Decade of Developing a Programming Language: A Response Response

February

• Feb 26: Programming Will Always Use Text
• Feb 20: Justifying a Backwards Design Decision for Yao

2021

July

• Jul 28: Projects in the Pipeline

February

• Feb 27: Rust, Zig, and the Futility of "Replacing" C

2020

February

• Feb 19: Computing Is Broken and How to Fix It

January

• Jan 31: Designing the Hundred-Year Language
• Jan 31: Designing a Type System

2019

December

• Dec 25: Values for Yao
• Dec 16: Structured Concurrency Definition

August

• Aug 24: Pointers in Yao

2018

November

• Nov 6: PL Design 4: Features
• Nov 6: PL Design 3: Reducing Bugs
• Nov 6: PL Design 2: Reducing Friction

August

• Aug 16: PL Design 1: Principles
• Aug 14: Tech Crises

May

• May 31: Programming Language Wish List