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

Chrome OS 将能运行在 PC 和 Mac 上

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

老王点评：不知道是不是可以在国内使用。

Android 13 能在 Pixel 6 手机上运行 Windows 和 Linux

Google 最近开放测试的 Android 13 开发者预览版能让 Pixel 6 之类的硬件能运行 Windows 11 和 Linux 发行版。Android 13 利用了 KVM 虚拟化框架，开发者在 Pixel 6 手机上测试运行了 Windows 11、Ubuntu 21.10、Arch Linux Arm 等，并尝试玩了经典射击游戏旧版 Doom。

老王点评：不过我觉得很多没有为移动设备设计的操作系统，即便可以运行也并不好用。

麻省理工为高性能计算机开发了新的编程语言

MIT 介绍了他们最近开发的“张量语言” ATL，它是在现有的 Coq 语言的基础上构建的。ATL 是首个、也是迄今唯一一个具有正式验证优化的张量语言。目前 ATL 仍处于原型阶段。开发者称，使用他们专为高性能计算而设计的新编程语言，可以很好地兼顾速度与正确性。此前人们普遍认为，速度与可靠性存在不可避免的权衡。

老王点评：真能兼顾速度和正确性么？这个值得商榷。