2024

• September

  • Sep 27: Rewriting Rust: A Response

  August

  • Aug 30: Curing the Framework Curse
  • Aug 13: A Better OS Design 2: Microkernel Performance

  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