欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Spark 用户
cd spark-1.2.0 mvn -DskipTests clean package ./bin/spark-shell scala> sc.parallelize(1 to 1000).count() ./bin/run-example SparkPi 10 MASTER=spark://host:7077 ./bin/run-example SparkPi ./dev/run-tests
