硬核观察 #549 Chrome OS 将能运行在 PC 和 Mac 上 ChromeOS将能运行在PC和Mac上谷歌

文章图片

文章图片

ChromeOS将能运行在PC和Mac上
谷歌宣布了一个旨在运行在PC和Mac上的新版本的ChromeOS ，名为ChromeOSFlex 。它的外观和感觉与Chromebook上的ChromeOS相同，由相同的代码库构建，并遵循相同的发布节奏。该操作系统可以在几分钟内安装完成。当然，一些功能可能取决于你使用的电脑的硬件。
老王点评：不知道是不是可以在国内使用。

文章图片
Android13能在Pixel6手机上运行Windows和Linux
Google最近开放测试的Android13开发者预览版能让Pixel6之类的硬件能运行Windows11和Linux发行版。 Android13利用了KVM虚拟化框架，开发者在Pixel6手机上测试运行了Windows11、Ubuntu21.10、ArchLinuxArm等，并尝试玩了经典射击游戏旧版Doom 。
老王点评：不过我觉得很多没有为移动设备设计的操作系统，即便可以运行也并不好用。

文章图片
【硬核观察 #549 Chrome OS 将能运行在 PC 和 Mac 上】麻省理工为高性能计算机开发了新的编程语言
MIT介绍了他们最近开发的“张量语言”ATL ，它是在现有的Coq语言的基础上构建的。 ATL是首个、也是迄今唯一一个具有正式验证优化的张量语言。目前ATL仍处于原型阶段。开发者称，使用他们专为高性能计算而设计的新编程语言，可以很好地兼顾速度与正确性。此前人们普遍认为，速度与可靠性存在不可避免的权衡。
老王点评：真能兼顾速度和正确性么？这个值得商榷。