Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
gdp | Better HN
gdp
848 karma
Joined August 6, 2009
327 submissions
Programming languages and formal methods geek.
http://plsadventures.blogspot.com/
