Software engineer. Notes on computer science, mathematics, physics and engineering practice, plus summaries of the papers I read.https://example.com/en-gbhttps://example.com/blog/infinitude-of-primes/https://example.com/blog/infinitude-of-primes/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.Sun, 26 Jul 2026 00:00:00 GMTMathematicsEssaynumber-theoryprimesproofhttps://example.com/blog/transistors-the-switch/https://example.com/blog/transistors-the-switch/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.Sun, 26 Jul 2026 00:00:00 GMTComputer ScienceEssayhardwaresemiconductorshow-computers-workhttps://example.com/blog/hello-world/https://example.com/blog/hello-world/What this site is for, and how the writing here is organised.Sat, 25 Jul 2026 00:00:00 GMTEngineeringNotemeta