gdp

...joined 16 years ago, and has 848 karma

submissions / comments / favourites

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/