Hacker News
- Social processes and proofs of theorems and programs (1979) [pdf] https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf 7 comments
Linking pages
- “This guy’s arrogance takes your breath away” | by Jiahao Chen [he/him] / 陳家豪 [他] | Medium https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f 392 comments
- Program Synthesis in 2019 | SIGPLAN Blog https://blog.sigplan.org/2019/07/31/program-synthesis-in-2019/ 0 comments
Related searches:
Search whole site: site:www.cs.umd.edu
Search title: Social processes and proofs of theorems and programs (1979) [pdf]
See how to search.