| 31. | | Coq: Certified Programming with Dependent Types (chlipala.net) |
| 107 points by lobo_tuerto on July 10, 2015 | 33 comments |
|
| 32. | | How Doom got ported to NeXTSTEP (2013) (wilshipley.com) |
| 77 points by fezz on July 10, 2015 | 12 comments |
|
| 33. | | Computer program fixes old code faster than expert engineers (newsoffice.mit.edu) |
| 132 points by Libertatea on July 10, 2015 | 62 comments |
|
| 34. | | A Garbage Collector for C and C++ (hboehm.info) |
| 88 points by brudgers on July 10, 2015 | 73 comments |
|
| 35. | | The Rise and Suspiciously Rapid Fall of Freedomland U.S.A. (atlasobscura.com) |
| 38 points by Thevet on July 10, 2015 | 6 comments |
|
| 36. | | Confronting New Madrid (idlewords.com) |
| 73 points by gammarator on July 10, 2015 | 46 comments |
|
| 37. | | Java 7 changed the structure of String (javaspecialists.eu) |
| 101 points by antoaravinth on July 10, 2015 | 86 comments |
|
| 38. | | Neuroscientists Demonstrate Operation of a Network of Brains (nicolelislab.net) |
| 67 points by rocketbop on July 9, 2015 | 10 comments |
|
| 39. | | Show HN: Bubblin – Next-generation books (bubbl.in) |
| 65 points by IpxqwidxG on July 10, 2015 | 46 comments |
|
| 40. | | Leaked Hacking Team code to edit browser history? (github.com/hackedteam) |
| 77 points by Vexs on July 10, 2015 | 30 comments |
|
| 41. | | The myths of bioinformatics software (liorpachter.wordpress.com) |
| 86 points by bbgm on July 10, 2015 | 72 comments |
|
| 42. | | El Niño weather event is biggest since 1997, may trigger soaking winter storms (mercurynews.com) |
| 54 points by sinak on July 10, 2015 | 30 comments |
|
| 43. | | In Technology, Small Fish Almost Always Eat Big Fish (stanford.edu) |
| 72 points by walterbell on July 10, 2015 | 32 comments |
|
| 44. | | Jackline: XMPP client in OCaml (github.com/hannesm) |
| 63 points by luu on July 10, 2015 | 24 comments |
|
| 45. | | Buffer's transparency dashboard: Public salaries, equity and more (buffer.com) |
| 148 points by ZeljkoS on July 10, 2015 | 176 comments |
|
| 46. | | Tetris Guideline (tetrisconcept.net) |
| 55 points by xvirk on July 9, 2015 | 6 comments |
|
| 47. | | The Myth of the Psychopath (psmag.com) |
| 52 points by dpflan on July 10, 2015 | 49 comments |
|
| 48. | | Our beautiful fake histories (joeyh.name) |
| 37 points by JoshTriplett on July 10, 2015 | 13 comments |
|
| 49. | | Is there a simple algorithm for intelligence? (neuralnetworksanddeeplearning.com) |
| 129 points by rcoppolo on July 10, 2015 | 174 comments |
|
| 50. | | European Parliament view on EU-US trade deal (touchstoneblog.org.uk) |
| 36 points by walterbell on July 10, 2015 | 1 comment |
|
| 51. | | Data on 7% of Americans Were Just Hacked, Now What? (onename.com) |
| 89 points by shea256 on July 10, 2015 | 83 comments |
|
| 52. | | Apache Traffic Server – HTTP2 Fuzzing (yahoo-security.tumblr.com) |
| 31 points by Jahak on July 10, 2015 | 1 comment |
|
| 53. | | The Ketamine Connection (bbc.co.uk) |
| 48 points by herendin on July 10, 2015 | 52 comments |
|
| 54. | | Google Glass is Alive (techcrunch.com) |
| 65 points by brianchu on July 10, 2015 | 54 comments |
|
| 55. | | Where Electric Vehicles Cause More Pollution Than Gas Cars (citylab.com) |
| 44 points by tomkwok on July 10, 2015 | 47 comments |
|
| 56. | | How much do indie PC devs make, anyways? (Part 7) (gamasutra.com) |
| 45 points by danso on July 10, 2015 | 10 comments |
|
| 57. | | Replete – a standalone ClojureScript REPL for iOS (github.com/mfikes) |
| 106 points by sebg on July 10, 2015 | 21 comments |
|
| 58. | | Things will not change (tobiastom.name) |
| 85 points by tobiastom on July 10, 2015 | 49 comments |
|
| 59. | | The Uber Economy Requires a New Category of Worker (nymag.com) |
| 35 points by okuyiga on July 10, 2015 | 43 comments |
|
| 60. | | Using Encryption and Authentication Correctly (paragonie.com) |
| 49 points by paragon_init on July 10, 2015 | 18 comments |
|
|
| More |
