covering all the hot paths through the loop. the VM would start tracing there. When the inner loop exits, the VM would detect that a different branch was taken. The VM would try to record a branch ...

A fact I recently learnedI recently finished reading a book on automata, and according to that book, Turing machines, lambda calculus, and recursive functions all have the same computational ...