Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
xavxav | Dark Hacker News
user:
xavxav
created:
February 12, 2012
karma:
1.0k
about:
www.xav.io
submissions
comments
1.
Software Archeology in 2026
(xav.io)
2 points
by
xavxav
90 days ago
|
0 comments
2.
Visions of the future: formal verification in Rust
(xav.io)
3 points
by
xavxav
1 year ago
|
0 comments