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 tpoacher on Wednesday April 15, 2026 @02:09AM (#47775285)
Weeeellll, teeeechnically, I didn't say "technically correct", I said "technically right".

(just kidding xD)

[ Parent | on HN ]
Re:Lean proved this program correct; then I found a bug by danparsonson on Wednesday April 15, 2026 @03:16AM (#47775705)
Haha dammit - I'll lose my membership at this rate
[ Parent | on HN ]