The Man Who Tried to Redeem the World with Logicm.nautil.us5 points·j2kun··0 commentsOpen articleSaveView on HN