rfurmani
Joined 18 years ago
Karma
884
Submissions
171
Member since
Dec 3
Email: [email protected]
View on Hacker NewsRecent submissions
Comment · 2 months ago
I'm one of those two, as mentioned later in the post! As it stands, by mathematical standards, it would be inappropriate for us to be authors on the paper since our role was more like a highly interested referee, but we do take mathematical accountability for it. This all happened very quickly, but we will be sure to continue to polish the paper and make it ready for publication.
Comment · 1 year ago
Dollars of compute at market rate is what I'd like to see, to check whether calling this tool would cost $100 or $100,000
Comment · 1 year ago
Sounds like it did not:
> This year, our advanced Gemini model operated end-to-end in natural language, producing rigorous mathematical proofs directly from the official problem descriptions – all within the 4.5-hour competition time limit
Comment · 1 year ago
Only for that particular board, in general it will be very complex and depend on the shape of the colored regions
Comment · 1 year ago
I've had a couple bad experiences with Lyft recently, including one time the driver must have clicked that they picked me up while a block away, because I could see the lyft driving to the destination without me. I tried to get a refund since I was obviously waiting my start location the whole time, but the system claimed the drive went from start to finish (even though I wasn't in the car), so no refund.
Comment · 1 year ago
Completely agree on both counts! I loved those two games and felt Conquests of the Longbow didn't get the recognition it deserves.
On the second point, when I read his book (https://kensbook.com/) I was disappointed to not hear about the magic of the games themselves and the creative process behind them. It became clear that his primary goal was to grow a business, he thought being a game distributor was more exciting, but then was disrupted by Steam, shareware, and online distribution.
Comment · 1 year ago
I'm building such tools at https://sugaku.net, right now there's chatting with a paper and browsing similar papers. Generally arXiv and other repositories want you to link to them and not embed their papers, which makes it hard to build inline reading tools, but it's on my roadmap to support that for uploaded papers. Would love to hear if you have some feature requests there
Comment · 1 year ago
I've wanted to but wasn't sure how to keep track of individuals. What works for you? IP Addresses, cookies, something else?
Comment · 1 year ago
After I opened up https://sugaku.net to be usable without login, it was astounding how quickly the crawlers started. I'd like the site to be accessible to all, but I've had to restrict most of the dynamic features to logged in users, restrict robots.txt, use cloudflare to block AI crawlers and bad bots, and I'm still getting ~1M automated requests per day (compared to ~1K organic), so I think I'll need to restrict the site to logged in users soon.