fluffything's submissions

1.		HPC Top500 November 2020 results (top500.org)
		1 point by fluffything on Nov 19, 2020 \| past
2.		HPC Green500 November 2020 results (top500.org)
		1 point by fluffything on Nov 19, 2020 \| past
3.		Understanding and Evolving the Rust programming language [pdf] (mpi-sws.org)
		2 points by fluffything on Sept 3, 2020 \| past
4.		RustConf 2020 Videos (youtube.com)
		3 points by fluffything on Aug 21, 2020 \| past \| 1 comment
5.		SeL4 is verified on RISC-V (riscv.org)
		2 points by fluffything on June 9, 2020 \| past
6.		Stacked Borrows an Aliasing Model for Rust (POPL 2020) (mpi-sws.org)
		2 points by fluffything on Nov 19, 2019 \| past
7.		Ask HN: What do you think of GrapheneOS?
		1 point by fluffything on July 15, 2019 \| past