| | The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary (verdagon.dev) |
| 3 points by ibobev 8 days ago | past | discuss |
|
| | The Golden Spike, and Resurrecting the Vale(n) Programming Language (verdagon.dev) |
| 1 point by surprisetalk 15 days ago | past |
|
| | The Golden Spike, and Resurrecting the Vale(n) Programming Language (verdagon.dev) |
| 3 points by mpweiher 21 days ago | past |
|
| | The Golden Spike, and Resurrecting the Vale(n) Programming Language (verdagon.dev) |
| 14 points by tommymcm 22 days ago | past |
|
| | Borrow Checking, RC, GC, and the Eleven Other Memory Safety Approaches (2024) (verdagon.dev) |
| 2 points by Tomte 25 days ago | past |
|
| | Vale's Higher RAII (verdagon.dev) |
| 2 points by ravenical 3 months ago | past |
|
| | Ante: A new way to blend borrow checking and reference counting (verdagon.dev) |
| 2 points by surprisetalk 3 months ago | past | 1 comment |
|
| | Ante: A New Way to Blend Borrow Checking and Reference Counting (verdagon.dev) |
| 5 points by ingve 3 months ago | past |
|
| | Ante: A new way to blend borrow checking and reference counting (verdagon.dev) |
| 124 points by g0xA52A2A 3 months ago | past | 29 comments |
|
| | How to Survive Your Project's First 100k Lines (verdagon.dev) |
| 2 points by randomrainbow 7 months ago | past |
|
| | What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023) (verdagon.dev) |
| 2 points by kunley 8 months ago | past |
|
| | Vale's Memory Safety Strategy: Generational References and Regions (verdagon.dev) |
| 1 point by mrunix 11 months ago | past |
|
| | The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev) |
| 73 points by melodyogonna 11 months ago | past | 26 comments |
|
| | The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev) |
| 9 points by verdagon 11 months ago | past | 1 comment |
|
| | On Joining the Mojo Compiler Team (verdagon.dev) |
| 3 points by ingve on Aug 28, 2025 | past |
|
| | Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev) |
| 85 points by verdagon on Aug 28, 2025 | past | 86 comments |
|
| | Chasing the Myth of Zero-Overhead Memory Safety (verdagon.dev) |
| 1 point by cmbothwell on Dec 21, 2024 | past |
|
| | Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches (verdagon.dev) |
| 184 points by PotatoPancakes on Dec 16, 2024 | past | 140 comments |
|
| | Borrow Checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev) |
| 3 points by gnyeki on Oct 28, 2024 | 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 |
|
|
| More |
