iop

Joined 6 years ago

Karma

2

Submissions

7

Member since

Sep 17

View on Hacker News

Recent submissions

Comment · 6 years ago

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!

Comment · 6 years 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.

Comment · 6 years ago

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

Comment · 6 years ago

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?