用AI重写Postgres
经过四轮尝试和投入约10万美元，开发者成功利用AI模型Opus将Postgres数据库用Rust语言重写，形成了名为pgrust的新项目。整个重写过程历时三个月，通过并行运行40个子代理，最终生成180万行地道Rust代码。开发者认为，将Postgres从C语言迁移到Rust后，AI可以更安全地为其添加新功能。目前正在开发的第五版pgrust在事务负载下比原版Postgres更快，分析查询性能则与Clickhouse相当（后者分析速度比Postgres快数百倍）。首版尝试按功能逐项移植，但因底层架构问题失败；后续改为逐文件移植，并利用AI辅助代码生成和测试，最终成功。这一经验为大型遗留系统的AI重写提供了可复用的方法论。 #AI #Postgres #Rust #数据库 #开源 #代码重写 #pgrust
经过四轮尝试和投入约10万美元，开发者成功利用AI模型Opus将Postgres数据库用Rust语言重写，形成了名为pgrust的新项目。整个重写过程历时三个月，通过并行运行40个子代理，最终生成180万行地道Rust代码。开发者认为，将Postgres从C语言迁移到Rust后，AI可以更安全地为其添加新功能。目前正在开发的第五版pgrust在事务负载下比原版Postgres更快，分析查询性能则与Clickhouse相当（后者分析速度比Postgres快数百倍）。首版尝试按功能逐项移植，但因底层架构问题失败；后续改为逐文件移植，并利用AI辅助代码生成和测试，最终成功。这一经验为大型遗留系统的AI重写提供了可复用的方法论。 #AI #Postgres #Rust #数据库 #开源 #代码重写 #pgrust
Linus Torvalds 力挺 AI
Linux 内核创始人 Linus Torvalds 近日在邮件列表中明确表态，支持在内核开发中使用大语言模型（LLM）。他在回复开发者 Roman Gushchin 的讨论时表示，Linux 项目绝非“反 AI”阵营，若有人因此不满，可以选择 fork 或离开。Torvalds 强调，AI 是一种与其他工具无异的实用工具，其价值已无需质疑。尽管 AI 可能增加维护者负担并暴露尴尬错误，但正确的做法是改善 LLM 工具使其真正帮助维护者，而非把头埋进沙子里拒绝技术进步。他重申内核社区以技术优劣为决策核心，而非出于宗教式恐惧。这一强硬立场迅速引发开源社区热议。 #Linux #LinusTorvalds #AI #LLM #开源 #内核 #技术争议
Linux 内核创始人 Linus Torvalds 近日在邮件列表中明确表态，支持在内核开发中使用大语言模型（LLM）。他在回复开发者 Roman Gushchin 的讨论时表示，Linux 项目绝非“反 AI”阵营，若有人因此不满，可以选择 fork 或离开。Torvalds 强调，AI 是一种与其他工具无异的实用工具，其价值已无需质疑。尽管 AI 可能增加维护者负担并暴露尴尬错误，但正确的做法是改善 LLM 工具使其真正帮助维护者，而非把头埋进沙子里拒绝技术进步。他重申内核社区以技术优劣为决策核心，而非出于宗教式恐惧。这一强硬立场迅速引发开源社区热议。 #Linux #LinusTorvalds #AI #LLM #开源 #内核 #技术争议
Cybara——基于Bun构建的开源AI Agent平台
Cybara 是一个完全开源、采用 MIT 许可的 AI Agent 平台，使用 TypeScript 从头构建。它集成了代理、工具、插件、技能、MCP、ACP、LSP、浏览器与桌面自动化、模型路由、提供商计划跟踪、消息集成、内存、多代理工作流，并支持 Web、终端、桌面和移动端界面，覆盖所有操作系统。此外，Cybara 还内置了迁移工具，可从 OpenClaw 和 Hermes 导入代理、技能、内存和配置。该项目旨在提供一个功能全面、可扩展的端到端 AI 自动化解决方案。 #开源 #AI #Agent #TypeScript #Bun #自动化 #MCP #工具
Cybara 是一个完全开源、采用 MIT 许可的 AI Agent 平台，使用 TypeScript 从头构建。它集成了代理、工具、插件、技能、MCP、ACP、LSP、浏览器与桌面自动化、模型路由、提供商计划跟踪、消息集成、内存、多代理工作流，并支持 Web、终端、桌面和移动端界面，覆盖所有操作系统。此外，Cybara 还内置了迁移工具，可从 OpenClaw 和 Hermes 导入代理、技能、内存和配置。该项目旨在提供一个功能全面、可扩展的端到端 AI 自动化解决方案。 #开源 #AI #Agent #TypeScript #Bun #自动化 #MCP #工具
中国AI编程的入口之战，Qoder先拿下半壁江山
在AI编程工具市场争夺中，Qoder凭借技术领先与精准定位，率先占据了超过50%的市场份额，成为该赛道当前的最大赢家。这一突破标志着中国AI编程入口竞争进入新阶段，Qoder通过整合代码生成、智能调试及多语言支持等功能，大幅提升开发者效率，吸引了大量个人开发者与企业用户。业内分析认为，Qoder的快速崛起得益于其底层模型的持续优化以及对本土开发场景的深度适配。与此同时，其他厂商也在加速追赶，AI编程入口的竞争格局仍存变数，但Qoder已取得先发优势，后续如何维持增长并应对挑战将成为关键。 #AI编程 #Qoder #市场份额 #科技竞争 #人工智能 #编程工具 #中国科技
在AI编程工具市场争夺中，Qoder凭借技术领先与精准定位，率先占据了超过50%的市场份额，成为该赛道当前的最大赢家。这一突破标志着中国AI编程入口竞争进入新阶段，Qoder通过整合代码生成、智能调试及多语言支持等功能，大幅提升开发者效率，吸引了大量个人开发者与企业用户。业内分析认为，Qoder的快速崛起得益于其底层模型的持续优化以及对本土开发场景的深度适配。与此同时，其他厂商也在加速追赶，AI编程入口的竞争格局仍存变数，但Qoder已取得先发优势，后续如何维持增长并应对挑战将成为关键。 #AI编程 #Qoder #市场份额 #科技竞争 #人工智能 #编程工具 #中国科技
Airbnb 将 LLM 评估周期从数周缩短至一天
Airbnb 技术团队近日分享了其构建可靠 LLM 基础设施的经验。文章指出，训练大语言模型虽然容易，但设计可信任的评估实验以判断模型是否真正改进才是难点。由于模型输出非确定性、评分者判断漂移、参考结果随机变化等因素，传统指标失效。Airbnb 通过四层方法解决这一问题：第一层命名和诊断评估噪声来源；第二层建立确定性评估基准；第三层进行有界、有范围的模型变异；第四层在系统接缝处实施端到端验证。该方法将评估周期从数周压缩至一天，使得迭代速度大幅提升。团队强调，系统接缝处是问题高发区，需要全链路测试而非孤立验证。 #LLM #评估 #工程技术 #Airbnb #基础设施 #模型迭代 #软件开发 #人工智能
Airbnb 技术团队近日分享了其构建可靠 LLM 基础设施的经验。文章指出，训练大语言模型虽然容易，但设计可信任的评估实验以判断模型是否真正改进才是难点。由于模型输出非确定性、评分者判断漂移、参考结果随机变化等因素，传统指标失效。Airbnb 通过四层方法解决这一问题：第一层命名和诊断评估噪声来源；第二层建立确定性评估基准；第三层进行有界、有范围的模型变异；第四层在系统接缝处实施端到端验证。该方法将评估周期从数周压缩至一天，使得迭代速度大幅提升。团队强调，系统接缝处是问题高发区，需要全链路测试而非孤立验证。 #LLM #评估 #工程技术 #Airbnb #基础设施 #模型迭代 #软件开发 #人工智能