| 1. | | The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev) |
| 9 points by verdagon 4 months ago | past | 1 comment |
|
| 2. | | Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev) |
| 85 points by verdagon 6 months ago | past | 86 comments |
|
| 3. | | Understanding SIMD: Infinite complexity of trivial problems (modular.com) |
| 257 points by verdagon on Nov 25, 2024 | past | 116 comments |
|
| 4. | | Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev) |
| 2 points by verdagon on May 15, 2024 | past |
|
| 5. | | The Type of Sprintf (ryanbrewer.dev) |
| 13 points by verdagon on May 14, 2024 | past | 21 comments |
|
| 6. | | Rhovas: A programming language for API design and enforcement (rhovas.dev) |
| 2 points by verdagon on Sept 6, 2023 | past |
|
| 7. | | You Need More Constraints (borretti.me) |
| 3 points by verdagon on July 30, 2023 | past |
|
| 8. | | Five Years of Rhovas (willbanders.dev) |
| 1 point by verdagon on July 12, 2023 | past |
|
| 9. | | Experimenting with Memory Management for Basil (degaz.io) |
| 2 points by verdagon on June 17, 2023 | past |
|
| 10. | | Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev) |
| 3 points by verdagon on June 15, 2023 | past | 1 comment |
|
| 11. | | What’s the Smallest Variety of Cheri? (msrc-blog.microsoft.com) |
| 1 point by verdagon on Jan 25, 2023 | past |
|
| 12. | | Sources of Complexity: Constraints (hillelwayne.com) |
| 2 points by verdagon on Jan 24, 2023 | past |
|
| 13. | | Implementing a New Memory Safety Approach, Part 1 (verdagon.dev) |
| 5 points by verdagon on Nov 22, 2022 | past |
|
| 14. | | Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev) |
| 3 points by verdagon on Nov 9, 2022 | past |
|
| 15. | | What is Systems Programming, Really? (2018) (willcrichton.net) |
| 1 point by verdagon on June 30, 2022 | past |
|
| 16. | | Which Programming Languages Use the Least Electricity? (thenewstack.io) |
| 1 point by verdagon on June 30, 2022 | past | 1 comment |
|
| 17. | | Next-Gen Language Features: User Code on the GPU (verdagon.dev) |
| 2 points by verdagon on June 27, 2022 | past |
|
| 18. | | Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules (verdagon.dev) |
| 1 point by verdagon on May 13, 2022 | past |
|
| 19. | | Added to Vale 0.2 Beta: Concept Functions (verdagon.dev) |
| 2 points by verdagon on April 29, 2022 | past | 1 comment |
|
| 20. | | On removing let and let mut (verdagon.dev) |
| 33 points by verdagon on April 20, 2022 | past | 20 comments |
|
| 21. | | Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale (verdagon.dev) |
| 8 points by verdagon on April 2, 2022 | past | 2 comments |
|
| 22. | | Data races in Python, despite the Global Interpreter Lock (verdagon.dev) |
| 85 points by verdagon on Feb 21, 2022 | past | 70 comments |
|
| 23. | | Seamless, Fearless, and Structured Concurrency (verdagon.dev) |
| 1 point by verdagon on Feb 15, 2022 | past |
|
| 24. | | Generational references: 2.3x faster than reference counting (unoptimized) (vale.dev) |
| 11 points by verdagon on Jan 7, 2021 | past |
|
| 25. | | Vale's Generational References (vale.dev) |
| 14 points by verdagon on Jan 3, 2021 | past |
|
| 26. | | Zero-Cost References with Regions (vale.dev) |
| 6 points by verdagon on July 31, 2020 | past |
|
| 27. | | Zero-Cost References with Regions in Vale (vale.dev) |
| 3 points by verdagon on July 31, 2020 | past |
|
| 28. | | Zero-Cost References with Regions in Vale (vale.dev) |
| 4 points by verdagon on July 30, 2020 | past |
|
| 29. | | The Next Steps for Single Ownership and RAII (vale.dev) |
| 102 points by verdagon on July 17, 2020 | past | 38 comments |
|
| 30. | | The Next Steps for Single Ownership and RAII (vale.dev) |
| 5 points by verdagon on July 15, 2020 | past |
|
