News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by hinkley on Friday October 21, 2016 @05:41PM (#12765119)
Have you ever written a compression algorithm?

You do know that Shannon proved that general purpose compression is impossible, right? Why bother if that 75% compression ratio is provably impossible?

There are no comments on this comment yet.