欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Flink 大数据处理引擎,起源于 Stratosphere。
类似项目:Apache Spark
架构
堆栈
Flink在Hadoop生态中
Dashboard
Flink on YARN
进程模型