欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Project Atomic 是 Red Hat 发起的面向 Docker 容器应用的轻量级操作系统项目,类似 CoreOS。
$ vagrant init centos/atomic-host && vagrant up --provider virtualbox vagrant ssh cat /etc/redhat-release CentOS Linux release 7.1.1503 (Core)