PLT or HCI folks: Is there a name for a language feature like this, that uses indeterminacy as an almost implicit, iterative quickcheck to guard against bugs and bad assumptions? I really like it.https://twitter.com/zekjur/status/1085935862595178502 …
-
-
I like that. And I want more of it. Inject it everywhere and give me a, --no-nonguarantee-explication flag as part of -O3
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
like, if your system doesn't provide a guarantee but under common circumstances could easily be mistaken for providing one, disrupt that appearance wonder if there's any way this could have been performed for hash collision
-
Or, for race condition identification. It'd be a lot harder to engineer, but I'd like some random exponentially distributed wait time injected for non-atomic operations on shared variables so things fail loudly and with higher probability during dev.
- 5 more replies
New conversation -
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.