10:59:14 hrm, it seems all we needed is a sleep in the mining loop. 13:44:19 I wonder what would happen if you gave a frontier LLM the FCMP++ code, and give hints that there's a vulnerability or soundness issue, even if there isn't. 13:52:50 It would spend a lot of usage credits and make me go broke, probably. I tried it once (without usage credits), it ran out of the weekly limit without finding anything. But it was before GPT 6/Fable 5.1 were out 14:02:41 @jpk68:matrix.org: I was trying that with Fable 5.1 with the B+ code and it ate my wallet 14:10:43 Yeah, what could go wrong if you tell an LLM "For once, feel free to hallucinate and then check whether something you come up with is surprisingly true" :)