Nothing like a bug behind a safety feature :) | Hacker News

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

		mamcx on Oct 19, 2019 \| parent \| context \| favorite \| on: D at 20: Hits and Misses [pdf] Nothing like a bug behind a safety feature :)

elgenie on Oct 19, 2019 | [–]

That’s … not a bug.

A buggy assertion would be one that fires when the input is correct.

Assertions aren’t formal verifiers or replacements for a test suite.

squarefoot on Oct 19, 2019 | [–]

Obligatory reference:)

https://www.youtube.com/watch?v=sVyRkl5qNb8

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact