| 1. | | Auditing Electron Apps with Bananatron (muffin.ink) |
| 3 points by remexre 69 days ago | past |
|
| 2. | | Rustc Implements "Super Let" (github.com/rust-lang) |
| 1 point by remexre 83 days ago | past |
|
| 3. | | Catgrad: A categorical deep learning compiler (catgrad.com) |
| 77 points by remexre 4 months ago | past | 16 comments |
|
| 4. | | Clang now more aggressively uses undefined behavior on pointer addition overflow (github.com/llvm) |
| 4 points by remexre 5 months ago | past | 1 comment |
|
| 5. | | The Open Source Evolvable Hardware Project (evolvablehardware.org) |
| 2 points by remexre 5 months ago | past |
|
| 6. | | The Rocq Prover (rocq-prover.org) |
| 4 points by remexre 6 months ago | past |
|
| 7. | | A Minimal TTL Processor for Architecture Exploration (1994) (bradrodriguez.com) |
| 2 points by remexre 8 months ago | past |
|
| 8. | | SeqDiffuSeq: Text Diffusion with Encoder-Decoder Transformers (arxiv.org) |
| 1 point by remexre on Aug 17, 2023 | past |
|
| 9. | | O-expressions: An alternative to s-expressions for extensible syntax (breuleux.net) |
| 5 points by remexre on March 8, 2023 | past |
|
| 10. | | The Organization of Networks in Plan 9 (cat-v.org) |
| 6 points by remexre on Sept 7, 2022 | past |
|
| 11. | | Rustc: Add do yeet expressions to allow experimentation in nightly (github.com/rust-lang) |
| 78 points by remexre on May 6, 2022 | past | 60 comments |
|
| 12. | | Claudian Letters (wikipedia.org) |
| 1 point by remexre on Sept 1, 2021 | past |
|
| 13. | | Capsicum(4) (freebsd.org) |
| 2 points by remexre on Aug 14, 2021 | past |
|
| 14. | | Common Lisp HyperSpec: Notes about Style for [Comments] (lispworks.com) |
| 1 point by remexre on June 8, 2021 | past |
|
| 15. | | The Next 700 Module Systems [pdf] (github.com/alhassy) |
| 4 points by remexre on May 24, 2021 | past |
|
| 16. | | Elementary Programming (michaelpj.com) |
| 1 point by remexre on Jan 8, 2021 | past |
|
| 17. | | Dealing with Developers (medium.com/php_ceo) |
| 4 points by remexre on Dec 29, 2020 | past | 1 comment |
|
| 18. | | “The Other America” (1967) (youtube.com) |
| 2 points by remexre on May 29, 2020 | past |
|
