April 2016 Archive
4081.
CoqHoTT: Coq for Homotopy Type Theory (coqhott.gforge.inria.fr)
4082.
4083.
Why JavaScript Development Is Crazy? (planningforaliens.com)
4084.
4085.
4086.
4087.
4088.
Docker 1.11.0 released (github.com)
4089.
4090.
4091.
Brick Apple Devices via WiFi (krebsonsecurity.com)
4092.
4093.
4094.
4095.
4096.
4097.
At Microsoft (x180.com)
4098.
4099.
A QUESTION OF PRIVILEGE (martileimbach.com)
4100.
4101.
4102.
4103.
4104.
4105.
Gale–Shapley algorithm (en.wikipedia.org)
4106.
4107.
More Good Programming Quotes (henrikwarne.com)
4108.
4109.
4110.