欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SteamOS,基于Debian发行版而开发的操作系统,由维尔福公司设计开发,使用于Steam Machine游戏终端机上。
SteamOS主要是为了电子游戏而设计。使用者可从他们的Windows电脑或Mac电脑上,把游戏直接串流到有执行SteamOS的机器上使用,在有执行Steam程序的个人电脑上,也可以分享相同的功能。