"Beware of bugs in the above code; I have only proved it correct, not tried it."... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		srparish on July 8, 2012 \| parent \| context \| favorite \| on: Confession of a Haskell Hacker "Beware of bugs in the above code; I have only proved it correct, not tried it." -- Knuth

hobin on July 8, 2012 [–]

Touché. I see your point.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact