Extraordinary Ordinals (18 points) offers a rigorous deep dive into large mathematical ordinals like ε₀ and their role in proof-theoretic strength, a dense topic only 7 commenters tackled—but those contributions are gold for specialists. This entry is 90% more technical than the average Hacker News thread, outperforming #9 by requiring prior knowledge of transfinite induction. The discussion clarifies the critical distinction between ω and ω₁ᶜᵏ, providing a rare reference for mathematicians.
Comments on "The Emacsification of Software"
Create a free account or sign in to join the discussion.
Sign in to join the conversation