Joe Halpern (1953-2026)blog.computationalcomplexity.org3 points·speckx··1 commentOpen articleSaveView on HN