You remember the first time you played Castlevania. The pixel-perfect jumps, the music that made your heart race, the rage quit when you missed a candle. Now imagine a machine that doesn’t even try to play the game. It just searches for the moment the game forgets its own rules. And it wins.
That machine is Antithesis — a deterministic simulation tool built to find bugs. But when pointed at Castlevania, it didn’t just find bugs. It found a path to victory. The same way a speedrunner does: by treating the game as a state machine with no sacred rules.
The enforcer of correctness becomes the tool for breaking the game’s intended challenge.
Think about that. Antithesis is designed to make software reliable. Yet here, reliability is the enemy. The game’s ‘bugs’ are exactly what make victory possible. Every glitch, every frame-perfect exploit, every collision that shouldn’t happen — that’s the winning path.
Speedrunners have known this for decades. They don’t ‘master’ the game — they dissect it. They find the edge cases, the off-by-one errors, the unexpected state transitions. The difference is that Antithesis does it without a controller. It industrializes the intuition of a speedrunner.
We think of speedrunners as virtuosos of timing. They’re actually forensic analysts of edge cases. And now a machine can do what they do, but at scale. Castlevania, that beloved Metroidvania (so called because it’s a game in a castle, as one commenter hilariously noted), becomes just another state space to search.
For engineers, this is a wake-up call. Every software system has a Castlevania inside it — a set of assumptions that can be broken. The question isn’t ‘Will someone find the exploit?’ It’s ‘Who finds it first? A human speedrunner or a deterministic fuzzer?’
Antithesis doesn’t just automate testing. It industrializes the intuition of a speedrunner.
So the next time you see a world record speedrun, don’t think of it as skill. Think of it as a bug hunt. And remember: the machine is already faster. It’s just waiting for the right game.
FAQ
Q: Isn't this just a fancy way to cheat at games?
A: It looks like cheating, but it's not. Antithesis treats the game as a system with no sacred rules — exactly what a speedrunner does. The difference is that the machine finds the exploit faster and with zero human intuition. It's a demonstration of how all systems (games, software, protocols) can be broken by exploring unintended states.
Q: What's the practical takeaway for engineers?
A: If you're building software, assume someone will find the edge case you didn't think of. The same technique that beats Castlevania can find your 0-day. Use deterministic simulation to explore every possible state before your users do. Speedrunners are the best testers you'll never hire.
Q: Does this mean speedrunners aren't actually skilled?
A: Not at all. Speedrunners are incredibly skilled — but their skill is in recognizing and exploiting system behavior, not in mastering intended mechanics. Calling them 'bug hunters' is a compliment. The machine just proves that the approach is generalizable and can be automated. Human speedrunners will always have creativity the machine lacks.