gkuan

1,099 karmajoined January 27, 2012On HN

www.typedynamic.com

Recent submissions

The search for extraterrestrial life as we don’t know it scientificamerican.com
77gkuan3y97 comments
The search for extraterrestrial life as we don’t know it scientificamerican.com
4gkuan3y3 comments
DARPA Bio-Inspired Restoration of Aged Concrete Edifices sam.gov
4gkuan4ydiscuss
Type Directed Synthesis for RESTful APIs arxiv.org
2gkuan4ydiscuss
Mysten Labs Announces Sui Blockchain medium.com
17gkuan4y4 comments
Proposal for Terra Rebirth Passes fortune.com
2gkuan4ydiscuss
MapLab: What It Takes To Map Mars bloomberg.com
2gkuan5ydiscuss
Dfinity Mercury Genesis Event The Internet Computer dfinity.org
5gkuan5ydiscuss
Coz: Finding Code That Counts with Causal Profiling cacm.acm.org
3gkuan8ydiscuss
Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017 darpa.mil
4gkuan8ydiscuss
Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)darpa.mil
2gkuan8ydiscuss
SCONE: Secure Linux Containers with Intel SGX usenix.org
4gkuan9ydiscuss
The Myth of the Millennial Entrepreneur theatlantic.com
4gkuan10ydiscuss
The Computer Glitch That's Keeping Poor People from Their Money theatlantic.com
3gkuan10ydiscuss
How Yelp Is Giving You Bad Advice citylab.com
1gkuan11ydiscuss
A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]mpi-sws.org
18gkuan11y3 comments
Rust release lightning talk graydon2.dreamwidth.org
3gkuan11ydiscuss
A Framework for Implementing and Formally Verifying Distributed Systems [pdf]homes.cs.washington.edu
15gkuan11y1 comment

All submissions and comments on Hacker News.