Super HN - Super Hacker News

Reverse math shows why hard problems are hard (quantamagazine.org) 3 points by gsf_emergency_6 44 minutes ago