2019-03-18 front | Hacker News

Stories from March 18, 2019

Go back a day, month, or year. Go forward a day, month, or year.

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

HN For You