The road to epsilon-zero: Nim always ends, even with infinite ordinals

pavel_lishin·Hacker News·Community·

From the highly eclectic blog of Mark Dominus

Read full article →

Related Articles

Field measurements of neighborhood-scale air temperature impacts of data centers
cwwc · Hacker News · 9h ago
Linux 7.3 improves performance when running out of vRAM
flaburgan · Hacker News · 19h ago
Solo – a .so loader for static Linux binaries
zX41ZdbW · Hacker News · 3h ago
Memory prices climb 500% in 12 months
haunter · Hacker News · 1d ago
Meta Files Patent for Facial Recognition, Automatic Recording of People
DeepLogin · Hacker News · 14h ago