# Weekly

Oct 22, 2018 • 东岳

http://incredible.pm/ The Incredible Proof Machine was created to convey the fun and joy of doing proofs, especially in a computer aided way, without first having to learn the syntax of a “real” thereom prover.

GitHub Actions https://github.com/features/actions 感觉像 GitHub 版的 Shortcut，应该能干不少事情，现在是 beta 版

Customized Jupyter notebook

https://github.com/dunovank/jupyter-themes

Submitted via bookmarklet :sparkles:

http://www.fluentcpp.com/getthemap/

The C++ STL Algorithm map

Thought of making a fantasy map generator a MOS program, but found out that there are a bunch of existing works.

https://github.com/src-d/go-mysql-server An extensible MySQL server implementation in Go. you can write your own data source, i.e. csv, git https://github.com/src-d/gitbase

MySQL High Availability at GitHub

> At 10:52 pm Sunday UTC, multiple services on GitHub.com were affected by a network partition and subsequent database failure resulting in inconsistent information being presented on our website.

作业：阅读这篇文章 找出为什么github的SQL HA方案会被network partition影响

https://githubengineering.com/mysql-high-availability-at-github/