Here are blog posts I've written for previous employers: Modeling State with TypeScript (2019) The Power of Types in Idris (2019) Connect "Fore!": Code Golf in Javascript (2017)