I decided to start a new series about better understanding Dialyzer. The first post in the series goes through understanding the no_return and call warnings.

http://devonestes.herokuapp.com/decoding-dialyzer