| user: | Ericson2314 |
| created: | April 1, 2013 |
| karma: | 8.1k |
| about: | 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.) |
| 1. | Show HN: Nix on Windows –- proof-of-concept demo(github.com) |