I use Dialyzer a lot, and it has always been useful to expose various errors in my Erlang code. Unfortunately, I recently discovered an unexpected behaviour: by default, Dialyzer ignores unknown types. It is very surprising and suddently makes me doubt any piece of Erlang code I ever wrote. As it turns out, there is...

Mental Health, Psychology, and Personages In the summer of 2018, I took two free classes on Mental Health, (Mental Health First Aid and SafeTalk suicide prevention), Both courses were coincidentally hosted by churches. At the second class I was curious about how psychology and biblical principals interacted in such...