Hacker News new | ask | show | jobs
by gtani 5322 days ago
This paper may not be singularity stuff, but it is from January 2012!
1 comments
marshallp 5322 days ago
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
link