OC Tech
开发者工具
OurCoders 科技频道关于“开发者工具”的内容分类，共收录 97 篇稿件。 当前为第 5 页。
最新新闻
2026-08-03
开发者工具
AI 辅助的错误证明骗过 Lean：形式化验证的可信根也会出错
作者：林岚｜OC 开发者生态编辑
2026-08-03
开发者工具
Spotify 给 Parquet 加外部索引：数据湖也想接住在线查询
作者：林岚｜OC 开发者生态编辑
2026-08-03
开发者工具
Go 1.27 还没正式发布：泛型方法和 JSON v2 已经改变升级风险
作者：林岚｜OC 开发者生态编辑
2026-08-03
开发者工具
一个隐藏 commit 毁掉事务原子性：数据库边界为什么只能有一个主人
作者：林岚｜OC 开发者生态编辑
2026-08-03
开发者工具
Rails 后台任务开始用 Fiber：LLM 调用不一定需要更多线程
作者：林岚｜OC 开发者生态编辑
2026-08-01
开发者工具
最强模型只能解决 25.3% 的生产故障：Agent 离真正值班还有多远
作者：林岚｜OC 开发者生态编辑
2026-08-01
开发者工具
Go 准备把泛型集合放进标准库：来得晚，但兼容成本更值得看
作者：林岚｜OC 开发者生态编辑
2026-08-01
开发者工具
大家都在做 LLM 路由，这家公司却把自己的关了
作者：林岚｜OC 开发者生态编辑
2026-08-01
开发者工具
10GB 内存处理十亿级图：DataFusion 把内存问题改成磁盘调度问题
作者：林岚｜OC 开发者生态编辑
2026-07-31
开发者工具
Git worktree 能隔离代码，却隔离不了 Agent：共享的 .git 目录仍然可以改钩子和引用
作者：林岚｜OC 开发者生态编辑
2026-07-30
AI Coding · Claude Code
多个代码 Agent 同时提交以后，GitHub 的合并流程先堵住了
作者：林岚｜OC 开发者生态编辑
2026-07-30
开发者工具
生产级 Agent 为什么不能一直挂在 HTTP 请求上
作者：林岚｜OC 开发者生态编辑