Keeping Up with the Algorithms (#SMTLive Recap)