谷歌宣布推出 Rust 开发的 KataOS 操作系统谷歌本周宣布发布 KataOS，它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑，不但几乎完全是由 Rust 实现的，而且是建立在 seL4 微内核的基础之上，seL4 在数学上被证明是安全的，具有保证保密性、完整性和可用性。消息来源：谷歌老王点评：谷歌的操作系统之心不死啊
......
199
0
0
2022-10-17
新智元报道 来源：theverge编辑：好困【新智元导读】谁能想到，在2021年，竟然可以见到4核CPU的旗舰级笔记本电脑？随着苹果新品的发售，微软也整了一个新品发布会。不仅更新Surface系列电脑，Surface Duo折叠手机，而且还推出了一款全新的「三合一」笔记本电脑。爷爷，您的Surface Pro换壳了！终于，微软放弃了Surface Pro系列
......
240
0
0
2022-10-17
新智元报道 来源：CNET等编辑：DavidFacebook高层人事大变动，干了8年的CTO要卸任了。Facebook 首席技术官 Mike Schroepfer 宣布，他将在明年卸任，并改任公司的“高级研究员”。这是 Facebook 最近最大的领导层离职事件。Schroepfer是当地时间昨日在个人Twitter上发布这个消息的。Schroepfer 在
......
327
0
0
2022-10-17
Canonical 在 apt 命令中为其 Ubuntu Pro 打广告之前我们 报道 过，Canonical 公司提供的 Ubuntu Pro 支持现在可供多达五台机器免费使用，为这些机器提供十年的支持服务。这本来是一件好事，但如果你从命令行用 apt 命令更新时，你就会看到 Canonical 发布的宣传这项免费服
......
208
0
0
2022-10-17
新智元报道 来源：MIT编辑：David【新智元导读】随着摩尔定律走向终结，靠提升计算机硬件性能可能越发难以满足海量计算的需要，未来的解决之道在于提升算法的效率。MIT的这篇新论文总结了过去80年来，算法效率的提升究竟有多快。提起算法，它有点像计算机的父母，它会告诉计算机如何理解信息，而计算机反过来可以从算法中获得有用的东西。算法的效率越高，计算机要做的工作
......
236
0
0
2022-10-17
VirtualBox 7.0 是自其上次大版本更新以来的一次重大升级。有一些不错的进步！对 VirtualBox 来说，这是一次大的升级。这个版本值得关注，因为我们在最近几年没有看到过它的大版本更新。对于那些不熟悉 VirtualBox 的人来说，它是一个由 甲骨文公司 开发的虚拟化软件。随着 VirtualBox 7.0 的推出，增加了
......
291
0
0
2022-10-17
微软发布免费的 AI 图像合成软件
微软宣布了基于 OpenAI 的 DALL-E 2 模型的应用 Designer。用户可通过输入文字提示生成一系列图像。Designer 有免费版和付费版，将提供给微软 365 个人和家庭订阅用户。目前 Designer 作为一个免费的 Web 应用供公众测试和获取反馈，类似的技术将整合到 Edge 浏览器和 Bin
......
241
0
0
2022-10-17
新智元报道 来源：XDA编辑：LRS【新智元导读】Pixel 6在下个月也要由Google 进行发布了，今年谷歌的目标似乎是地表最强安卓机，而非普通旗舰。所有的参数目前都已经被知情人士披露，但唯有搭载的CPU仍然是个迷。据传Pixel 6将使用谷歌自己研发的TPU，所以始终不肯透露消息，不过最近的测评网站暴露了，堪称地表最强！iPhone 13 刚激动完，安
......
231
0
0
2022-10-17
微软与 Meta 合作，将 Teams、Office、Windows 和 Xbox 带到 VR在今天的 Meta Connect 会议上，微软 CEO 萨提亚·纳德拉表示，该公司正在与 Meta 合作，将其最大的服务，Teams、Office、Windows，甚至 Xbox 云游戏，带到 Meta 的 Quest VR 头盔上。人们将能够直接从 Meta 的
......
241
0
0
2022-10-16
新智元报道 来源：网络编辑：David【新智元导读】LSTM之父Jürgen Schmidhuber的考据瘾又上来了。他近日发文称，图灵对计算机科学的贡献被吹过头了，“现代计算机之父”也不是图灵。将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见是有害的。最近《自然》杂志发表呼吁：让我们“重视那些确保科学能够自我纠正的人”。认识我的人都可以证明
......
224
0
0
2022-10-16
新智元报道 来源：Stanford编辑：LRS【新智元导读】AI 最近的发展似乎都是靠大规模的深度学习模型推动的，所以斯坦福最近成立一个基础模型研究中心CRFM来专门研究大规模的深度学习模型。但业界普遍不看好斯坦福的这个操作，认为深度学习根本就没办法成为基础模型，斯坦福表示，道理我都懂，这个模型可以应个急嘛！也许你没有感受到，但人工智能再一次掀起了范式转换革
......
323
0
0
2022-10-16
新智元报道 来源：网络编辑：LRS【新智元导读】中科大少年班仿佛和Nature有特别的缘分，前有Nature狂魔 曹原，如今他的学弟又在Nature上连发两篇文章，还是那个石墨烯！自2015级毕业后，周昊欣蛰伏六年，今天终于一鸣惊人！又是Nature 二连发！这次的主角依然是中科大少年班，依然是石墨烯，还是那个Nature，只不过作者从曹原，换成了曹原的学弟
......
249
0
0
2022-10-16
Linux 之父的 PC 挂了，恐影响 Linux 6.1 发布
两年前我们 报道 过，Linus Torvalds 攒了一台新电脑，一晃两年半过去了，如今，这台电脑的内存条坏了，频繁出现机器不稳定甚至编译器损坏的情况。当时，Torvalds 本来想买 ECC 内存，但是又嫌太贵，于是买了 4 条便宜的 16GB DDR4-2666
......
159
0
0
2022-10-16
谷歌十年处理了 60 亿个“盗版”链接
来自 32 万个版权所有者的撤销请求已经提交了 60 亿个 URL，谷歌已经批准了大多数请求。最活跃的十个组织总共报告了近 25 亿个 URL，而其中 40% 的删除请求涉及到 400 个域名。谷歌正在跟内容所有者合作，以在其索引之前将侵权网站列入黑名单。谷歌曾积极反对任何第三方限制网络索
......
192
0
0
2022-10-15
DeepMind 用游戏的方式打破了矩阵相乘 50 年来的记录
矩阵乘法问题是一种关键的计算类型，它是许多不同应用的核心，从屏幕上显示图像到模拟复杂的物理学。加快这种计算可能会对成千上万的日常计算机任务产生重大影响。但想优化矩阵相乘的步骤很难。DeepMind 将该问题变成一种三维棋盘游戏 TensorGame。训练了一个新版本的 AlphaZero，
......
197
0
0
2022-10-15