HN Explorer

xavxav

↗ HN profile [ 73.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Software Archeology in 2026 (xav.io)
    2 points 0
  2. Visions of the future: formal verification in Rust (xav.io)
    3 points 0
  3. Specifying and Verifying Higher-Order Rust Iterators (hal.science)
    4 points 0
  4. Noether: Symmetry in Programming Language Design (2014) [pdf] (github.com)
    1 points 0
  5. Rust stabilizes generic associated types (github.com)
    152 points 58
  6. New wiper malware being used in attacks on Ukraine (twitter.com)
    1 points 0