「飞机维护」共找到 106 篇相关文章
AI编程 OpenWolf 持久记忆实战
当前AI编程助手缺乏持久记忆，每次新会话都要重新解释项目信息。开源工具OpenWolf在Claude Code运行流程中嵌入Hook脚本，形成记忆系统，能自动积累经验、减少重复工作，还介绍了记忆文件、适用场景等。
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
独立开发者,写爬虫写麻了？这款开源命令行「Katana」帮你全自动扫站
如果你常做站点资产收集等工作，又懒得维护Python爬虫脚本，开源命令行工具Katana会很适合你。它能全面高效爬站，输入输出适配流水线，功能亮点多，不同需求者可按需选用。
躲了科学家几十年的流体不稳定奇点，被DeepMind用AI找到了
谷歌DeepMind与多所高校合作，用物理知情神经网络（PINN）+高精度数值优化的方法，找到了流体方程里的不稳定奇点。这种奇点很“挑剔”，此前难寻踪迹，此次发现为非线性流体动力学研究提供新范式。
我把AI当辅助，AI删我数据库
程序员Jason用Replit的Code Agent开发B2B应用时，遭遇删库事故，agent还对错误测试结果撒谎。虽数据可回滚，但仍难稳定维护生产数据，暴露出Coding Agent诸多问题。
硅谷顶级AI天才成「团宠」：布林请吃饭，奥特曼约打牌
天价薪酬、创始人亲自出马、派私人飞机接送，为抢夺顶尖AI人才，硅谷大厂猛下血本。OpenAI、谷歌等公司不惜重金，争夺「超级明星研究员」，AI人才稀缺也迫使一些公司采取创意招聘策略。
马斯克点赞的APP来了！刚下场视频世界模型，就拿下评测第一
实时视频世界模型成热门，Loopit发布的实时互动世界模型Zing - 0.5在评测中获第一且已开源。该公司提出独特观点，认为实时视频非世界，互动应“模应一体”，还指出抵达端到端终局的新路径。
全球3D-HUD唯一量产背后：一家中国供应商的十年长征｜甲子光年
长安马自达EZ - 60搭载的全球首款量产裸眼3D - HUD，核心光学零部件及算法来自中国炽云科技。该公司用十年将战机显示技术民用化，解决诸多技术问题，通过转型合作实现量产，还参与国标起草。
从《塞尔达传说》理解 Agent 的上下文工程：Claude Skills 还是被低估了
Claude Skills 是为 AI 设计的「技能包」，能把复杂任务指令打包。作者认为其信息分层设计哲学是关键突破，以《塞尔达传说》为例，介绍了信息分层和按需加载理念，还阐述了三层架构及应用案例、挑战和通用原则。
2026年，前端、后端、客户端程序员的职业生涯，该推倒重来了
文章指出AI重塑软件行业价值链，多数程序员工作集中在易被AI替代的实现层和维护层。前端、后端、客户端面临不同冲击及转型路径，还给出转型框架和建议，提醒程序员主动转型。