Blog

Developing Stronger Opinions

Jan 24, 2026

Humans often do not make good decisions by default

Jan 21, 2026

Announcing Dimspector

Jan 19, 2026

Reverse Engineering Neural Networks

Jan 16, 2026

Getting Yourself to Do Stuff

Dec 31, 2025

How does Lean work

Dec 27, 2025

Abstraction

Dec 24, 2025

Thoughts on Analyzing Dynamic Languages

Dec 21, 2025

Learning Languages

Dec 18, 2025

A whirlwind tour of how GPUs work

Oct 19, 2025

First Two Weeks at Netflix

Jun 14, 2025

Making a Digital Photo Frame

Jan 12, 2025