➡️
继续阅读
-
微软Xbox首席运营官海伦·蒋上任3个月就离职 消息称离职原因是涉嫌政策违规
微软Xbox首席运营官海伦·蒋上任仅3个月后于10月23日离职,当天生效。她2005年加入微软,长期负责《我的世界》业务,2026年7月出任该新设职位。官...
-
谋智基金会启动重返Firefox活动 以古早表情包吸引曾经的用户回归火狐
谋智基金会启动迄今最大规模“重返火狐”宣传活动,自10月25日起在美国NBC投放广告,并扩展至德国、法国和英国。活动借助早期网络迷因和怀旧元素,吸引曾转向...
-
Go 代码也能像数学定理一样被证明?AI 编程时代,形式化验证正在补上最后一块拼图
AI加速代码编写,但正确性验证成为瓶颈。文章介绍Go形式化验证工具Gobra及其底层Viper,通过前置条件、后置条件、循环不变量和权限模型,将程序性质转...
-
oai-math-revised:修订OpenAI数学文稿的社区中心
陶哲轩博客客座文章指出,OpenAI在GitHub发布的数学文稿难以理解且引用不全。数学社区因此发起修订项目,邀请学生、博士后、教授及爱好者共同改进,并提...
-
隔离、安全、扩展。
文章介绍如何用 kagent 与 Agent Substrate 为 AI 代理实现安全沙箱。普通容器隔离不足,需软硬件级隔离:gVisor 提供软件隔离...
-
安全公告:CVE-2026-107157 QCborValue::fromCbor() 越界读取漏洞影响 Qt 框架
Qt框架Qt Core模块的CBOR解析函数QCborValue::fromCbor()存在越界读取漏洞(CVE-2026-107157),影响Qt 5....