start  find  index  login or register  edit  
20031127
by earl, 6940 days ago
"Happily, it was proven that Turing's tape machine and Church's lambda calculus are isomorphic  an algorithm in one can be reduced to an algorithm for the other  so that theoreticians can prove things under one system or the other, as convenient. Obviously, though, the ones that prove using the lambda calculus are much cooler." [via LtU@]The Omniscient Debugger is a tool for Java that "allows developers to step backwards through the execution of a program to determine where and how programming errors occurred. By recording each state change in the target application, it allows the developer to navigate 'backwards in time' to see what the values of variables and objects WERE, enormously simplifying the task of debugging programs." 
search backlinks (more) none, yet recent stores (more) recent comments echo earlZstrainYattr ZY @.


earl.strain.at • esa3 • online for 7937 days • c'est un vanilla site 