H
F
Articles from verdagon.dev
Articles from verdagon.dev
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Articles from
verdagon.dev
Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness
(
verdagon.dev
)
2024-6-18
Exploring Seamless Rust Interop for Newer Languages, Part 1
(
verdagon.dev
)
2024-5-25
Rust
Higher RAII, and the Seven Arcane Uses of Linear Types
(
verdagon.dev
)
2024-5-14
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
(
verdagon.dev
)
2024-4-25
Vale's First Prototype for Immutable Region Borrowing
(
verdagon.dev
)
2023-7-12
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
(
verdagon.dev
)
2023-6-24
C++
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection
(
verdagon.dev
)
2023-6-16
The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading
(
verdagon.dev
)
2023-6-11
Cloud
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
(
verdagon.dev
)
2023-6-2
Implementing Vale's Region Borrowing, and its Unexpected Quest
(
verdagon.dev
)
2023-5-10
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
(
verdagon.dev
)
2023-1-17
Implementing a New Memory Safety Approach, Part 1
(
verdagon.dev
)
2022-12-1
Implementing a New Memory Safety Approach, Part 1
(
verdagon.dev
)
2022-11-23
Zero-Cost Memory Safety with Vale Regions (Preview)
(
verdagon.dev
)
2022-11-17
Hash Codes, Non-Determinism, and Other Eldritch Horrors
(
verdagon.dev
)
2022-11-10
When to Use Memory Safe Languages: Safety in Non-Memory-Safe Languages
(
verdagon.dev
)
2022-10-9
Vale's Hybrid-Generational Memory
(
verdagon.dev
)
2022-7-29
Previous Page
Next Page