Oct 10, 2017
Written by htfy96
http://wiki.c2.com/?CorrectByConstruction 似乎早就不是什么新名词了 + 已经BuzzWord(?)化了……不过还是有必要了解一下 读http://assured-cloud-comput
Tags: correct_-by-construction , pl , system
Oct 5, 2017
一直想补没补…… Algorithm design课件101~142 不错的讲解与实际的奇技淫巧 模版题
Tags: algorithm , 算法 , simplex
Sep 24, 2017
IPFS是最近非常热门的一个分布式网络系统,其主要支持以下功能: ipfs add,将本地的一个文件(夹)上传到一个去中心化的web中,返回一个和文件
Tags: ipfs , 运维 , 区块链
Sep 20, 2017
https://blog.twitch.tv/how-twitch-uses-postgresql-c34aa9e56f58
Tags: postgreSQL , system design
Sep 9, 2017
https://shimo.im/sheet/POroCXybImQTROFu?r=97RGP3/
Tags: 留学