1/ Second thread on exciting philosophy from outside philosophy departments... https://twitter.com/OwainEvans_UK/status/1326645830963634179
2/ Gerry Sussman. Hofstadter said Gödel invented LISP in proving the incompleteness theorem. Sussman shows the amazing breadth and elegance of LISP ideas. SICP, SICM, How to build robust systems. https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwjB0_WyhJLtAhUOURUIHZqQBjIQFjACegQIBhAC&url=https%3A%2F%2Fgroups.csail.mit.edu%2Fmac%2Fusers%2Fgjs%2F6.945%2Freadings%2Frobust-systems.pdf&usg=AOvVaw0LGa7VnLjautXwGFTGpdF_
3/ Eric Drexler. Engineering is neglected by philosophy departments (see Sussman also). Engines, Nanosystems, how engineering differs from science, CAIS. Disclosure: he's currently at the FHI (which is part of a phil dept).
https://www.overcomingbias.com/2013/06/drexler-on-engineering.html
https://www.lesswrong.com/posts/x3fNwSe5aWZb5yXEG/reframing-superintelligence-comprehensive-ai-services-as
https://www.overcomingbias.com/2013/06/drexler-on-engineering.html
https://www.lesswrong.com/posts/x3fNwSe5aWZb5yXEG/reframing-superintelligence-comprehensive-ai-services-as
4/ Communities working on formal verification of mathematics and languages like Haskell, Coq, LEAN, etc. Jeremy Avigad (who is in philosophy department) is a good source. https://www.andrew.cmu.edu/user/avigad/
5/ Kevin Kelly. Speculative ideas about how to conceptualize information technology. https://en.wikipedia.org/wiki/What_Technology_Wants
6/ Communities working on evolutionary game theory, algorithmic game theory, and mechanism design.
http://timroughgarden.org/f13/f13.html
https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwiWi-G-hpLtAhUAaRUIHUNlD4MQFjADegQIBBAC&url=https%3A%2F%2Fwww.amazon.com%2FWho-Gets-What-Economics-Matchmaking-ebook%2Fdp%2FB00LZ7GQJQ&usg=AOvVaw0fffU2_PGLZ7GHIApBHZ9p
http://timroughgarden.org/f13/f13.html
https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwiWi-G-hpLtAhUAaRUIHUNlD4MQFjADegQIBBAC&url=https%3A%2F%2Fwww.amazon.com%2FWho-Gets-What-Economics-Matchmaking-ebook%2Fdp%2FB00LZ7GQJQ&usg=AOvVaw0fffU2_PGLZ7GHIApBHZ9p
7/ Neal Stephenson. Anathem and other books. https://en.wikipedia.org/wiki/Anathem