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.
Casey Robinson 2009 - 2019
Everything on this website is released into the public domain.
RSS Feed Public Key Source Code