62
3
The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev)
39
Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)
29
Understanding SIMD: Infinite complexity of trivial problems (modular.com)
2
Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev)
10
The Type of Sprintf (ryanbrewer.dev)
2
Rhovas: A programming language for API design and enforcement (rhovas.dev)
3
You Need More Constraints (borretti.me)
1
Five Years of Rhovas (willbanders.dev)
1
Experimenting with Memory Management for Basil (degaz.io)
1
Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev)
1
What’s the Smallest Variety of Cheri? (microsoft.com)
2
Sources of Complexity: Constraints (hillelwayne.com)
2
Implementing a New Memory Safety Approach, Part 1 (verdagon.dev)
1