How to prove software correct using proof assistants. It will make you a better developer even if you never use it at work. And it is good fun. Like a puzzle game.