Stupid Patent of the Month: A Patent on Using Mathematical Proofs  EFF

In some fields, software bugs are more than the proverbial pain in the neck. When software has to ensure that an airplane lands safely, or that a pacemaker …