gkuan 的提交内容

MapLab: What It Takes To Map Mars

Dfinity Mercury Genesis Event The Internet Computer

Coz: Finding Code That Counts with Causal Profiling

Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017

Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)

SCONE: Secure Linux Containers with Intel SGX

The Myth of the Millennial Entrepreneur

The Computer Glitch That's Keeping Poor People from Their Money

How Yelp Is Giving You Bad Advice

A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]

Rust release lightning talk

A Framework for Implementing and Formally Verifying Distributed Systems [pdf]

Injectable electronics could be used to monitor brain activity

The Big Money Behind Tall Buildings

One Reason It’s So Hard to Become a 'Creative Superstar City'

Redditviz – Reddit interest network (2013)