「古法编程」共找到 1431 篇相关文章
Gemini 3 Pro的位置，Kimi K2.5也想坐坐？
Kimi 发布 K2.5，在视觉编程上表现亮眼。它通过多模态训练涌现审美，能生成美观网页。与 Gemini 3.0 对比各有优势，Kimi Code 开源终端 Agent 功能强大，Kimi 还探索 Agent Swarm 协作新路径。
创始人“背刺”员工获财富自由，Devin接盘火速兑现员工期权，华人CEO暗讽：做个人吧！
当地时间7月14日，Devin背后公司Cognition宣布收购Windsurf。此前Windsurf收购案波折不断，创始人带部分人去谷歌，剩下员工去了Devin。此次收购引发对AI编程工具竞争的讨论，也暴露一些行业问题。
NeurIPS 2025 Spotlight | 选择性知识蒸馏精准过滤：推测解码加速器AdaSPEC来了
大型语言模型推理延迟高、开销大，推测解码可加速但依赖草稿与主模型一致性。佐治亚理工等团队提出 AdaSPEC 蒸馏法，过滤难学 token，提升草稿模型与目标模型对齐度，实验显示能提升接受率和推理速度。
一个跑智能体，一个专门找漏洞：Google发布Gemini 3.8双版本
9月2日，Google发布Gemini 3.8 Flash和Gemini 3.8 Flash Cyber。前者用于编程等，已稳定上线；后者专用于发现修复漏洞，仅向特定方开放。二者共享基础能力，采用不同安全限制和部署环境。
当 AI 能写代码修 bug，高考报计算机专业是“火坑”还是“新机遇” ｜深度对话 6 位专家
在 AI 浪潮下，编程范式变革，开发岗位结构改变。本文采访 6 位专家探讨高考生报计算机专业是否值得，还分析适合人群、专业核心技能重要性变化等，为考生提供多维度参考。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
22.4K Star！这个开源 AI 工具给 Agent 装上「项目经理大脑」！
GitHub上项目Beads登上Trending榜单，它是为AI编程助手设计的分布式任务追踪系统，底层基于Dolt数据库，解决多AI协作痛点，有版本控制、AI优化等亮点，还提供多种安装方式。
本周推荐的5个yyds的Github开源项目！
本文推荐5个Github开源项目。有文件转换神器FileConverter，免费编程学习资源free - programming - books，轻量级虚拟机管理器Lima，Linux游戏管理平台Lutris，以及全能文件管理器Sigma File Manager，各有特色和功能。
Agent当道、模型封装一切：AI 时代的产研人如何不被“优化”？
随着 Agent 普及，技术复杂性被模型封装，产研人面临挑战。InfoQ 直播栏目邀请嘉宾探讨应对之策，还分享 AI 项目经验，分析 AI 编程痛点、落地案例，以及产品上线障碍和商业化方向。
小模型推理极限在哪里？微博开源3B小模型，比肩顶级闭源
微博新开源的VibeThinker - 3B小模型，将特定能力维度性能推向极限。它在数学竞赛、编程等可验证推理基准上表现优异，成绩直逼顶尖大模型。其训练流程层层叠加，还提出参数压缩 - 覆盖假说。