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

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