About

Hello and welcome to my musings on functional programming!

I began this blog mostly to document my studies in Haskell and Type Theory as these are what deeply interest me. Though, you may find some OCaml sprinkled in here and there. I do outside of FP oriented programming delve into low level development in assembly language.

In my spare time I like to read, write and relax with my family. I do maintain some other sites like hexproof.sh which holds all the low level development I enjoy doing.

I went to BYU-I for a degree in Mathematics and realized very quickly how much I enjoy self study and learning at my own pace. In the words of John Nash:

Classes will dull your mind, destroy the potential for authentic creativity

while I do feel there is a few caveats to that statement.. In another life I would have went on and completed a PhD simply because I enjoy academics and would have loved to research and publish.