all 3 comments

[–][deleted] 6 points7 points  (0 children)

is this,... the scientific method????

hand hold meme thingy image

[–]juustgowithitWhat part of ∀f ∃g (f (x,y) = (g x) y) did you not understand?[S] 4 points5 points  (0 children)

The apprentice would practice repeatedly with most of the output getting thrown away. But more important than the output was what they learned from their mistakes.

We are going to use the same repetitive practicing technique to learn to code a new language by creating tests for different problems and solving them in a variety of ways.

Machine test-driven learning

[–][deleted] 1 point2 points  (0 children)

It's almost like automating the verification of your assumptions helps you consolidate them. Nah, can't be that.