The article presents a list of 'cold showers' for various overhyped topics in software development, such as formal verification, static typing, and microservices. Each topic includes a 'hype' statement, a 'shower' that provides a counterpoint or a more nuanced view, and 'caveats' that acknowledge potential limitations or exceptions. The list aims to provide a balanced perspective on these topics and encourage critical thinking. The article also includes a range of other topics, such as the performance of big data systems and the scalability of cloud computing.