I began this blog mostly to document my studies in Haskell and Type Theory as these subjects interest me the most. Though, you may find some OCaml sprinkled in throughout the blog. I do outside of FP oriented programming delve into low level development in C and assembly language.
I currently work in the credit industry as a backend software engineer and enjoy hacking on open source projects in my free time with my most notable contribution is the console IR brute force code for the FlipperZero
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.
Things I use
- Laptop Dell XPS 13 Plus 9320
- Keyboard Moonlander (black) w/ Blank keycaps & Platform
- Digital Notebook reMarkable Paper Pro 2
- Analog Notebook C.D Notebook
- Pen rOtring 800 black ballpoint
- OS NixOS (Unstable)
- Editor Emacs (Spacemacs)
- Terminal WezTerm
Contact
travis (at) travgm (dot) org