Blog

2025.12.31 :: 6 min read

Getting Yourself to Do Stuff

2025.12.27 :: 6 min read

How does Lean work

2025.12.24 :: 6 min read

Abstraction

2025.12.21 :: 12 min read

Thoughts on Analyzing Dynamic Languages

2025.12.18 :: 10 min read

Learning Languages

2025.10.19 :: 19 min read

A whirlwind tour of how GPUs work

2025.06.14 :: 5 min read

First Two Weeks at Netflix

2025.01.12 :: 10 min read

Making a Digital Photo Frame