News for hackers. Stuff that matters.
Re:The Dragon Hatchling: The missing link between the transf... by fxwin on Wednesday October 22, 2025 @05:02PM (#45675101)
I could agree with that, but the example on p29 (Claim 6) ends with QED, but only then the proof follows. I realize I'm nitpicking form here, but still
Re:The Dragon Hatchling: The missing link between the transf... by dxtrous on Saturday October 25, 2025 @10:50AM (#45704341)
Well spotted. Thank you!