ML systems approximate solutions to Bret's vision. They don't solve the particular things he demoed, rather, they actually go further in that rather than enmeshing users in a specific interface to implement a specification, they jump from an incomplete specification to a probable solution.
Your program doesn't need time travelling debugging if it already works.
Your program doesn't need time travelling debugging if it already works.