All
5+
10+
25+
50+
100+
39
Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)
a week ago |
verdagon
| verdagon.dev
|
frontpage
29
Understanding SIMD: Infinite complexity of trivial problems (modular.com)
10 months ago |
verdagon
| modular.com
|
best
2
Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev)
a year ago |
verdagon
| verdagon.dev
|
newest
10
The Type of Sprintf (ryanbrewer.dev)
a year ago |
verdagon
| ryanbrewer.dev
|
frontpage
2
Rhovas: A programming language for API design and enforcement (rhovas.dev)
2 years ago |
verdagon
| rhovas.dev
|
newest
3
You Need More Constraints (borretti.me)
2 years ago |
verdagon
| borretti.me
|
newest
1
Five Years of Rhovas (willbanders.dev)
2 years ago |
verdagon
| willbanders.dev
|
newest
1
Experimenting with Memory Management for Basil (degaz.io)
2 years ago |
verdagon
| degaz.io
|
newest
1
Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev)
2 years ago |
verdagon
| verdagon.dev
|
newest
1
What’s the Smallest Variety of Cheri? (microsoft.com)
2 years ago |
verdagon
| microsoft.com
|
newest
2
Sources of Complexity: Constraints (hillelwayne.com)
2 years ago |
verdagon
| hillelwayne.com
|
newest
2
Implementing a New Memory Safety Approach, Part 1 (verdagon.dev)
2 years ago |
verdagon
| verdagon.dev
|
newest
1
Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev)
2 years ago |
verdagon
| verdagon.dev
|
newest