Does it? How are you legally intending to use copyright to license this machine output? How would you know it's not encumbered in any way?
It wasn't even a disasm/pseudocode to formal spec flow, and then a separate human implementation. The same human has been in the loop throughout, and large parts of it were generated directly.
It's basically guaranteed tainted.
Were you flagged for a cybersecurity violation?
You can draw your own conclusions as to what this says about the state of agentic development.
One thing I have been curious at is are there any ways to stop a rar compression mid way and then continue it later?
Like suppose I have a compression happening for a large file, then would there be a possibility with this project to shut down the computer mid compression and continue it after starting it again?
I would really love it if you can add this functionality!
use std::fs::File;
use std::io::prelude::*;
fn main() -> std::io::Result<()> {
let mut file = File::create("content.txt")?;
file.write_all(b"3!")?;
Ok(())
}For actual correctness verification in the strong sense, you'd need to start from a specification written in a formal language so that it's machine checkable, which if I had to guess, not even win.rar GmbH has.
Added, later: hey you changed your comment, added a whole paragraph.
davidsong•1h ago
It's not fast and it's not pretty, but it works.
esafak•37m ago
As mathematicians say, optimization is left as an exercise to the reader. You did the hard part.