I would like to give a quick shout out to Aaron Aron and his blog aronwith1a.com. This has nothing to do with the fact that I get to use the tags haskell, maths and agda.

If you enjoy quality original content about Haskell, Maths, formal methods or riddles, go check it out. This is a post he wrote for Oxidizing Systems about Haskell.