Latest Post

Miscellaneous Vim Ideas
A handful of small efficiency gains with vim

View Post →

Project Underway

I am learning about line drawing algorithms and testing methods like property based testing and mutation testing.

Source Code →

Reading List

I am reading through Practical TLA+ by Hillel Wayne to better understand how to apply formal methods.

Book Website →

Contact Me

If you have any comments, project ideas, or just want to chat download my PGP key and send me a message.