Recent Writings
-
Saturday Paper Reading Notes
-
On getting started with Category Theory
-
[audio transcript] On first principles thinking
-
A weekend's (re)reading list
-
On reading about optimizing compilers
-
On answering ~150 DMs on X in 48hrs
-
2024 Collection of Zig resources
-
On Zig vs Rust at work and the choice we made
-
On becoming competitive when joining a new company
Recent Bookmarks
-
Gödel’s Incompleteness Theorems
-
What Alan T. did for his PhD
-
Lecture 3: Gödel, Turing, and Friends
-
The Complete Idiot's Guide to the Independence of the Continuum Hypothesis: Part 1 of <=Aleph_0
-
Solomonoff induction still works if the universe is uncomputable, and its usefulness doesn't require knowing Occam's razor