Hacker News
new
|
comments
|
show
|
ask
|
jobs
|
submit
login
user:
Ericson2314
created:
1543 days ago
karma:
914
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
