|
On 4 Mar 2009, at 21:46, Jorge wrote:
I say, stuck all that code in a module where it can peacefully grow to aTuring-defeating AI the size of Windows Vista.
That's the thing though (Vista joke aside), who is going to develop the verifier given that the current one does not work?