November 17, 2018MiscellaneousIn which we discuss:How could we make Overtime better?How valuable are timeouts?