Hi. I'm Casey Robinson.
I enjoy playing games and writing software.
Modeling a Resource PoolRedesigning a service with TLA+.
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.