Latest Post

Vim Navigation Visual Aids
Two configurations I rely on in vim to reduce cognative load when navigatin in 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.

casey@rampantmonkey.com