Calling him stupid is really elevating the debate. I agree having to bow exclusi... | Hacker News

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

bestouff 4 months ago | parent | context | favorite | on: Coq theorem prover is now called Rocq

Calling him stupid is really elevating the debate. I agree having to bow exclusively to American sensitivity without any reciprocity is infuriating.

adw 4 months ago [–]

He did a stupid thing. Doesn’t make him stupid, but the action is. (Also this is a stock phrase.)

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