iop

Aren't some IMO problems pretty easy if you can throw a computer algorithm at it? (for example geometry problems can be coordinate bashed?)

Also I can't find an accompanying dataset from the link: https://imo-grand-challenge.github.io/

EDIT: Nvm found it: https://github.com/IMO-grand-challenge/formal-encoding/blob/.... But there are only a handful of formal encodings of problems and last commit was from a year ago!

Unfortunately some banks only have transaction history going back 6 months or so.

PDF statements are available for longer but they are rather worthless because they are hard to parse.

The memcpy example cleared it up for me. That's awesome!

Wouldn't this only handle wraparound just once? You would still need to wraparound eventually or you will fall off the second page.

Still it sounds super cool. Do you have an example implementation you can link to?