A gentle introduction to dependent types (2011)
(beust.com)
April 2017 Archive
6601.
6602.
Variable Name as a Service
(vnaas.doselect.com)
6603.
DeepMind Solves AGI, Summons Demon
(approximatelycorrect.com)
6604.
Get your kids started with AWS today
(aws-kids-posters.herokuapp.com)
6605.
SIGBOVIK 2017
(sigbovik.org)
6606.
6607.
IETF – Research into Human Rights Protocol Considerations
(datatracker.ietf.org)
6608.
Nokia 3310 Review: The Perfect Smartphone?
(youtube.com)
6609.
The Two Phases of Gradient Descent in Deep Learning
(medium.com)
6610.
Now Netflix Is All Thumbs
(nytimes.com)
6611.
Developer Anxiety, we're not alone
(reddit.com)
6612.
A Mysterious Flash from a Faraway Galaxy
(nytimes.com)
6613.
Running a Manager Feedback Cycle
(cate.blog)
6615.
This Map Will Show If Your Web Traffic Passes Through an NSA Listening Post
(motherboard.vice.com)
6616.
Exploring the dialog tag
(donburks.com)
6617.
Stories as a Service
(storiesasaservice.com)
6618.
Case Study in How Populism Turns Authoritarian
(mobile.nytimes.com)
6619.
Your Ship Has Probably Been Cyber Attacked Already
(gcaptain.com)
6621.
The Little-Known Aircraft That Wages War on ISIS' Communications
(foxtrotalpha.jalopnik.com)
6622.
Chatbots have struggled to live up to the hype
(marketingland.com)
6623.
Some Go builds fail with macOS 10.12.4 / Xcode 8.3
(github.com)
6624.
The Vampire 600 pre-order list has been fulfilled
(apollo-core.com)
6625.
ES2018 First Look
(youtube.com)
6626.
Back to Windows as a primary dev platform
(stevestreeting.com)
6627.
Limitations of Technical Debt Quantification
(infoq.com)
6628.
Airborne particles cause more than 3m early deaths a year
(economist.com)
6629.
6630.