Hacker News new | past | comments | ask | show | jobs | submit login
user:gdp
created:August 6, 2009
karma: 847
about: Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

submissions
comments
favorites