No surprise there; it's why the software development industry is reluctant to ad...

		kazinator on Sept 10, 2017 \| parent \| context \| favorite \| on: Baffling ABC maths proof now has impenetrable 300-... No surprise there; it's why the software development industry is reluctant to adopt such techniques; nobody wants to write 5 times the amount of code, or take 5 times as long to get to the market.