Hacker Newsnew | comments | ask | jobs | submitlogin
1.
The Z3 theorem prover from Microsoft Research is now open source (microsoft.com)
58 points by taocp 2 hours ago | 25 comments
2.
If Hemingway wrote JavaScript (byfat.xxx)
44 points by federicoweber 2 hours ago | 14 comments
3.
Stop Pagination Now (slate.com)
97 points by zonotope 5 hours ago | 45 comments
4.
After a spectacular crash, Bitcoin makes a surprising comeback (economist.com)
63 points by nextstep 4 hours ago | 43 comments
5.
Ellen Pao Says Kleiner Perkins Has Now Fired Her (allthingsd.com)
20 points by relation 2 hours ago | 5 comments
6.
The “Lost” Steve Jobs Speech from 1983: Foreshadowing Wireless Networking & iPad (lifelibertytech.com)
34 points by peterkchen 4 hours ago | 25 comments
7.
Neural Networks for Machine Learning (coursera.org)
94 points by ameasure 7 hours ago | 45 comments
8.
Investing "Gangnam Style" (economist.com)
39 points by khmel 5 hours ago | 12 comments
9.
The Lesser Known Contributors Who Are Trying To Make PHP Good Again (danielnill.com)
49 points by DanielN 6 hours ago | 39 comments
10.
Keccak wins the SHA-3 competition (nist.gov)
170 points by B-Con 11 hours ago | 31 comments
11.
Edu domain meant for the world,restricted to US (naushad.me)
17 points by Naushad 3 hours ago | 15 comments
12.
Drupal's Golden Handcuffs (mikecr.it)
151 points by mcrittenden 12 hours ago | 101 comments
13.
The crashing bug in VC++ 2012's bug finding feature (randomascii.wordpress.com)
31 points by brucedawson 5 hours ago | 1 comment
14.
Show HN: I built a stock market game based on the top 50,000 websites (linkdaq.net)
157 points by thehodge 13 hours ago | 77 comments
15.
Postmortem: Team Meat's Super Meat Boy (gamasutra.com)
35 points by mcantor 5 hours ago | 6 comments
16.
Entertainment Weekly puts smartphone in 1000 magazines (mashable.com)
69 points by smartician 8 hours ago | 26 comments
17.
Lockitron: Keyless entry using your phone (lockitron.com)
294 points by tylerhowarth 17 hours ago | 191 comments
18.
The $1 billion mission to reach the Earth's mantle (cnn.com)
149 points by ssclafani 14 hours ago | 70 comments
19.Like solving non-sexy problems? Well-funded start-up is hiring (SF)
2 hours ago
20.
Software on Steam (steampowered.com)
175 points by mxfh 15 hours ago | 97 comments
21.
The Sudden, Mysterious Exit Of A Quora Cofounder Has Silicon Valley Baffled (sfgate.com)
232 points by steve8918 18 hours ago | 126 comments
22.
Social Login Buttons Aren’t Worth It (mailchimp.com)
171 points by ryanfitz 16 hours ago | 88 comments
23.
Computer Glitch brings Melbourne traffic to a standstill (news.com.au)
49 points by stratos2 8 hours ago | 31 comments
24.
Introducing pixelJET: a live-coding IDE for HTML, CSS, and JavaScript (pixeljet.net)
17 points by jmitcheson 4 hours ago | 15 comments
25.
Online Python Tutor: Learn programming by visualizing code execution (pythontutor.com)
303 points by ColinWright 22 hours ago | 40 comments
26.
The Story of the New Microsoft.com (rainypixels.com)
176 points by robin_reala 18 hours ago | 80 comments
27.
In Europe, Speed Cameras Meet Their Technological Match (nytimes.com)
15 points by pinko 4 hours ago | 34 comments
28.
Lenovo Computers, Soon To Be Made In America (techcrunch.com)
110 points by andreiursan 15 hours ago | 76 comments
29.
Copenhagen Suborbitals Release Snowmix, an Open Source Video Mixer (thepowerbase.com)
49 points by glazemaster 10 hours ago | 2 comments
30.
Understanding Postgres Performance (craigkerstiens.com)
159 points by neilmiddleton 19 hours ago | 32 comments
More

Lists | RSS | Bookmarklet | Guidelines | FAQ | News News | Feature Requests | Y Combinator | Apply | Library

Search: