The emperor with no clothes is... (Not on the list: OO, NoSQL-known to have no clothes, sexprs-clothed, badly)
-
Plenty of people will criticise C++ of any sort, FP, and even AI stuff. I find verification doesn't get that scrutiny so much.
verification was dead last in the poll, big boost since your reply. IMO it gets the least scrutiny because it's the least common
-
-
formal verification is less hyped because nobody thinks we know how to do it yet (much)
-
and on the other side, when we figure out how to do it well enough, it becomes invisible — like the AI goalpost move
- 2 more replies
New conversation -
-
-
I admit I had to think about what "has no clothes" really means before settling on that one.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also, I suspect verification is probably the least scrutable by laypeople and most "obviously benign" by name.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.