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