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 …
-
-
-
Replying to @chaosprime @generativist
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
1 reply 0 retweets 2 likes -
Replying to @chaosprime
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.
1 reply 0 retweets 1 like -
Replying to @generativist
yeah, i was thinking of something like a testing flag for hash functions that makes them collide all the time
1 reply 0 retweets 1 like -
Replying to @chaosprime
These are fun ideas that I have no business entertaining right now, but surely will spend time deep googling later today.
1 reply 0 retweets 2 likes -
Replying to @generativist
sufficiently advanced absurdist pranking is indistinguishable from engineering for testability
2 replies 3 retweets 15 likes -
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.
