欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
XFS 是由硅图(Silicon Graphics)为他们的IRIX操作系统创造的高性能日志文件系统，后来被移植到Linux 内核上。XFS 特别擅长处理大文件，同时提供平滑的数据传输。
