Rust-Djinn: The Fastest (and Safest) Gzip Decompressor Is 300 Lines of Spec

1 comments

• majorchord 21 minutes ago

  >safest

  >No human programmer had to read or edit

  I don't know that most people would consider this a positive?

  How can the proofs themselves be verified if nobody looked at them?