Comment on My bytecode optimizer beats Copilot by 2xparentComments−top256OP1yYes exactly and that was the hard part (extract and verify the invariants). Still it's surprising because llm needs to be able to do that for any complex code.What you wrote is great can I copy/paste it in the blog post? (Referring you of course)−farkin881yFor sure. Feel free to copy/paste it. Great blog by the way. Will keep any eye out more of your posts.
Comments
Yes exactly and that was the hard part (extract and verify the invariants). Still it's surprising because llm needs to be able to do that for any complex code.
What you wrote is great can I copy/paste it in the blog post? (Referring you of course)
For sure. Feel free to copy/paste it. Great blog by the way. Will keep any eye out more of your posts.