Social Processes and Proofs of Theorems and Programs (1979) | Dark Hacker News