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 IshKebab on Tuesday April 14, 2026 @11:19AM (#47766806)
Yeah well he shouldn't. That looks like slop tbf.
[ Parent | on HN ]

There are no comments on this comment yet.