2024

September

• Sep 27: Rewriting Rust: A Response

July

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

May

• May 23: Traits, Destructors, "Higher RAII," and Exceptions
• May 22: What Rust Got Wrong on Formal Verification

2023

February

• Feb 20: Justifying a Backwards Design Decision for Yao
• Feb 4: Why I Use C When I Believe in Memory Safety

2021

September

• Sep 7: Comments on Cosmopolitan and Culture

April

• Apr 7: Counting Words in C with Yc

February

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

2019

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