Faulty Towers, vibe sickness, and the vibe bobsled -- Dustycloud Brainstorms
发生了什么
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:…
摘要按规则整理自下方来源原文