Hacker News
- Social processes and proofs of theorems and programs (1979) [pdf] https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf 7 comments
Lobsters
- Social Processes and Proofs of Theorems and Programs (1979) http://www.cs.cmu.edu/~pattis/misc/socialproofs.pdf 5 comments formalmethods , pdf , practices