xavxav's submissions | Hacker News

1.		Visions of the future: formal verification in Rust (xav.io)
		3 points by xavxav 9 months ago \| past
2.		Specifying and Verifying Higher-Order Rust Iterators (hal.science)
		4 points by xavxav on April 27, 2023 \| past
3.		Noether: Symmetry in Programming Language Design (2014) [pdf] (github.com/noether-lang)
		1 point by xavxav on Oct 24, 2022 \| past
4.		Rust stabilizes generic associated types (github.com/rust-lang)
		152 points by xavxav on Sept 13, 2022 \| past \| 52 comments
5.		New wiper malware being used in attacks on Ukraine (twitter.com/threatintel)
		1 point by xavxav on Feb 23, 2022 \| past
6.		Show HN: Beander, a platform for micro-roasters (beander.com)
		7 points by xavxav on March 5, 2014 \| past \| 10 comments
7.		Show HN: Generate personally tailored quizzes on any subject (stackq.herokuapp.com)
		2 points by xavxav on Nov 13, 2013 \| past