1The Impossible Optimization, and the Metaprogramming to Achieve It (opens in new tab)(verdagon.dev)9verdagon8mo ago1Save
2Group Borrowing: Zero-cost memory safety with fewer restrictions (opens in new tab)(verdagon.dev)85verdagon10mo ago86Save
3Understanding SIMD: Infinite complexity of trivial problems (opens in new tab)(modular.com)257verdagon1y ago116Save
4Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (opens in new tab)(verdagon.dev)2verdagon2y ago0Save
6Rhovas: A programming language for API design and enforcement (opens in new tab)(rhovas.dev)2verdagon2y ago0Save