| | Chasing the Myth of Zero-Overhead Memory Safety (verdagon.dev) |
| 1 point by cmbothwell 7 months ago | past |
|
| | Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches (verdagon.dev) |
| 184 points by PotatoPancakes 7 months ago | past | 140 comments |
|
| | Borrow Checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev) |
| 3 points by gnyeki 9 months ago | past | 1 comment |
|
| | Crossing the impossible FFI boundary, and my gradual descent into madness (verdagon.dev) |
| 106 points by signa11 on June 17, 2024 | past | 41 comments |
|
| | Exploring Seamless Rust Interop for Newer Languages, Part 1 (verdagon.dev) |
| 1 point by PaulHoule on May 31, 2024 | past |
|
| | Exploring Seamless Rust Interop for Newer Languages (verdagon.dev) |
| 2 points by ingve on May 26, 2024 | past |
|
| | Exploring Seamless Rust Interop for Newer Languages, Part 1 (verdagon.dev) |
| 8 points by todsacerdoti on May 24, 2024 | past | 2 comments |
|
| | Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev) |
| 2 points by verdagon on May 15, 2024 | past |
|
| | Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev) |
| 5 points by one-punch on May 15, 2024 | past |
|
| | Higher RAII and the seven arcane uses of linear types (verdagon.dev) |
| 99 points by agluszak on May 14, 2024 | past | 46 comments |
|
| | Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev) |
| 10 points by ingve on May 14, 2024 | past | 1 comment |
|
| | Borrow Checking, RC, GC, and the Eleven () Other Memory Safety Approaches (verdagon.dev) |
| 189 points by todsacerdoti on April 24, 2024 | past | 68 comments |
|
| | Chasing the Myth of Zero-Overhead Memory Safety (verdagon.dev) |
| 1 point by cyber_kinetist on Sept 30, 2023 | past |
|
| | Vale's first prototype for immutable region borrowing (verdagon.dev) |
| 395 points by modernerd on July 12, 2023 | past | 139 comments |
|
| | Making C++ safe without borrow checking, reference counting, or tracing GC (verdagon.dev) |
| 275 points by jandeboevrie on June 23, 2023 | past | 214 comments |
|
| | Chasing the Myth of Zero-Overhead Memory Safety (verdagon.dev) |
| 4 points by obl on June 20, 2023 | past | 1 comment |
|
| | Memory safety without borrow checking, reference counting, or garbage collection (verdagon.dev) |
| 111 points by modernerd on June 16, 2023 | past | 93 comments |
|
| | Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev) |
| 3 points by verdagon on June 15, 2023 | past | 1 comment |
|
| | What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (verdagon.dev) |
| 4 points by pjmlp on June 2, 2023 | past |
|
| | What Vale taught me about linear types, borrowing, and memory safety (verdagon.dev) |
| 126 points by generichuman on June 1, 2023 | past | 12 comments |
|
| | Implementing Vale's Region Borrowing, and Its Unexpected Quest (verdagon.dev) |
| 2 points by Miaourt on May 9, 2023 | past |
|
| | How to Survive Your Project's First 100k Lines (verdagon.dev) |
| 214 points by swah on May 3, 2023 | past | 81 comments |
|
| | How Memory safety approaches speed up and slow down development velocity (verdagon.dev) |
| 141 points by signa11 on Jan 17, 2023 | past | 137 comments |
|
| | Memory Safety Approaches Speed Up and Slow Down Development Velocity (verdagon.dev) |
| 2 points by diegocg on Jan 16, 2023 | past |
|
| | Implementing a New Memory Safety Approach, Part 1 (verdagon.dev) |
| 5 points by verdagon on Nov 22, 2022 | past |
|
| | Zero-Cost Memory Safety with Vale Regions (Preview) (verdagon.dev) |
| 4 points by karterk on Nov 18, 2022 | past |
|
| | Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev) |
| 31 points by GarethX on Nov 10, 2022 | past | 5 comments |
|
| | Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev) |
| 3 points by verdagon on Nov 9, 2022 | past |
|
| | When to use memory safe languages (verdagon.dev) |
| 27 points by azhenley on Oct 8, 2022 | past | 57 comments |
|
| | Vale's Hybrid-Generational Memory (verdagon.dev) |
| 1 point by todsacerdoti on July 28, 2022 | past |
|
|
| More |
