gkuan

9 ms·

31.
by gkuan 7y ago
Where can one find 2500 sqft apartments for 3000-3500? Very curious.
32.
Coz: Finding Code That Counts with Causal Profiling(cacm.acm.org)
3 points by gkuan 8y ago|0 comments
33.
Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017(darpa.mil)
4 points by gkuan 8y ago|0 comments
34.
Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)(darpa.mil)
2 points by gkuan 8y ago|0 comments
35.
by gkuan 9y ago
I would recommend Appel's Modern Compiler Implementation series. It is good starting place for building up compiler fundamentals and progressively implementing a reasonable compiler for a reasonably rich language without getting bogged
36.
by gkuan 10y ago
The ENCRYPTO group put together an implementation of garbled circuits protocols called Tasty a good while ago if it helps anyone. https://github.com/encryptogroup/tasty
37.
by gkuan 10y ago
In some places, the wait staff will grab you on your way out and notify you that you didn't tip enough (say 20% instead of 30%).
38.
by gkuan 10y ago
individual: child care, higher education that improves career prospects, insurance business: certain high-end dev environments & tool suites, contract automation
39.
SCONE: Secure Linux Containers with Intel SGX(usenix.org)
4 points by gkuan 10y ago|0 comments
40.
The Myth of the Millennial Entrepreneur(theatlantic.com)
4 points by gkuan 10y ago|0 comments
41.
The Computer Glitch That's Keeping Poor People from Their Money(theatlantic.com)
3 points by gkuan 11y ago|0 comments
42.
How Yelp Is Giving You Bad Advice(citylab.com)
1 points by gkuan 11y ago|0 comments
43.
A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf](mpi-sws.org)
18 points by gkuan 11y ago|3 comments
44.
Rust release lightning talk(graydon2.dreamwidth.org)
3 points by gkuan 11y ago|0 comments
45.
A Framework for Implementing and Formally Verifying Distributed Systems [pdf](homes.cs.washington.edu)
15 points by gkuan 11y ago|1 comments
46.
Injectable electronics could be used to monitor brain activity(arstechnica.com)
1 points by gkuan 11y ago|0 comments
47.
The Big Money Behind Tall Buildings(citylab.com)
1 points by gkuan 11y ago|0 comments
48.
One Reason It’s So Hard to Become a 'Creative Superstar City'(citylab.com)
27 points by gkuan 11y ago|5 comments
49.
Redditviz – Reddit interest network (2013)(rhiever.github.io)
28 points by gkuan 11y ago|7 comments
50.
Firefox Maker Battles to Save the Internet–and Itself(technologyreview.com)
1 points by gkuan 11y ago|0 comments
51.
The Highway Lane Next to Yours Isn’t Really Moving Any Faster(citylab.com)
13 points by gkuan 11y ago|20 comments
52.
Micro Virtual Machines as Solid Foundation for Language Development(lambda-the-ultimate.org)
63 points by gkuan 11y ago|5 comments
53.
CarFreeAtoZ: A multimodal transit planning tool for D.C(citylab.com)
3 points by gkuan 11y ago|0 comments
54.
The Urban Housing Crunch Costs the U.S. Economy About $1.6 Trillion a Year(citylab.com)
1 points by gkuan 11y ago|0 comments
55.
Sirius: An Open End-To-End Voice and Vision Personal Assistant(sirius.clarity-lab.org)
2 points by gkuan 11y ago|0 comments
56.
Pycket: A Tracing JIT for a Functional Language(lambda-the-ultimate.org)
66 points by gkuan 11y ago|7 comments
57.
Eve: the dev diary of a programming environment aimed at non-programmers(lambda-the-ultimate.org)
49 points by gkuan 11y ago|27 comments
58.
Long Awaited Reform to the USA Patriot Act(theatlantic.com)
1 points by gkuan 11y ago|0 comments
59.
Debunking the Myth That Only Drivers Pay for Roads(citylab.com)
2 points by gkuan 11y ago|0 comments
60.
How Germs Might Shape the Future of Architecture(citylab.com)
1 points by gkuan 11y ago|0 comments

More ›