欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Akka：是一套构建基于 JVM 之上的高并发、分布式、容错、事件驱动应用的工具集和运行时，使用 Java 和 Scala 编程语言。
高性能：50 million msg/sec on a single machine. Small memory footprint; ~2.5 million actors per GB of heap.
