欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ClickHouse
ClickHouse is a free (Apache v2) OLAP DBMS for big data
大数据领域的瑞士军刀变迁：MongoDB -> Elasticsearch -> ClickHouse
