可证明安全操作系统(PSOS)的基础(1979)[pdf] -- The foundations of a provably secure operating system (PSOS) (1979) [pdf]
PSOS是一个采用SRI分层开发方法(HDM)设计的可验证安全操作系统，通过形式化需求说明、模块规范及互连验证，确保系统设计与实现的安全可靠性。该方法使形式化验证成为可能，包括证明规范满足安全需求等。
Qwen 3.7 预览版 -- Qwen 3.7 Preview
阿里巴巴发布Qwen3.7系列模型预览版(Qwen3.7-Max-Preview和Qwen3.7-Plus-Preview)，在文本领域排名第6，视觉领域排名第5。该系列即将正式发布，敬请期待。
Y Combinator首席执行官Garry Tan指控我报道不道德 -- Garry Tan, the CEO of YC, accused me of unethical reporting
文章探讨了新闻真实性与权力之间的关系，通过分析记者Dion Lim的报道案例，质疑其是否真正坚持了新闻真相，还是屈服于权力影响。作者对Lim被塑造成"勇敢揭露真相"的英雄形象提出异议，认为其报道可能存在偏颇，反映了新闻行业在权力与真相之间的复杂博弈。
1024000^2方块，2B2T Minecraft服务器世界下载项目与发现 -- 1024000^2 Blocks, 2B2T Minecraft Server World Download Project, and Discoveries
该项目发布了2b2t服务器史上最大的世界地图下载包，包含主世界、末地和下界共约24TB数据，其中主世界区域达102.4万方块。这是经过一年多开发测试、耗费数千美元和大量人力完成的创纪录工程，由多位开发者合作完成。
埃隆·马斯克起诉山姆·奥特曼及OpenAI败诉 -- Elon Musk has lost his lawsuit against Sam Altman and OpenAI
埃隆·马斯克起诉山姆·阿尔特曼及OpenAI的诉讼以败诉告终。法院驳回了马斯克对这家AI公司的指控，该案于2026年5月18日由TechCrunch报道。
Anthropic收购Stainless -- Anthropic Acquires Stainless
Anthropic收购了SDK工具开发商Stainless，以增强其AI代理的连接能力。Stainless自2022年起就为Anthropic生成官方SDK，支持多种编程语言，帮助开发者更好地使用API。此次收购将提升Claude AI连接数据和工具的能力，进一步扩展其应用范围。双方团队都对合作前景表示期待。
犹他州立法者联手推动禁止预测市场 -- Utah lawmakers form united front in push to ban prediction markets
犹他州共和党议员联合推动禁止预测市场，与支持该行业的共和党联邦政府形成对立。该州拥有美国最严格的反赌博法律，保守派议员一致反对这种允许对各类事件下注的新型博彩形式。
为什么谷歌地图又显示阿尔塔迪纳的旧卫星图像了？ -- Why is Google Maps back to showing old satellite images of Altadena?
用户发现谷歌地图重新显示阿尔塔迪纳地区的旧卫星图像，对此变化感到疑惑并询问原因。
我们使用Git的--author标志阻止了GitHub仓库中的AI机器人垃圾信息 -- We stopped AI bot spam in our GitHub repo using Git's –author flag
文章指出开源社区正面临AI垃圾内容泛滥的问题，以GitHub案例为例，AI机器人大量生成低质量评论和攻击性内容，严重干扰了正常开发交流，导致开源协作环境恶化。这标志着传统开源模式正在发生根本性改变。
"玻璃翼计划：Mythos的启示" -- Project Glasswing: what Mythos showed us
Cloudflare测试了Anthropic公司开发的Mythos Preview安全大模型，发现其识别系统漏洞的能力较之前模型有显著提升。该模型被用于扫描50多个代码库，既能帮助修复漏洞，也能预测攻击者可能利用的新技术。文章分享了模型表现优异之处、不足之处，以及为适应规模化应用所需进行的架构改进。