Hacker News
new
|
comments
|
show
|
ask
|
jobs
|
submit
login
user:
Ericson2314
created:
April 1, 2013
karma:
957
about:
Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.
Nothing is more important than good abstractions.
submissions
comments
favorites
