alt Hacker NewsThis is vapid condescension.
The comment you replied to made no statements about math or proofs. They made a statement about working in systems of non determinism effectively. Your statement seems to imply that this is dumb, as if working in a world of full determinism is an option.
Replies
vrighter • today at 10:50 AM
when you do have the option of determinism, but intentionally eschew it in favour of a strictly inferior nondeterministic tool, then yes, it is kinda dumb.
➕ show 2 replies
Thank you for "vapid condescension".
I've wanted a term for this for decades!