---
layout: post
title: Weekly
category: Weekly
author: 东岳

---

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](https://gist.github.com/htfy96/301ae2b1c477a4a644e943bbc27c9588)* :sparkles:

***

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

The C++ STL Algorithm map

![image](https://user-images.githubusercontent.com/7023694/47262958-abffd880-d4aa-11e8-8004-9972468ac730.png)

Thought of making a fantasy map generator a MOS program, but found out that there are a bunch of [existing works](https://github.com/Azgaar/Fantasy-Map-Generator).

***

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/

***

