Welcome to my blog. I am an undergrad computer science student interested in systems programming,formal verification, cryptography, distributed systems and Interaction Nets. Here, you will find me writing about focus, productivity, and practical systems for getting meaningful work done.