HN Explorer

verdagon

↗ HN profile [ 86.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A New Way to Think About Borrow Checking (In Reverse) (verdagon.dev)
    1 points 21
  2. Valen's Memory Safety: A New Kind of Borrow Checking (verdagon.dev)
    2 points 83
  3. The state of SIMD in Rust in 2026 (shnatsel.github.io)
    1 points 69
  4. Fearless SIMD v1.0 is here (linebender.org)
    1 points 44
  5. The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev)
    9 points 1
  6. Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)
    85 points 10
  7. Understanding SIMD: Infinite complexity of trivial problems (modular.com)
    257 points 116
  8. Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev)
    2 points 0
  9. The Type of Sprintf (ryanbrewer.dev)
    13 points 21
  10. Rhovas: A programming language for API design and enforcement (rhovas.dev)
    2 points 0
  11. You Need More Constraints (borretti.me)
    3 points 0
  12. Five Years of Rhovas (blog.willbanders.dev)
    1 points 0
  13. Experimenting with Memory Management for Basil (degaz.io)
    2 points 0
  14. Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev)
    3 points 1
  15. What’s the Smallest Variety of Cheri? (msrc-blog.microsoft.com)
    1 points 0
  16. Sources of Complexity: Constraints (hillelwayne.com)
    2 points 0
  17. Implementing a New Memory Safety Approach, Part 1 (verdagon.dev)
    5 points 0
  18. Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev)
    3 points 0
  19. What is Systems Programming, Really? (2018) (willcrichton.net)
    1 points 0
  20. Which Programming Languages Use the Least Electricity? (thenewstack.io)
    1 points 1
  21. Next-Gen Language Features: User Code on the GPU (verdagon.dev)
    2 points 0
  22. Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules (verdagon.dev)
    1 points 0
  23. Added to Vale 0.2 Beta: Concept Functions (verdagon.dev)
    2 points 1
  24. On removing let and let mut (verdagon.dev)
    33 points 20
  25. Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale (verdagon.dev)
    8 points 2