gdp

848 karmajoined August 6, 2009On HN

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

Recent submissions

"It's a hardware problem" is a programmer problem plsadventures.com
2gdp16ydiscuss
What are the semantics of your favourite programming language?plsadventures.com
17gdp16y20 comments
The state of the world (and why I still think it's a bad idea)plsadventures.com
1gdp16ydiscuss

All submissions and comments on Hacker News.