欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Kafka 是一个高吞吐量的分布式消息系统，被用于 LinkedIn。
Kafka 类似且堪比 Facebook Scribe 和 Cloudera Flume 系统。
部署于LinkedIn
日志
