02:15:52 is there lean language proof of monero? 02:37:37 john_r365 It was Claude Code harness 06:51:50 Lol > <@jpk68:matrix.org> The patch to fix the exploit was also co-authored by Claude 07:40:54 <321bob321> Arsonist and fireman at the same time > <@jpk68:matrix.org> The patch to fix the exploit was also co-authored by Claude 11:56:30 Gosh I guess running ancient code is not that secure