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