Everything Has Bugs. Here’s How Antithesis Catches Them. (Marco Primi)
CMU Database Group · 61:02
Marco from Antithesis argues that distributed systems are inherently riddled with subtle bugs because of fundamental limits like the Two Generals problem, and that conventional example-based tests miss them. Antithesi...