Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
user:
gdp
created:
August 6, 2009
karma:
848
about:
Programming languages and formal methods geek.
http://plsadventures.blogspot.com/
submissions
comments
favorites
