原创文章:github是陷阱吗?放弃使用它!

谷歌是极少数愿意尝试新操作系统的科技公司之一，它推出了用于嵌入式机器学习设备的KataOS。KataOS与Sparrow一起在Google开源博客上发布，KataOS是操作系统设计，Sparrow是参考实现，因为Weston显示服务器是Wayland的参考实现，该计划是KataOS将成为一个可证明的安全平台，针对运行ML应用程序的嵌入式设备进行了优化。

目前该操作系统正在Arm64指令集上开发，但计划是在使用RISC-V的openTitan上运行它。根据GitHub上的介绍，新操作系统几乎完全用Rust编写。这不包括底层微内核，即seL4，这是RegFOSS服务台在2月份报道实验性NeptuneOS时提到的。由于seL4主要在C中实现，该项目使用CAmkES——基于微内核的嵌入式系统的组件架构，它使用Haskell和Python——作为抽象层将C和Rust层连接在一起。

1、github是陷阱吗

放弃使用Github！IvonHuangLinux和自由软件爱好者。老子说:千里之行，始于足下。这里的文章讲述了Github的缺点，以及为什么我们应该拒绝使用Github。GiveUpGitHub！原网站:作者:SoftwareFreedomConservancy原创文章授权:CCBYSA4.0翻译:IvonHuang我们知道这并不容易，Github无处不在。

然而，作为一个拥有专有软件和商业秘密工具的平台，Github的理念恰恰与FOSS精神相反。相比之下，Git最初是为了取代专有软件Bitkeeper而开发的，它可以以分散的方式开发FOSS软件，而不依赖于中心站点，Github对Git进行打包后，增加了一些扩展功能，使原本分散的、平等的、专有的站点成为一个集中的、专有的站点。此外，这些扩展功能由一家盈利公司控制。