Lyft Closes $600M round at $7.5B Valuation
(bloomberg.com)
April 2017 Archive
1051.
1052.
All You Zombies
(thedailywtf.com)
1053.
Planet enlists machine learning experts to parse Amazon basin data
(techcrunch.com)
1054.
Xmonad from Coq: Programming a Window Manager with a Proof Assistant (2012) [pdf]
(staff.science.uu.nl)
1055.
Tesla's Musk Paid at Least $593M in Income Taxes in 2016
(bloomberg.com)
1057.
1058.
1060.
Let's Fix OpenGL [pdf]
(cs.cornell.edu)
1061.
1062.
1063.
Secure C coding standards by SEI
(securecoding.cert.org)
1064.
Type Systems as Macros
(lambda-the-ultimate.org)
1066.
Rust Optimizations That C++ Can't Do
(robert.ocallahan.org)
1067.
IoT Market Projected to Grow 12x by 2023
(thetechladder.com)
1068.
Dammit LinkedIn, I'm a college dropout (2009)
(paulholmes.ca)
1069.
Show HN: Record and share police/fire radio systems
(openmhz.com)
1070.
Humble People Make the Best Leaders
(hbr.org)
1071.
A Benchmark for Streaming Anomaly Detection
(blog.dominodatalab.com)
1072.
1073.
Thinking critically about and researching algorithms [pdf]
(futuredata.stanford.edu)
1075.
MUJI Hut: A 9.1-sqm Minimalist Cabin
(muji.com)
1076.
Government auction of wireless airwaves will shape the future of the Internet
(washingtonpost.com)
1077.
‘Negative Mass’ Created at Washington State University
(news.wsu.edu)
1078.
How to mod a Porsche 911 to run Doom [video]
(youtube.com)
1079.
Show HN: Stack: tiling WM for Windows
(losttech.software)
1080.
Why predicted gridlock almost never happens
(cityobservatory.org)