Fix link to joearms.github.io

Fixes a mistake in the link to Joe Armstrong's blog.