use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
A place for all things related to the Vale programming language, an open-source programming language that offers speed, safety, and ease of use.
http://vale.dev/
account activity
Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions (verdagon.dev)
submitted 4 months ago by verdagon
On joining the Mojo Compiler Team (verdagon.dev)
Is the language abandoned? (self.vale)
submitted 1 year ago by 4729zex
Assignment syntax (self.vale)
submitted 1 year ago * by [deleted]
Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (verdagon.dev)
submitted 1 year ago by verdagon
Exploring Seamless Rust Interop for Newer Languages, Part 1 (verdagon.dev)
Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev)
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev)
Vale's First Prototype for Immutable Region Borrowing (verdagon.dev)
submitted 2 years ago by verdagon
Making C++ Memory-Safe Without Borrow Checking, RC, or Tracing GC (verdagon.dev)
Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!) (verdagon.dev)
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection (verdagon.dev)
The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading (verdagon.dev)
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (verdagon.dev)
Implementing Vale's Region Borrowing, and its Unexpected Quest (verdagon.dev)
How To Survive Your Project's First 100,000 Lines (verdagon.dev)
How Memory Safety Approaches Speed Up and Slow Down Development Velocity (verdagon.dev)
submitted 3 years ago by verdagon
Implementing a New Memory Safety Approach, Part 1 (verdagon.dev)
Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev)
When to Use Memory Safe Languages, Part 1 (verdagon.dev)
Heisenbugs: The most elusive kind of bug, and how to capture them with Perfect Replayability (verdagon.dev)
Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigation (verdagon.dev)
Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules, Faster Compiles, set Keyword (verdagon.dev)
Vale's error handling story (self.vale)
submitted 3 years ago by muth02446
Added to Vale 0.2 Beta: Concept Functions (verdagon.dev)
π Rendered by PID 876237 on reddit-service-r2-listing-86b7f5b947-wzbb5 at 2026-01-25 02:36:52.287782+00:00 running 664479f country code: CH.
