Skip to content

Top New Best Ask Show Jobs

xavxav | Better HN

xavxav

1,035 karmaJoined February 12, 2012230 submissions

www.xav.io

Recent submissions

1

Software Archeology in 2026 (opens in new tab)

(xav.io)

2xavxav1mo ago0

2

Visions of the future: formal verification in Rust (opens in new tab)

(xav.io)

3xavxav1y ago0