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

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

Search: