CoqHoTT: Coq for Homotopy Type Theory
(coqhott.gforge.inria.fr)
April 2016 Archive
4081.
4082.
Inside Erik Prince’s Treacherous Drive to Build a Private Air Force
(theintercept.com)
4083.
Why JavaScript Development Is Crazy?
(planningforaliens.com)
4084.
Writing a Todo App with Redux on Android
(medium.com)
4085.
Google still loves disks, should you?
(cohodata.com)
4086.
Newton’s 3 Laws of Software Craftsmanship
(chrismm.com)
4087.
The Secret Rules of the Internet
(theverge.com)
4088.
Docker 1.11.0 released
(github.com)
4089.
Building Enterprise Level Web Applications on AWS Lambda
(aws.amazon.com)
4091.
Brick Apple Devices via WiFi
(krebsonsecurity.com)
4092.
Grok Your Data with the New MonkeyLearn Addon
(blog.scrapinghub.com)
4093.
4094.
How politicians poisoned statistics
(on.ft.com)
4095.
4096.
4097.
At Microsoft
(x180.com)
4098.
To Be or Not to Be Full Stack, the True Story
(bugfender.com)
4099.
A QUESTION OF PRIVILEGE
(martileimbach.com)
4100.
4101.
Where to Find the (Tech) Jobs
(medium.com)
4103.
A beginner’s guide to Cache synchronization strategies
(vladmihalcea.com)
4104.
Why you should start trading
(medium.com)
4105.
Gale–Shapley algorithm
(en.wikipedia.org)
4106.
The lost art of visited links
(jgthms.com)
4107.
More Good Programming Quotes
(henrikwarne.com)
4108.
4109.
4110.
Book Review: Site Reliability Engineering
(blog.lusis.org)