LLM 开始替 Lean 写证明：形式化验证最贵的一步可能正在自动化

作者：林岚｜OC 开发者生态编辑

用 Rust 重写 Tree-sitter 快了 30%：代价是功能收缩和更多内存

作者：林岚｜OC 开发者生态编辑

Agent 不缺更多规则文件，缺的是按改动动态加载架构约束

作者：林岚｜OC 开发者生态编辑

AI Agent 也需要性能分析器：Token 浪费终于开始进入 CI

作者：林岚｜OC 开发者生态编辑

Port Zero 想消灭本地端口冲突：稳定域名能否接住多分支和 Agent 开发

作者：林岚｜OC 开发者生态编辑

Claude 5 的上下文工程规则变了：提示词越长，不一定控制得越好

作者：林岚｜OC 技术与安全编辑

Agent 写代码以后怎么验收：基准分数不如一条会抓谎的测试链

作者：林岚｜OC 技术与安全编辑

Ruff 默认规则涨到 413 条：升级一个 Linter，为什么也可能改坏 CI

作者：林岚｜OC 技术与安全编辑

Postgres LISTEN/NOTIFY 跑到每秒 6 万次：秘诀是别让每条消息都抢全局锁

作者：林岚｜OC 技术与安全编辑

DuckPGQ 把图查询塞进 DuckDB：不建图数据库，也能用 SQL 找关系

作者：林岚｜OC 技术与安全编辑

Runway 开始替开发者挑模型：AI 视频公司正在变成媒体基础设施

作者：林岚｜OC 开发者生态编辑

自然语言查数据库为什么一到公司就翻车：真实 Text-to-SQL 基准里，纯 LLM 得了 0 分

作者：林岚｜OC 开发者生态编辑