corpus.blog
54,302 blogs · [ { "id": "01a0d4a7-f639-7322-bc14-77c645230e61", "title": "The Golden Spike, and Resurrecting the Vale(n) Programming Language", "url": "https://verdagon.dev/blog/golden-spike-reviving-vale-valen", "published_at": "2026-09-17T06:20:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a6073b459", "title": "Ante: A New Way to Blend Borrow Checking and Reference Counting", "url": "https://verdagon.dev/blog/ante-blending-borrowing-rc", "published_at": "2026-06-28T06:20:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a607abea5", "title": "The Impossible Optimization, and the Metaprogramming To Achieve It", "url": "https://verdagon.dev/blog/impossible-optimization", "published_at": "2025-08-28T06:20:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a61688a7b", "title": "Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions", "url": "https://verdagon.dev/blog/group-borrowing", "published_at": "2025-08-28T06:20:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a619b879e", "title": "On Joining the Mojo Compiler Team", "url": "https://verdagon.dev/blog/on-joining-mojo-compiler-team", "published_at": "2025-08-28T06:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a6211f2ec", "title": "Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness", "url": "https://verdagon.dev/blog/exploring-seamless-rust-interop-part-2", "published_at": "2024-06-17T06:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a62847b8c", "title": "Exploring Seamless Rust Interop for Newer Languages, Part 1", "url": "https://verdagon.dev/blog/exploring-seamless-rust-interop-part-1", "published_at": "2024-05-28T06:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a62b9c4bd", "title": "Higher RAII, and the Seven Arcane Uses of Linear Types", "url": "https://verdagon.dev/blog/higher-raii-uses-linear-types", "published_at": "2024-05-14T06:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a633a2499", "title": "Layer-wise inferencing + batching: Small VRAM doesn't limit LLM throughput anymore", "url": "https://verdagon.dev/blog/llm-throughput-not-ram-limited", "published_at": "2024-05-14T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a64096ac0", "title": "Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches", "url": "https://verdagon.dev/grimoire/grimoire", "published_at": "2024-04-24T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a64f5633a", "title": "Vale's First Prototype for Immutable Region Borrowing", "url": "https://verdagon.dev/blog/first-regions-prototype", "published_at": "2023-07-16T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a65ebea8a", "title": "Generational References (Expanded)", "url": "https://verdagon.dev/blog/generational-references", "published_at": "2023-07-11T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a65fc163a", "title": "Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection", "url": "https://verdagon.dev/blog/vale-memory-safe-cpp", "published_at": "2023-06-27T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a66712996", "title": "Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!)", "url": "https://verdagon.dev/blog/myth-zero-overhead-memory-safety", "published_at": "2023-06-20T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a675c4999", "title": "Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection", "url": "https://verdagon.dev/blog/single-ownership-without-borrow-checking-rc-gc", "published_at": "2023-06-20T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a67dd608a", "title": "The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading", "url": "https://verdagon.dev/blog/generics-compile-times", "published_at": "2023-06-13T05:00:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a681da613", "title": "What Vale Taught Me About Linear Types, Borrowing, and Memory Safety", "url": "https://verdagon.dev/blog/linear-types-borrowing", "published_at": "2023-06-06T16:04:00+00:00" }, { "id": "01a08c5c-4a7b-703e-b1e4-0b7a68844339", "title": "An Unexpected Quest in Implementing Vale's Region Borrowing", "url": "https://verdagon.dev/blog/making-regions-part-2-generics", "published_at": "2023-05-09T19:04:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cfc103751", "title": "How To Survive Your Project's First 100,000 Lines", "url": "https://verdagon.dev/blog/first-100k-lines", "published_at": "2023-05-02T17:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cfcee3c37", "title": "How Memory Safety Approaches Speed Up and Slow Down Development Velocity", "url": "https://verdagon.dev/blog/when-to-use-memory-safe-part-2", "published_at": "2023-01-16T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cfd50ead2", "title": "Implementing a New Memory Safety Approach, Part 1", "url": "https://verdagon.dev/blog/making-regions-part-1-human-factor", "published_at": "2022-11-23T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cfe0197b2", "title": "Zero-Cost Memory Safety with Vale Regions (Preview)", "url": "https://verdagon.dev/blog/zero-cost-borrowing-regions-overview", "published_at": "2022-11-16T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cfed66deb", "title": "Hash Codes, Non-Determinism, and Other Eldritch Horrors", "url": "https://verdagon.dev/blog/generics-hash-codes-horrors", "published_at": "2022-11-09T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cff91d5c5", "title": "When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languages", "url": "https://verdagon.dev/blog/when-to-use-memory-safe-part-1", "published_at": "2022-10-07T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806cffb27d44", "title": "Perfect Replayability", "url": "https://verdagon.dev/blog/perfect-replayability-prototyped", "published_at": "2022-06-30T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d007498e7", "title": "Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigation", "url": "https://verdagon.dev/blog/fearless-ffi", "published_at": "2022-06-23T14:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d01153460", "title": "Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules, Faster Compiles, set Keyword", "url": "https://verdagon.dev/blog/version-0.2-released", "published_at": "2022-05-12T16:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d01823b5c", "title": "Added to Vale 0.2 Beta: Concept Functions", "url": "https://verdagon.dev/blog/concept-functions", "published_at": "2022-05-04T15:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d01c6a741", "title": "Const Generics and the Compile Time Spread Operator", "url": "https://verdagon.dev/blog/const-generics-spread", "published_at": "2022-04-27T16:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d025a27ca", "title": "On Removing Let and Let Mut", "url": "https://verdagon.dev/blog/on-removing-let-let-mut", "published_at": "2022-04-20T16:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d02835a38", "title": "A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game", "url": "https://verdagon.dev/blog/yak-shave-language-engine-game", "published_at": "2022-04-07T16:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d032cda9d", "title": "Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale", "url": "https://verdagon.dev/blog/surprising-weak-refs", "published_at": "2022-03-31T20:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d03bb6852", "title": "Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge", "url": "https://verdagon.dev/blog/higher-raii-7drl", "published_at": "2022-03-28T20:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d04979f5c", "title": "Seamless, Fearless, and Structured Concurrency", "url": "https://verdagon.dev/blog/seamless-fearless-structured-concurrency", "published_at": "2022-03-21T20:15:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d04e7107f", "title": "Vale's Hybrid-Generational Memory", "url": "https://verdagon.dev/blog/hybrid-generational-memory", "published_at": "2021-01-02T16:00:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d05ae196e", "title": "Zero-Cost References with Regions in Vale", "url": "https://verdagon.dev/blog/zero-cost-refs-regions", "published_at": "2020-07-29T16:00:00+00:00" }, { "id": "01a08c5c-4a7c-722a-8bc5-806d05d774dd", "title": "The Next Steps for Single Ownership and RAII", "url": "https://verdagon.dev/blog/raii-next-steps", "published_at": "2020-07-15T16:00:00+00:00" } ] posts Claim your blog
Back to verdagon.dev
Blog · corpus.blog/blogs/verdagon.dev/posts

