Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by luu
The vanishing, underappreciated prank call
41 points
luu
2014-06-23T01:29:52Z
www.bostonglobe.com
Why Take an Embedded Systems Course?
1 points
luu
2014-06-23T00:23:34Z
blog.regehr.org
How to Make Chord Correct
9 points
luu
2014-06-22T20:06:02Z
www2.research.att.com
Finding Great Developers (2006)
3 points
luu
2014-06-22T02:45:47Z
www.joelonsoftware.com
Hints for computer system design (1983)
10 points
luu
2014-06-21T20:19:44Z
research.microsoft.com
Missing E-Mail Is the Least of the IRS's Problems
89 points
luu
2014-06-21T19:11:22Z
www.bloombergview.com
Ascend Project Kickoff
1 points
luu
2014-06-21T15:49:29Z
lukasblakk.com
The Great Crime Wave and the Tragedy of Mass Incarceration
1 points
luu
2014-06-21T14:33:39Z
urbanizationproject.org
Lean Theorem Prover
1 points
luu
2014-06-21T13:07:37Z
github.com
Z3: a high-performance theorem prover being developed at Microsoft Research
3 points
luu
2014-06-21T02:27:30Z
z3.codeplex.com
Fun uses for an SMT solver
1 points
luu
2014-06-21T00:08:06Z
seanhn.wordpress.com
Strong suggestions for structurally combatting online harassment
3 points
luu
2014-06-20T22:31:24Z
aredridel.dinhe.net
Young workers hate their jobs
3 points
luu
2014-06-20T20:54:31Z
www.washingtonpost.com
Verifying Multi-threaded Software with Spin
26 points
luu
2014-06-20T18:47:12Z
spinroot.com
The Yices SMT Solver
1 points
luu
2014-06-20T15:27:50Z
yices.csl.sri.com
Understanding JavaScript Event-based Interactions
1 points
luu
2014-06-20T13:57:01Z
salt.ece.ubc.ca
CVC4: the smt solver
1 points
luu
2014-06-20T13:20:42Z
cvc4.cs.nyu.edu
Alloy: a language and tool for relational models (2012)
20 points
luu
2014-06-20T04:40:38Z
alloy.mit.edu
Polynomial Time and Extravagant Models
2 points
luu
2014-06-20T02:48:57Z
www.cs.bu.edu
Why the web sucks (1995)
2 points
luu
2014-06-20T01:29:41Z
web.archive.org
238
239
240
241
242
243
244
245
246
247