HN
Hacker News
Top
New
Best
Ask
Show
Jobs
xavxav
1,035 karma · joined February 12, 2012
www.xav.io
submissions
comments
Software Archeology in 2026
xav.io
·
2 pts
·
xavxav
·
0
Visions of the future: formal verification in Rust
xav.io
·
3 pts
·
xavxav
·
0
Specifying and Verifying Higher-Order Rust Iterators
hal.science
·
4 pts
·
xavxav
·
0
Noether: Symmetry in Programming Language Design (2014) [pdf]
github.com
·
1 pts
·
xavxav
·
0
Rust stabilizes generic associated types
github.com
·
152 pts
·
xavxav
·
52
New wiper malware being used in attacks on Ukraine
twitter.com
·
1 pts
·
xavxav
·
0