Ericson2314 8,110 karma 12y 11m on HN HN profile →
Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.

x should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. - R^nRS

Nothing is more important than good abstractions.

Haskell is practical; it pays my bills. (https://www.obsidian.systems/ is where I work.)
Coverage
We've seen 1 of ~5,006 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Show HN: Nix on Windows –- proof-of-concept demo (github.com)
9 points by Ericson2314 5 days ago | 0 comments | skipped