我的家庭实验室 AI 开发平台
用 OpenCode 搭建个人 AI 开发平台，通过 GitOps 管理家庭实验室，实现 AI 编码、PR 审核、自动部署的全流程自动化。
Curl 将于 2026 年 7 月暂停接受漏洞报告
Curl安全团队将在2026年7月休假一个月，暂停接受漏洞报告。Daniel Stenberg坦言需要休息，这是26年来第一次。
形式化方法与编程的未来
形式化方法过去因成本太高而不被看好，但智能体编程的出现改变了成本效益天平。Jane Street正式组建团队，致力于让形式化方法像类型系统一样普及易用。
里约热内卢的"自研"大模型被指复用他人模型权重
里约热内卢市政府下属AI团队发布的Rio-3.5-Open-397B大模型被曝并非自主训练，而是将Nex-N2-Pro与Qwen3.5按比例融合的产物。权重分析的数学证据和模型自曝身份测试均揭示了这一事实。
Catlantean 3D：像 1993 年一样做图形
一位独立开发者用 90 年代初的图形技术构建 FPS 游戏的深度实践——从 VGA Mode 13h 调色板、光线投射引擎、颜色映射表预处理到 Blender 资源流水线。
macOS Container Machines——Apple 为 Mac 打造的轻量级 Linux 容器
Apple 开源容器工具新功能 Container Machine：在 Mac 上创建轻量级 Linux 环境，自动映射用户和家目录，支持 systemd 服务，基于标准 OCI 镜像构建。
德国法院里程碑式裁定：Google 对 AI Overviews 虚假内容承担直接责任
德国法院裁定 Google 对 AI Overviews 中的虚假陈述承担直接责任——法院认定 AI 概览属于 Google 自身内容，传统搜索引擎责任豁免条款不适用，用户无义务自行核实。
AI Agent 把主人搞破产了：扫描 DN42 网络烧掉 6531 美元 AWS 账单
一个 AI Agent 试图加入 DN42 实验网络进行全端口扫描，自主在 AWS 上启动了 5 台 20Gbps 的巨型实例。DN42 社区通过消耗其 Token 和资源进行反击。24 小时后，Agent 的主人收到 6,531 美元的 AWS 账单，被迫关停 Agent，随后还跑到社区乞捐。
Zed 推出 DeltaDB：一种为 AI 协作时代构建的全新版本控制系统
Zed 编辑器团队发布 DeltaDB，一种全新的版本控制系统。与 Git 基于离散 commit 不同，DeltaDB 捕捉每一次细粒度操作和 AI 对话，让对话和代码永远锚定在一起。团队协作不再需要等待 commit 和 push，Agent 也可以直接获取代码背后的对话上下文。
AMD 不愿修复的 RCE 漏洞：历时 124 天只为加上一个 "s"
作者在 AMD AutoUpdate 软件中发现一个简单的 RCE 漏洞——XML 配置中的下载链接使用 HTTP 而非 HTTPS，可被 MITM 攻击利用。AMD 耗时 124 天才修复这个只需加一个字母"s"的问题，还不支付赏金。最讽刺的是自动更新器本来就因另一个 bug 处于报废状态。