Top New Best Ask Show Jobs

verdagon

2,146 karma · joined May 25, 2018

Lead for the Vale programming language (https://vale.dev/), hobbyist game programmer, Mountain View refugee, and overly enthusiastic blogger (https://verdagon.dev)

submissions comments

A new way to think about borrow checking (in reverse)

verdagon.dev·132 pts·verdagon·

Valen's Memory Safety: A New Kind of Borrow Checking

verdagon.dev·184 pts·verdagon·

The state of SIMD in Rust in 2026

shnatsel.github.io·209 pts·verdagon·

Fearless SIMD v1.0

linebender.org·318 pts·verdagon·

The Impossible Optimization, and the Metaprogramming to Achieve It

verdagon.dev·9 pts·verdagon·

Group Borrowing: Zero-cost memory safety with fewer restrictions

verdagon.dev·85 pts·verdagon·

Understanding SIMD: Infinite complexity of trivial problems

modular.com·257 pts·verdagon·

Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput

verdagon.dev·2 pts·verdagon·

The Type of Sprintf

ryanbrewer.dev·13 pts·verdagon·

Rhovas: A programming language for API design and enforcement

rhovas.dev·2 pts·verdagon·

You Need More Constraints

borretti.me·3 pts·verdagon·

Five Years of Rhovas

blog.willbanders.dev·1 pts·verdagon·

Experimenting with Memory Management for Basil

degaz.io·2 pts·verdagon·

Single Ownership and Memory Safety Without Borrow Checking, RC, or GC

verdagon.dev·3 pts·verdagon·

What’s the Smallest Variety of Cheri?

msrc-blog.microsoft.com·1 pts·verdagon·

Sources of Complexity: Constraints

hillelwayne.com·2 pts·verdagon·

Implementing a New Memory Safety Approach, Part 1

verdagon.dev·5 pts·verdagon·

Hash Codes, Non-Determinism, and Other Eldritch Horrors

verdagon.dev·3 pts·verdagon·

What is Systems Programming, Really? (2018)

willcrichton.net·1 pts·verdagon·

Which Programming Languages Use the Least Electricity?

thenewstack.io·1 pts·verdagon·

Next-Gen Language Features: User Code on the GPU

verdagon.dev·2 pts·verdagon·

Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules

verdagon.dev·1 pts·verdagon·

Added to Vale 0.2 Beta: Concept Functions

verdagon.dev·2 pts·verdagon·

On removing let and let mut

verdagon.dev·33 pts·verdagon·

Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale

verdagon.dev·8 pts·verdagon·

Data races in Python, despite the Global Interpreter Lock

verdagon.dev·85 pts·verdagon·

Seamless, Fearless, and Structured Concurrency

verdagon.dev·1 pts·verdagon·

Generational references: 2.3x faster than reference counting (unoptimized)

vale.dev·11 pts·verdagon·

Vale's Generational References

vale.dev·14 pts·verdagon·

Zero-Cost References with Regions

vale.dev·6 pts·verdagon·

Page 1 of 2Next →