Social Processes and Proofs of Theorems and Programs [pdf]gwern.net1 point·pcfwik··0 commentsOpen articleSaveView on HN