2023

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