硬核观察 #549 Chrome OS 将能运行在 PC 和 Mac 上
更多：• Android 13 能在 Pixel 6 手机上运行 Windows 和 Linux • 麻省理工为高性能计算机开发了新的编程语言
ChromeOS Android 高性能计算
更多：• Android 13 能在 Pixel 6 手机上运行 Windows 和 Linux • 麻省理工为高性能计算机开发了新的编程语言
![](/data/attachment/album/202202/16/142912uy8egg83u9ym7agi.jpg)


![](/data/attachment/album/202202/16/142918j0b06ii8jyb04zy9.jpg)


### Chrome OS 将能运行在 PC 和 Mac 上


谷歌宣布了一个旨在运行在 PC 和 Mac 上的新版本的 Chrome OS，名为 [Chrome OS Flex](https://www.theverge.com/2022/2/15/22934810/google-chrome-os-chromebooks-flex-operating-system-enterprise-schools)。它的外观和感觉与 Chromebook 上的 Chrome OS 相同，由相同的代码库构建，并遵循相同的发布节奏。该操作系统可以在几分钟内安装完成。当然，一些功能可能取决于你使用的电脑的硬件。



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


![](/data/attachment/album/202202/16/142926w2rr7278nw1g7gu4.jpg)


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


Google 最近开放测试的 [Android 13](https://www.cnx-software.com/2022/02/14/android-13-virtualization-lets-pixel-6-run-windows-11-linux-distributions/) 开发者预览版能让 Pixel 6 之类的硬件能运行 Windows 11 和 Linux 发行版。Android 13 利用了 KVM 虚拟化框架，开发者在 Pixel 6 手机上测试运行了 Windows 11、Ubuntu 21.10、Arch Linux Arm 等，并尝试玩了经典射击游戏旧版 Doom。



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


![](/data/attachment/album/202202/16/142941x9lrdqljxxxxjvl9.jpg)


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


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



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

