HN Explorer

fluffything

↗ HN profile [ 83.7 ms ] full profile
Karma
2,917
Created
April 21, 2019 (7y ago)
Submissions
0
  1. HPC Top500 November 2020 results (top500.org)
    1 points 0
  2. HPC Green500 November 2020 results (top500.org)
    1 points 0
  3. Understanding and Evolving the Rust programming language [pdf] (people.mpi-sws.org)
    2 points 0
  4. RustConf 2020 Videos (youtube.com)
    3 points 1
  5. SeL4 is verified on RISC-V (riscv.org)
    2 points 0
  6. Stacked Borrows an Aliasing Model for Rust (POPL 2020) (plv.mpi-sws.org)
    2 points 0
  7. Ask HN: What do you think of GrapheneOS?

    link: https://grapheneos.org/ From looking at the repository (https://github.com/GrapheneOS), it feels quite ambitious. Is anybody using it? From looking at the project, it looks like a one dev job. So I wonder, how…

    1 points 0