*Understanding the World with Program Synthesis* https://blog.sigplan.org/2019/11/04/understanding-the-world-with-program-synthesis/ by Swarat Chaudhuri @swarat [ https://twitter.com/swarat ]
This article captures my scientific "philosophy" that scientific theories of the future will be made by computers: the process of program synthesis. @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3d98966a-1664-4c44-8bbf-9182ca39045dn%40googlegroups.com.
