Oct 10, 2017

Written by htfy96

Scheduling Aliyun Lesson

https://edu.aliyun.com/course/31 虽然广告略多不过作为入门讲座还是不错的。 更多内容可以看之前搜集的一个Scheduling Algo Paper Collection on Zotero: https://api.zotero.org/users/2718444/collections/GUAS2Z6N/items/top?start=0&limit=25&format=atom&v=1&key=E3GieSbhHINhqkCVggs9PncS

Tags:  scheduling ,  cloud computing

Oct 10, 2017

Written by htfy96

Correct by Construction

http://wiki.c2.com/?CorrectByConstruction 似乎早就不是什么新名词了 + 已经BuzzWord（？）化了……不过还是有必要了解一下 读http://assured-cloud-comput

Tags:  correct_-by-construction ,  pl ,  system

Oct 5, 2017

Written by htfy96

Simplex

一直想补没补…… Algorithm design课件101~142 不错的讲解与实际的奇技淫巧 模版题

Tags:  algorithm ,  算法 ,  simplex

Sep 24, 2017

Written by htfy96

迁移博客到IPFS

IPFS是最近非常热门的一个分布式网络系统，其主要支持以下功能： ipfs add，将本地的一个文件（夹）上传到一个去中心化的web中，返回一个和文件

Tags:  ipfs ,  运维 ,  区块链

Sep 20, 2017

Written by htfy96

How Twitch uses PostgreSQL

https://blog.twitch.tv/how-twitch-uses-postgresql-c34aa9e56f58

Tags:  postgreSQL ,  system design