Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by luu
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
On Quantum Computing (2005)
6 points
luu
2014-06-20T00:06:16Z
www.wisdom.weizmann.ac.il
Intel Introduces Custom Cloud Chip
1 points
luu
2014-06-19T13:59:19Z
mobile.nytimes.com
FPGA Based POCSAG Decoder
1 points
luu
2014-06-19T13:48:27Z
kumari.net
New scientific markup language
28 points
luu
2014-06-18T22:10:01Z
hackpad.com
The JSR-133 Cookbook for Compiler Writers
39 points
luu
2014-06-18T21:07:07Z
g.oswego.edu
Disrupting the Data Center to Create the Digital Services Economy
1 points
luu
2014-06-18T20:14:10Z
communities.intel.com
239
240
241
242
243
244
245
246
247
248