| 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 |
|
