我的家庭实验室 AI 开发平台
用 OpenCode 搭建个人 AI 开发平台，通过 GitOps 管理家庭实验室，实现 AI 编码、PR 审核、自动部署的全流程自动化。
形式化方法与编程的未来
形式化方法过去因成本太高而不被看好，但智能体编程的出现改变了成本效益天平。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 镜像构建。
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 也可以直接获取代码背后的对话上下文。
CSS：那些无法避免的糟糕部分
rust-analyzer 作者 matklad 写给非 Web 开发者的 CSS 教程，总结 CSS 中好的、坏的和丑陋的部分——从语义标签、classless CSS 到 margin collapsing、font-size 陷阱和 flexbox 布局，附实战经验。
构建 HTML-First 网站让用户量一夜翻倍
用 Astro 构建 HTML-First 网页让表单完成率翻了一倍——一个关于真正可用、无障碍 Web 设计的真实故事，从 PSP 浏览器到现代设备的启示。
HelixDB — 用 Rust 构建的图向量数据库
HelixDB 是一个让你在单一平台上构建 AI 应用所有组件的数据库，融合图、向量、KV、文档和关系数据模型，并内置 MCP 集成。