2023
September
February
2021
October
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
July
February
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