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