欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
NexentaStor
Nexenta Operating System is a free and open source operating system combining the OpenSolaris kernel with GNU application userland. Nexenta Operating System runs on Intel/AMD 32/64bit hardware and is distributed as a single installable CD. Upgrades and binary packages not included on the CD can be installed from NexentaOS repository using Advanced Packaging Tool. In addition, source based software components can be downloaded from network repositories available at Debian/GNU Linux and Ubuntu Linux, and built as described here.
Nexenta Storage Appliance (NexentaStor) is a software based NAS that meets the current feature sets of the best of breed NAS, including unlimited snapshots, snapshot mirroring (replication), NFS v3/v4, CIFS, FTP, RSYNC/Amanda, SSH and easy management of extremely large storage pools. NexentaStor delivers richly featured software in the form of a software appliance that is trivial to install and easy to manage.
Transactional Debian Upgrades with ZFS on Nexenta