Hacker News
- Terence Tao on proof checkers and AI programs https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 175 comments
- The Tao of Programming (1987) https://www.mit.edu/~xela/tao.html 105 comments
- The Tao of Programming https://www.mit.edu/~xela/tao.html 3 comments
- The Tao of Programming (1987) https://www.mit.edu/~xela/tao.html 63 comments
- The Tao of Programming https://www.mit.edu/~xela/tao.html 2 comments
- The Tao of Programming (1987) http://www.textfiles.com/100/taoprogram.pro 57 comments
- The Tao of Programming https://thinkdiffere.net/the-tao-of-programming-4dbe01178ed4 4 comments
- The Tao of Programming http://www.mit.edu/~xela/tao.html 43 comments
- The Tao of Programming http://www.dekorte.com/blog/blog.cgi?do=item&id=4429 4 comments
- The Tao of Programming http://www.textfiles.com/100/taoprogram.pro 21 comments
- The Tao Of Programming http://www.canonical.org/~kragen/tao-of-programming.html 11 comments
- The Tao of Programming http://repetae.net/computer/tao.html 2 comments
- The Tao of Programming https://www.mit.edu/~xela/tao.html 20 comments programming
- The Tao of Programming http://www.mit.edu/~xela/tao.html 13 comments programming
- The Tao Of Programming http://www.mit.edu/~xela/tao.html 27 comments programming
- Galois offers Haskell course: The Tao of Functional Programming http://corp.galois.com/haskell-course 9 comments haskell
- The Tao of Programming http://www.textfiles.com/100/taoprogram.pro 103 comments programming
- The Tao Of Programming http://www.canonical.org/~kragen/tao-of-programming.html? 11 comments programming
- The Tao of programming http://osiris.urbanna.net/tao.html 20 comments programming
- The Tao of Programming http://www.educ.umu.se/~bjorn/misc/tao.big.html 2 comments reddit.com
- The Tao Of Programming http://www.canonical.org/~kragen/tao-of-programming.html 19 comments programming
- AI Will Become Mathematicians’ ‘Co-Pilot’ | Spektrum der Wissenschaft - Scientific American - Christoph Drösser | Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 18 comments futurology
- AI Will Become Mathematicians’ ‘Co-Pilot’ | Spektrum der Wissenschaft - Scientific American - Christoph Drösser | Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 74 comments math
- I realized that the first chapter of the Tao Te Ching strongly relates to programming https://www.reddit.com/r/compsci/comments/95somw/i_realized_that_the_first_chapter_of_the_tao_te/ 6 comments compsci