4 ms·
This paper may not be singularity stuff, but it is from January 2012!
by gtani 15y ago
This paper may not be singularity stuff, but it is from January 2012!
- marshallp 15y agothis 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