formal methods

Matt Gray and Tom Scott review how viewers worked out where they watched the 2017 solar eclipse from, based on clues in their video. They go through the methods people used and how accurate the guesses were.

Valve News Network goes through over twenty accounts from ex-Valve employees, mostly from Glassdoor, about what it is like to work at Valve. It covers the company's flat structure and culture.

A Last Week Tonight segment on union busting that explains the tactics employers use and why they face few consequences. It is delivered as comedic commentary.

A John Oliver Last Week Tonight segment on how forensic science used in criminal trials is often unscientific. It looks at unreliable methods and lab malpractice, and ends with a joke about a TV procedural that might change public perception.