Aws Albarghouthi(@awsTO):in 1948, Turing introduced "unorganized machines", machines that learn, which we now call neural nets. in 1949, in "Checking a large routing", Turing introduced formal verification (Floyd-Hoare triples). Today, neural nets do formal verification. Pretty wild.

2026.07.10 15:14

in 1948, Turing introduced "unorganized machines", machines that learn, which we now call neural nets. in 1949, in "Checking a large routing", Turing introduced formal verification (Floyd-Hoare triples). Today, neural nets do formal verification. Pretty wild.