verdagon.dev

verdagon.dev

2026

The Golden Spike, and Resurrecting the Vale(n) Programming Languageoriginal ↗
17 Sept 2026
Ante: A New Way to Blend Borrow Checking and Reference Countingoriginal ↗
28 Jun 2026

2025

The Impossible Optimization, and the Metaprogramming To Achieve Itoriginal ↗
28 Aug 2025
Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictionsoriginal ↗
28 Aug 2025
On Joining the Mojo Compiler Teamoriginal ↗
28 Aug 2025

2024

Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madnessoriginal ↗
17 Jun 2024
Exploring Seamless Rust Interop for Newer Languages, Part 1original ↗
28 May 2024
Higher RAII, and the Seven Arcane Uses of Linear Typesoriginal ↗
14 May 2024
Layer-wise inferencing + batching: Small VRAM doesn't limit LLM throughput anymoreoriginal ↗
14 May 2024
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approachesoriginal ↗
24 Apr 2024

2023

Vale's First Prototype for Immutable Region Borrowingoriginal ↗
16 Jul 2023
Generational References (Expanded)original ↗
11 Jul 2023
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collectionoriginal ↗
27 Jun 2023
Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!)original ↗
20 Jun 2023
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collectionoriginal ↗
20 Jun 2023
The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloadingoriginal ↗
13 Jun 2023
What Vale Taught Me About Linear Types, Borrowing, and Memory Safetyoriginal ↗
6 Jun 2023
An Unexpected Quest in Implementing Vale's Region Borrowingoriginal ↗
9 May 2023
How To Survive Your Project's First 100,000 Linesoriginal ↗
2 May 2023
How Memory Safety Approaches Speed Up and Slow Down Development Velocityoriginal ↗
16 Jan 2023

2022

Implementing a New Memory Safety Approach, Part 1original ↗
23 Nov 2022
Zero-Cost Memory Safety with Vale Regions (Preview)original ↗
16 Nov 2022
Hash Codes, Non-Determinism, and Other Eldritch Horrorsoriginal ↗
9 Nov 2022
When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languagesoriginal ↗
7 Oct 2022
Perfect Replayabilityoriginal ↗
30 Jun 2022
Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigationoriginal ↗
23 Jun 2022
Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules, Faster Compiles, set Keywordoriginal ↗
12 May 2022
Added to Vale 0.2 Beta: Concept Functionsoriginal ↗
4 May 2022
Const Generics and the Compile Time Spread Operatororiginal ↗
27 Apr 2022
On Removing Let and Let Mutoriginal ↗
20 Apr 2022
A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Gameoriginal ↗
7 Apr 2022
Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Valeoriginal ↗
31 Mar 2022
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challengeoriginal ↗
28 Mar 2022
Seamless, Fearless, and Structured Concurrencyoriginal ↗
21 Mar 2022

2021

Vale's Hybrid-Generational Memoryoriginal ↗
2 Jan 2021

2020

Zero-Cost References with Regions in Valeoriginal ↗
29 Jul 2020
The Next Steps for Single Ownership and RAIIoriginal ↗
15 Jul 2020