A talk about writing code with confidence thanks to type annotations and autoformatters and stuff.