Explore the inner workings of modern ACID-compliant distributed databases in this 42-minute conference talk from Strange Loop. Delve into the fascinating aspects of FaunaDB's internal design, focusing on the Calvin protocol that ensures deterministic transaction application in distributed environments with minimal coordination. Learn how to scale Calvin for improved throughput and discover techniques to create a distributed transaction system independent of clocks. Examine the application of control theory, including PID controllers and Kálmán filters, to reduce latencies and enhance performance. Gain valuable insights from the speaker's experience in implementing FaunaDB and understand the challenges and solutions in creating a modern, distributed, ACID-compliant database system.