Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by luu
On ICSE’s “Most Influential Papers”
11 points
luu
2015-02-06T14:16:09Z
blog.acolyer.org
So you want to be a proof engineer?
24 points
luu
2015-02-06T12:28:03Z
proofcraft.org
Tester to Developer Ratio Should Be 1:1 for a Typical Embedded Project
1 points
luu
2015-02-06T02:39:14Z
betterembsw.blogspot.com
Program Synthesis
4 points
luu
2015-02-05T23:11:45Z
research.microsoft.com
Katy Perry’s lawyers demand takedown of 3D printable Left Shark
5 points
luu
2015-02-05T22:35:11Z
gigaom.com
Net Neutrality Would Be a Mistake
1 points
luu
2015-02-05T21:38:00Z
mercatus.org
“Experts” misunderestimate our traffic and we don't know why
1 points
luu
2015-02-05T20:37:02Z
www.redditblog.com
Killing the Golden Goose? The Decline of Science in Corporate R&D
2 points
luu
2015-02-05T19:57:59Z
papers.ssrn.com
OpenID 2.0 for Google Accounts is going away
79 points
luu
2015-02-03T19:37:03Z
support.google.com
Aurelius has been acquired by DataStax
39 points
luu
2015-02-03T15:39:12Z
groups.google.com
Pico Computing Acquired by Micron
2 points
luu
2015-02-02T23:07:59Z
picocomputing.com
Introduction to Cataract Surgery
1 points
luu
2015-02-02T22:25:20Z
www.coursera.org
Odd Comments and Strange Doings in Unix
21 points
luu
2015-02-02T21:08:22Z
cm.bell-labs.com
Thoughts on peer review
3 points
luu
2015-02-02T19:34:46Z
www.cl.cam.ac.uk
Ignoring whining about OpenSSL in Valgrind
1 points
luu
2015-02-02T17:13:14Z
rachelbythebay.com
Simple Testing Can Prevent Most Critical Failures
90 points
luu
2015-02-01T21:19:20Z
www.usenix.org
Ideological Differences in Economics: Why Is the Left-Right Divide Widening?
1 points
luu
2015-02-01T16:36:52Z
econjwatch.org
Ratings Now Cut Both Ways, So Don’t Sass Your Uber Driver
9 points
luu
2015-02-01T15:39:10Z
www.nytimes.com
A minimalist translation of Clojure's core.async to Scala
13 points
luu
2015-02-01T14:06:33Z
blog.podsnap.com
Are Star Ratings Killing Uber and AirBnB?
2 points
luu
2015-02-01T03:08:20Z
www.teamrarebit.com
210
211
212
213
214
215
216
217
218
219