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?
You do know that Shannon proved that general purpose compression is impossible, right? Why bother if that 75% compression ratio is provably impossible?