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