Today's "Andy at Sea" Database Seminar Speaker: Marco Primi will discuss how Antithesis automatically finds bugs in database systems (aka the most important software in the world). Public Zoom talk at 4:30pm ET. YouTube video available after: https://db.cs.cmu.edu/events/andy-at-sea-antithesis/