HN Explorer

scriptdevil

↗ HN profile [ 73.5 ms ] full profile
Karma
211
Created
April 2, 2014 (12y ago)
Submissions
0
  1. Factorial Experiment (en.wikipedia.org)
    2 points 0
  2. Bluespec Compiler is now open-source (github.com)
    5 points 0
  3. Nvidia's Jetson AGX Xavier Carmel Performance vs. Low-Power x86 Processors (phoronix.com)
    3 points 0
  4. Concrete Semantics with Isabelle/HOL (concrete-semantics.org)
    4 points 0
  5. Rust infrastructure can be your infrastructure (huonw.github.io)
    2 points 0