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 nathell on Tuesday April 14, 2026 @07:13AM (#47764047)
Gentle reminder about this excerpt from HN Guidelines:

> Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that".

[ Parent | on HN ]
Re:Lean proved this program correct; then I found a bug by danparsonson on Tuesday April 14, 2026 @07:45AM (#47764350)
Noted, thank you
[ Parent | on HN ]