@hazel It only uses the tests to gather constants and filter candidate programs, right? We have supercomputers at IU.
Also I want to show/demo this in class in a week, because I describe machine learning as "the computer does design recipe step 5 after you do steps 1-4".
And I want to try (check-expect (product empty) 0) oh 21m30s
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.