I am big data engineer at Sanoma Digital BV with interests in functional programming, type theory and mathematics (and physics) in general.