Richard Stearns (1936-2026)blog.computationalcomplexity.org2 points·speckx··1 commentOpen articleSaveView on HN