Chapter
Predicting the Future with Program Synthesis
31:58 - 37:30 (05:31)
The process of predicting the future involves program synthesis, where you start with errors and enumerate all the programs that can produce the expected output given the input.
Clips
This podcast discusses the idea of predicting errors in short computer programs by enumerating all programs that produce the same output with added errors and using that enumeration to predict future errors.
31:58 - 37:30 (05:31)
Computer Programming
Summary
This podcast discusses the idea of predicting errors in short computer programs by enumerating all programs that produce the same output with added errors and using that enumeration to predict future errors.