TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by gkuan
1
MapLab: What It Takes To Map Mars
2 points
by
gkuan
about 4 years ago
no comments
2
Dfinity Mercury Genesis Event The Internet Computer
5 points
by
gkuan
about 4 years ago
no comments
3
Coz: Finding Code That Counts with Causal Profiling
3 points
by
gkuan
almost 7 years ago
no comments
4
Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017
4 points
by
gkuan
about 7 years ago
no comments
5
Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)
2 points
by
gkuan
about 7 years ago
no comments
6
SCONE: Secure Linux Containers with Intel SGX
4 points
by
gkuan
over 8 years ago
no comments
7
The Myth of the Millennial Entrepreneur
4 points
by
gkuan
almost 9 years ago
no comments
8
The Computer Glitch That's Keeping Poor People from Their Money
3 points
by
gkuan
over 9 years ago
no comments
9
How Yelp Is Giving You Bad Advice
1 points
by
gkuan
almost 10 years ago
no comments
10
A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]
18 points
by
gkuan
almost 10 years ago
3 comments
11
Rust release lightning talk
3 points
by
gkuan
almost 10 years ago
no comments
12
A Framework for Implementing and Formally Verifying Distributed Systems [pdf]
15 points
by
gkuan
almost 10 years ago
1 comment
13
Injectable electronics could be used to monitor brain activity
1 points
by
gkuan
almost 10 years ago
no comments
14
The Big Money Behind Tall Buildings
1 points
by
gkuan
almost 10 years ago
no comments
15
One Reason It’s So Hard to Become a 'Creative Superstar City'
27 points
by
gkuan
almost 10 years ago
5 comments
16
Redditviz – Reddit interest network (2013)
28 points
by
gkuan
almost 10 years ago
7 comments
← Previous
Next →