Software architect, hobbyist game developer, ex-googler, and lead for the Vale Programming Language!
Joined October 2019
- Tweets 26
- Following 3
- Followers 271
- Likes 3
1 Photos and videos
27 Oct 2025
New article!
verdagon.dev/blog/impossible…
"The Impossible Optimization, and the Metaprogramming To Achieve It"
TL;DR: If you warp your mind a bit, you can apply metaprogramming to speed up your code by about ~10x.
Enjoy!
4
1
18
1,260
28 Aug 2025
Just posted a new article! verdagon.dev/blog/group-borr…
"Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions"
TL;DR: Nick Smith's epic approach to better borrow checking. Take a look!
2
7
876
17 Jun 2024
I *really* went off the deep end on this one. But it works, and in theory we can now build on top Rust's ecosystem!
verdagon.dev/blog/exploring-…
"Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness"
1
2
553
14 May 2024
Pretty proud of this technique! (though I'm not the first to find it)
verdagon.dev/blog/llm-throug…
Basically, batching layer-wise inferencing from disk, which means we can run large LLMs on tiny devices without losing throughput.
2
525
Behold! Higher RAII, and the Seven Arcane Uses of Linear Types: verdagon.dev/blog/higher-rai…
It turns out, you unlock pretty sorcerous powers when you make it so only specific functions can destroy a certain type.
Also, it's very weird that a language could help with caching.
2
1
13
857
24 Apr 2024
New article! "Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches"
verdagon.dev/grimoire/grimoi…
I'm starting to sense a theme in my articles: a lot of archaeology metaphors. Hopefully nobody notices!
1
1
4
385
18 Apr 2024
Had a ton of fun talking linear types, regions, and Vale with @krisajenkins (of Developer Voices), always enjoy geeking out with fellow programmers about the weird directions programming can go!
youtube.com/watch?v=UavYVf0U…
2
9
740
At long last, the first prototype of immutable region borrowing in Vale! verdagon.dev/blog/first-regi…
This technique removes Vale's memory safety overhead by making borrowing and shared mutability work well together.
2
1
8
603
23 Jun 2023
It turns out, there's a few ways we can make C memory-safe, if we blend some obscure techniques.
Blend #1: Vale's gen refs / constraint refs plus Val-style borrowing. I go into it in verdagon.dev/blog/vale-memor….
(If only we had something from Vala too, we'd have the whole set!)
1
4
352
23 Jun 2023
Blend #3: Blending arenas (Zig, Odin) with region borrowing (Vale) [1] and Pony's iso [2]. Similar in spirit to Verona [3], without GC.
We alluded to it at Handmade, handmade.network/podcast/ep/….
[1] verdagon.dev/blog/zero-cost-…
[2] tutorial.ponylang.io/generic…
[3] github.com/microsoft/verona
1
1
291
23 Jun 2023
Blend #4, though I'm a tad unsure on this one. Something along the lines of the "MMM " in verdagon.dev/blog/when-to-us… with pieces from the theoretical Arrrlang, at verdagon.dev/blog/myth-zero-….
Basically, allocating from static type-specific arrays, like embedded code often does.
169
10 Mar 2020
Ember Deep (my 7DRL 2020 game) just got reviewed by Red Kangaroo! attnam.blogspot.com/2020/03/…
6 Oct 2019
Giving a talk on this tomorrow, feel free to ask questions! verdagon.itch.io/incendian-f…
1