Hi. I'm Casey Robinson.
I enjoy playing games and writing software.
Vim Navigation Visual AidsTwo configurations I rely on in vim to reduce cognative load when navigatin in vim.
I am learning about line drawing algorithms and testing methods like property based testing and mutation testing.
I am reading through Practical TLA+ by Hillel Wayne to better understand how to apply formal methods.
If you have any comments, project ideas, or just want to chat download my PGP key and send me a message.