31. | | Logipedia – Encyclopedia of Formal Proofs (inria.fr) |
|
135 points by lelf on March 17, 2019 | 19 comments
|
32. | | RLgraph: Robust, incrementally testable reinforcement learning (rlgraph.github.io) |
|
61 points by k_f on March 17, 2019 | 6 comments
|
33. | | Prosecutors, Transportation Department Scrutinize Development of Boeing 737 Max (wsj.com) |
|
107 points by dataflow on March 18, 2019 | 67 comments
|
34. | | Apache Jena (apache.org) |
|
140 points by pplonski86 on March 18, 2019 | 65 comments
|
35. | | New iPad Air and iPad Mini (apple.com) |
|
236 points by adarsh93 on March 18, 2019 | 383 comments
|
36. | | Ketamine: From Party Drug to Prescription Medicine (cugmhp.org) |
|
97 points by laurex on March 18, 2019 | 101 comments
|
37. | | A huge fireball exploded in Earth's atmosphere in December, according to Nasa (bbc.com) |
|
214 points by okket on March 18, 2019 | 78 comments
|
38. | | Code is not a foreign language, and high schools shouldn't treat it that way (nytimes.com) |
|
147 points by bookofjoe on March 18, 2019 | 180 comments
|
39. | | Elsevier Left Users’ Passwords Exposed Online (vice.com) |
|
159 points by markovbot on March 18, 2019 | 35 comments
|
40. | | Questions on the Future of Open Source (gist.github.com) |
|
58 points by diegopacheco on March 17, 2019 | 16 comments
|
41. | | Crossfont: Easy-to-use font editor for Mac (pixelegg.me) |
|
50 points by threcius on March 18, 2019 | 14 comments
|
42. | | Why Asians wear surgical masks in public (2014) (qz.com) |
|
122 points by tosh on March 17, 2019 | 102 comments
|
43. | | Alex Gibney on the Fall of Theranos and Elizabeth Holmes (theguardian.com) |
|
83 points by danso on March 17, 2019 | 97 comments
|
44. | | Ask HN: Is Someone Hijacking Google Images? |
|
173 points by squarefoot on March 17, 2019 | 72 comments
|
45. | | Datacenter RPCs can be general and fast (acolyer.org) |
|
80 points by feross on March 18, 2019 | 28 comments
|
46. | | Mobile data: Why India has the world's cheapest (bbc.com) |
|
115 points by pseudolus on March 18, 2019 | 144 comments
|
47. | | [flagged] An American Citizen Was Forcibly Drafted Into the South Korean Army (2015) (allkpop.com) |
|
57 points by curtis on March 17, 2019 | 57 comments
|
48. | | Trading privacy for survival is another tax on the poor (fastcompany.com) |
|
169 points by johnshades on March 18, 2019 | 148 comments
|
49. | | Achieving Safety Incrementally with Checked C (umd.edu) |
|
77 points by pjmlp on March 18, 2019 | 21 comments
|
50. | | Ask HN: What is the best “dumb” phone? |
|
221 points by goldemerald on March 18, 2019 | 217 comments
|
51. | | Show HN: Bit v0.5.0 – Bitcoin made easy, now with SegWit support (github.com/ofek) |
|
63 points by ofek on March 18, 2019 | 8 comments
|
52. | | Nvidia Accelerates Real Time Speech to Text Transcription 3500x with Kaldi (nvidia.com) |
|
98 points by dsr12 on March 18, 2019 | 18 comments
|
53. | | Who Controls Diners’ Data? OpenTable Moves to Assert Control (wsj.com) |
|
77 points by petethomas on March 18, 2019 | 121 comments
|
54. | | How to live without Google (2017) (spreadprivacy.com) |
|
119 points by deathwarmedover on March 18, 2019 | 116 comments
|
55. | | The Comdyna GP-6 analogue computer that I use daily at work (reddit.com) |
|
64 points by pmarin on March 18, 2019 | 37 comments
|
56. | | [dupe] Remove.bg – A service to remove the background of any photo (remove.bg) |
|
221 points by August-Garcia on March 18, 2019 | 52 comments
|
57. | | Set Camera Timer Using OpenCV-Python (theailearner.com) |
|
32 points by atulkrishna10 on March 18, 2019 | 6 comments
|
58. | | The Fertility Doctor’s Secret (theatlantic.com) |
|
68 points by pseudolus on March 18, 2019 | 51 comments
|
59. | | Home of Strategic Command and Some of the USAF's Most Prized Aircraft Flooded (thedrive.com) |
|
88 points by howard941 on March 18, 2019 | 47 comments
|
60. | | I started Gumroad as a weekend project (indiehackers.com) |
|
169 points by JamesIH on March 18, 2019 | 49 comments
|
|
|
More |