Writings

Operating Systems

• It’s Time to Make a New Operating System
• Copying a Terabyte Should Be Instant
• The File Picker Is the Most Important Security UI Ever Built
• How to Lie to a Greedy App
• Most Viruses Should Be Impossible by Construction
• Docker Is a Workaround for a Broken OS
• An OS That Bricks on Update Is Already Dead
• The Web Browser Is an Operating System in Denial
• Punishing Greedy Apps

Programming Languages

• A New Language for a New Operating System
• The Build Should Know What Your Code Trusts
• Provably Safe Inline Assembly
• Migrations You Can Prove
• The Compiler Should Catch Your Protocol Bugs

Cathedral

• Authority Should Be Borrow-Checked
• Four OS Problems, One Root Cause

Game Development

• Networked State Machines as First-Class Citizens
• How We Wrote a Self-Hacking Game in C++

Game Hacking

• Creating an Infinite(ish) Depth Pointer Scanning Algorithm