this is one of my favorite tech talks of all time. I love talking to coworkers and other humans about where they think “correctness” comes from.