- The road to epsilon-zero: “Shortlex” isn't actually a single order
- Noting another house repair chore victory
- Work diary victory
- George Orwell's essay on the atomic bomb anticipates Nineteen Eighty-Four
- The road to epsilon-zero: Shortlex order also orders sequences of numbers
- The road to epsilon-zero: Productive programs and well-founded orders
- There are two kinds of theorems
- The road to epsilon-zero: Coin-moving games with no coins
- Seven books I keep close because I love them
- The road to epsilon-zero: Infinite Nim as a coin-moving game
- “Steph Curry: fluke or breakthrough” ten years later
- The road to epsilon-zero: Nim always ends, even with infinite ordinals
Archive:
Subtopics: