This is my personal website and blog. My current interests are: Distributed systems and Type theory. My day to day language is C#, recently developed interest in Haskell and Idris. Converted to Linux, huge fan of i3