Languages and Architecture verdagon.dev

A blog on programming languages, software architecture, and Evan Ovadia's other shenanigans!

A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game
verdagon.dev·3h
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
verdagon.dev·3h
Heisenbugs: The most elusive kind of bug, and how to capture them with Perfect Replayability
verdagon.dev·3h
Fearless FFI: Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation
verdagon.dev·3h
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection
verdagon.dev·3h
The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading
verdagon.dev·3h
Added to Vale 0.2 Beta: Concept Functions
verdagon.dev·3h
Implementing a New Memory Safety Approach, Part 1
verdagon.dev·3h
When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languages
verdagon.dev·3h
Vale's First Prototype for Immutable Region Borrowing
verdagon.dev·3h
Exploring Seamless Rust Interop for Newer Languages, Part 1
verdagon.dev·3h
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
verdagon.dev·3h
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023)
verdagon.dev·8w·
Discuss: Hacker News
Vale's Memory Safety Strategy: Generational References and Regions
verdagon.dev·20w·
Discuss: Hacker News
Chasing the Myth of Zero-Overhead Memory Safety
verdagon.dev·64w·
Discuss: Hacker News
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·20w·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions
verdagon.dev·29w·
Discuss: Lobsters, Hacker News, r/programming, r/rust
On Joining the Mojo Compiler Team
verdagon.dev·29w·
Discuss: Hacker News
Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness
verdagon.dev·91w
Higher RAII, and the Seven Arcane Uses of Linear Types
verdagon.dev·96w

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help