2024

May

• May 29: A New Architecture for a GUI Framework
• May 24: A Better OS Design
• May 23: Traits, Destructors, "Higher RAII," and Exceptions
• May 22: What Rust Got Wrong on Formal Verification

March

• Mar 19: Build System Schism: The Curse of Meta Build Systems

February

• Feb 15: Version Interfaces, Not Implementations

2023

December

• Dec 20: Code Is Not Technical Debt

September

• Sep 25: Lessons Learned as a User 3: Prepare for the Future

February

• Feb 26: Programming Will Always Use Text
• Feb 20: Justifying a Backwards Design Decision for Yao
• Feb 4: Make the Leap Second First-Class: An Open Letter to the International Telecommunication Union

2021

October

• Oct 1: "Static Linking Considered Harmful" Considered Harmful

March

• Mar 31: Lessons Learned as a User 2: Eat Your Own Dog Food
• Mar 31: Lessons Learned as a User 1: Ease Matters
• Mar 31: Setting Aside an Idea: Decentralized Identities

January

• Jan 29: Dynamic Linking Needs to Die

2020

December

• Dec 26: Testing the Feasibility of Hardware Pipes 2: Exploring Designs

July

• Jul 3: Decentralizing the Internet and Other Ideas
• Jul 3: Testing the Feasibility of Hardware Pipes

February

• Feb 19: Computing Is Broken and How to Fix It
• Feb 19: Another Reason to Hate Patents

January

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

2019

December

• Dec 25: Values for Yao
• Dec 25: Designing for Good Thoughts

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