News for hackers. Stuff that matters.

A comment on Lean proved this program correct; then I found a bug. Parent comment

Re:Lean proved this program correct; then I found a bug by ctmnt on Tuesday April 14, 2026 @06:05AM (#47763539)
Sure, but are you worried about someone cheating on their arXiv submission by exploiting a buffer overflow? It’s a real bug, it’s just not very important.
[ Parent | on HN ]

There are no comments on this comment yet.