This is a place to host some of my thoughts and ideas. I’m a software engineer with a passion for programming languages, formal methods, editors, good UX and simplicity.