Euclid's list that can't be finished
The proof that there are infinitely many primes doesn't construct a new prime — it constructs a number guaranteed to have a prime factor missing from any finite list. That distinction is the whole proof.
Writing
Mostly things I'm learning: mathematics and physics worked through from first principles, computer science fundamentals, notes on papers I've read, and what twelve years of building software has actually taught me.
Or come at it sideways: by tag, by search, or by feed.
The proof that there are infinitely many primes doesn't construct a new prime — it constructs a number guaranteed to have a prime factor missing from any finite list. That distinction is the whole proof.
Before logic gates, before bits, there's a piece of doped silicon that only conducts when you tell it to. Working through why, from the lattice up.
What this site is for, and how the writing here is organised.