They're poking fun at the formal methods community, which spends a lot of time d...

ezyang on Aug 3, 2011 | parent | context | favorite | on: MIT develops new tool that can interrupt infinite ...

They're poking fun at the formal methods community, which spends a lot of time doing research in this direction. Percolation of these techniques back to industry has been... less than stellar.