| 1. | | CHERIoT Rust: Status update #0 (cheriot.org) |
| 3 points by remexre 11 days ago | past | discuss |
|
| 2. | | Anthropic: Who's in Charge? Disempowerment Patterns in Real-World LLM Usage (arxiv.org) |
| 2 points by remexre 38 days ago | past | 1 comment |
|
| 3. | | Clicks Power Keyboard (clicks.tech) |
| 1 point by remexre 58 days ago | past | 1 comment |
|
| 4. | | Scaling Latent Reasoning via Looped Language Models (arxiv.org) |
| 84 points by remexre 64 days ago | past | 15 comments |
|
| 5. | | Fzz Buzz Without I, I,;, or:? (remexre.com) |
| 3 points by remexre 3 months ago | past |
|
| 6. | | Auditing Electron Apps with Bananatron (muffin.ink) |
| 3 points by remexre 10 months ago | past |
|
| 7. | | Rustc Implements "Super Let" (github.com/rust-lang) |
| 1 point by remexre 11 months ago | past |
|
| 8. | | Catgrad: A categorical deep learning compiler (catgrad.com) |
| 77 points by remexre on Feb 3, 2025 | past | 16 comments |
|
| 9. | | Clang now more aggressively uses undefined behavior on pointer addition overflow (github.com/llvm) |
| 4 points by remexre on Jan 20, 2025 | past | 1 comment |
|
| 10. | | The Open Source Evolvable Hardware Project (evolvablehardware.org) |
| 2 points by remexre on Jan 16, 2025 | past |
|
| 11. | | The Rocq Prover (rocq-prover.org) |
| 4 points by remexre on Dec 25, 2024 | past |
|
| 12. | | A Minimal TTL Processor for Architecture Exploration (1994) (bradrodriguez.com) |
| 2 points by remexre on Oct 30, 2024 | past |
|
| 13. | | SeqDiffuSeq: Text Diffusion with Encoder-Decoder Transformers (arxiv.org) |
| 1 point by remexre on Aug 17, 2023 | past |
|
| 14. | | O-expressions: An alternative to s-expressions for extensible syntax (breuleux.net) |
| 5 points by remexre on March 8, 2023 | past |
|
| 15. | | The Organization of Networks in Plan 9 (cat-v.org) |
| 6 points by remexre on Sept 7, 2022 | past |
|
| 16. | | 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 |
|
| 17. | | Claudian Letters (wikipedia.org) |
| 1 point by remexre on Sept 1, 2021 | past |
|
| 18. | | Capsicum(4) (freebsd.org) |
| 2 points by remexre on Aug 14, 2021 | past |
|
| 19. | | Common Lisp HyperSpec: Notes about Style for [Comments] (lispworks.com) |
| 1 point by remexre on June 8, 2021 | past |
|
| 20. | | The Next 700 Module Systems [pdf] (github.com/alhassy) |
| 4 points by remexre on May 24, 2021 | past |
|
| 21. | | Elementary Programming (michaelpj.com) |
| 1 point by remexre on Jan 8, 2021 | past |
|
| 22. | | Dealing with Developers (medium.com/php_ceo) |
| 4 points by remexre on Dec 29, 2020 | past | 1 comment |
|
| 23. | | “The Other America” (1967) (youtube.com) |
| 2 points by remexre on May 29, 2020 | past |
|
