| 1. | | A (Haskell DSL) stream language for generating hard Real-Time C code (copilot-language.github.io) |
| 4 points by zeronone on Oct 30, 2019 | past |
|
| 2. | | Unisonweb – New year updates (unisonweb.org) |
| 2 points by zeronone on Jan 12, 2019 | past |
|
| 3. | | Donald Trump – Google Scholar Citations (scholar.google.com) |
| 1 point by zeronone on May 4, 2018 | past |
|
| 4. | | [video] Zig – a programming language designed for robustness, optimality (youtube.com) |
| 2 points by zeronone on April 7, 2018 | past |
|
| 5. | | Why Rust ditched pure functions (mail.mozilla.org) |
| 61 points by zeronone on Dec 22, 2016 | past | 4 comments |
|
| 6. | | Does remote job means offshore jobs? |
| 2 points by zeronone on Nov 13, 2016 | past |
|
| 7. | | Type Systems and Logic (recurse.com) |
| 5 points by zeronone on Oct 29, 2016 | past | 1 comment |
|
