logoalt Hacker News

slopinthebagyesterday at 8:39 PM2 repliesview on HN

How do we know it's actually correct?


Replies

davidsongtoday at 3:19 AM

I compressed thousands of files, went through libarchive's and Sembiance's test data at least for the decompressor side. I recompressed the files, and round-tripped them against 7zip, unrar, every later version of winrar. It failed a lot at the start, and codex burned a lot of tokens instrumenting the binaries and dividing and conquering until things settled down and round-trips worked properly.

I can't really say it works in every case as I honestly didn't spend that much time on it. But it works in the majority of cases. There's likely some nasty bugs hiding in there.

perching_aixyesterday at 8:43 PM

By using it.

show 3 replies