Comment on Awesome research from MicrosoftparentComments−gtani14yThis paper may not be singularity stuff, but it is from January 2012!−marshallp14ythis formal methods shit has been going for decades and will do so for decades more being hardly used by anyone, by which time the singularity will arrive and nobody will need to program
Comments
This paper may not be singularity stuff, but it is from January 2012!
this formal methods shit has been going for decades and will do so for decades more being hardly used by anyone, by which time the singularity will arrive and nobody will need to program