Faulty Towers, vibe sickness, and the vibe bobsled -- Dustycloud Brainstorms
What happened
submitted by HaraldvonBlauzahn to technology 1 points | 0 comments https://dustycloud.org/blog/faulty-towers-vibe-sickness-and-the-vibe-bobsled/ cross-posted from: feddit.org/post/35091193 Ka-Ping constructs a model voting machine, and decides to see how hard it would be to verify that we know it behaves correctly. To push that exploration to its furthest, Ka-Ping Yee and David Wagner try an interesting experiment:…
Summary assembled by rule from the sources below