HN Explorer

gkuan

↗ HN profile [ 75.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. 1 points 0
  5. 1 points 0
  6. 1 points 0
  7. 1 points 0
  8. 1 points 0
  9. 1 points 0
  10. The search for extraterrestrial life as we don’t know it (scientificamerican.com)
    77 points 99
  11. The search for extraterrestrial life as we don’t know it (scientificamerican.com)
    4 points 3
  12. DARPA Bio-Inspired Restoration of Aged Concrete Edifices (sam.gov)
    4 points 0
  13. Type Directed Synthesis for RESTful APIs (arxiv.org)
    2 points 0
  14. Mysten Labs Announces Sui Blockchain (medium.com)
    17 points 4
  15. Proposal for Terra Rebirth Passes (fortune.com)
    2 points 0
  16. MapLab: What It Takes To Map Mars (bloomberg.com)
    2 points 0
  17. Dfinity Mercury Genesis Event The Internet Computer (dfinity.org)
    5 points 0
  18. Coz: Finding Code That Counts with Causal Profiling (cacm.acm.org)
    3 points 0
  19. Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017 (darpa.mil)
    4 points 0
  20. Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017) (darpa.mil)
    2 points 0
  21. SCONE: Secure Linux Containers with Intel SGX (usenix.org)
    4 points 0
  22. The Myth of the Millennial Entrepreneur (theatlantic.com)
    4 points 0
  23. The Computer Glitch That's Keeping Poor People from Their Money (theatlantic.com)
    3 points 0
  24. How Yelp Is Giving You Bad Advice (citylab.com)
    1 points 0
  25. A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf] (mpi-sws.org)
    18 points 3