60 元用小米蓝牙遥控器 2 Pro 打造 AI 编程掌上控制器
作者介绍用 50-60 元的小米电视蓝牙语音遥控器 2 Pro（型号 RC003）为 AI 编程工作流搭建掌上控制器，配合开源的 SayAll 和微信输入法实现按住语音键口述 Prompt、松手文字上屏，并用方向键切换终端 Tab 和 Workspace、按 OK 键确认或返回键中断。
#编码
少数派AI 评分6969
品玩AI 评分2424 支付宝AI支付启动 PAYATHON 2026 年度黑客松：12月26日线下决赛、20万元奖池
10月24日，支付宝AI支付联合观猹发起 PAYATHON 2026 年度黑客松，邀请开发者携应用、Skill 或 Agent 参赛争夺 20 万元总奖池，报名截至12月1日，线下决赛12月26日举行。
Google BlogAI 评分5050 看看 5 位开发者用 Gemini 4 Argon 做出了什么
Google 展示了社区用新前沿模型 Gemini 4 Argon 构建的 5 个项目，包括实时映射野火与构造震波的 3D 地球仪、水上飞机模拟、涡扇发动机交互仿真、由单张图片生成的 3D 马车，以及多人夺旗游戏“Backyard Rascals”。
The Decoder精选AI 评分7373 Anthropic 用 Claude 自动生成形式化证明验证现有代码安全性
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 将 OSS-Fuzz 的 123 个开源库测试转化为数学问题，几周内生成约 1.8 亿行证明代码，由 Rocq 程序自动检查，几乎不需人工审查。
推荐理由：原文梳理了 Claude 做形式化验证的实际成果与条件限制，读者可以据此了解 AI 自动证明代码安全的能力边界。
The VergeAI 评分5858 AI 移植潮冲击复古游戏保护社区：The Verge 解析 decomp 场景的分裂
The Verge 报道 AI 编码工具大幅加快复古游戏 decomp 与 recomp 移植，过去一个月 Halo 网页版、Wind Waker 手机版等项目频繁走红，爱好者 Chris Sotraidis 几周内启动了十余个移植项目。
The VergeAI 评分6464 用户用 vibe coding 改造电视系统，Cleanyourtv 等去广告项目走热
多个用 LLM 和开源工具改造电视系统的项目上周末走红，包括 Cleanyourtv（19 日前叫 tv-vibehack）、tv-detox 和 dumbtv，可移除赞助广告、精简系统让运行更快，并阻断观看行为的数据收集，且无需 root 或刷机。
钛媒体AI 评分3636 第十八个双11，没有人再喊“全网最低价”
天猫、京东同日召开双11发布会，均未再主打“全网最低价”，天猫总裁家洛直言全平台五折“不可能”。天猫称今年为历年最大力度，100万个品牌、7200万款商品参与，基础优惠低至7.2折，但首日开卖四小时破亿品牌124个，少于2024年同期的174个。各平台取消凑单与预售改为官方立减，转向服务、AI（Token 成交比上月涨450%）与会员、新品等资产化增长。
雷锋网AI 评分4343 Kimi K3.1 泄露：3D 成本仅为 GPT-6 Astra 的 1/14，横扫海外视觉三巨头
月之暗面 Kimi K3.1 曝光，AI 博主 Chris 实测一周称其在 Three.js 上表现出色，成本仅为 Kimi K3 的 70%。该模型在 3D 图形、交互大屏等 6 大细分领域展现统治力，生成同等复杂度 3D 代码的 Token 消耗仅为国外顶级模型的几十分之一，与 GPT-6 Astra 相比成本约 1/14，还新增“Medium 中等思考”分级。
人人都是产品经理AI 评分4444 AI时代最危险的不是软件公司，而是甲方 IT
AI 时代甲方 IT 的处境比软件公司更危险：业务部门能用 AI 自己做应用，老板搞 AI 转型也先找外部咨询而非 IT。作者以某公司自建 AI CRM 系统因缺乏业务 Know-how 而被销售弃用为例，指出 AI 软件必须提升业务 KPI。建议 IT 团队主动跑一线、做好向上管理、主动引入外部专业团队，成为问题的发现者和推动者。
钛媒体AI 评分4343 Kimi K3.1 预热视频流出，疑似以匿名模型 Kibitz 现身 Arena
月之暗面发布24秒预热视频，画面中模型栏出现 Kimi K3.1，而 Arena 上匿名模型 Kibitz 被 Tokenizer 测试证实具有 Kimi 模型家族特征，疑似就是 K3.1。
钛媒体AI 评分6969 Anthropic发布报告：Claude生成约1.8亿行Rocq证明代码，让形式化验证规模化可行
Anthropic与Theorem Labs于10月23日发布报告《大模型正让形式化软件验证在更大规模上变得可行》，Claude模型针对123个开源软件库中的239个程序入口生成约1.8亿行Rocq证明代码，发现并修复数百个Bug，包括多年未被发现的漏洞。
钛媒体AI 评分6666 Mirendil发布单人训练的编码基座模型Mirendil-Base
硅谷初创公司Mirendil宣布，由1名研究员配合Agent，用三个半月、不到1000万美元成本训练出编码专用基座模型Mirendil-Base，参数在1000亿到5000亿区间，超过99%的代码由Agent编写，训练数据全部公开、未蒸馏也未用合成数据。
钛媒体AI 评分6161 从写字楼被裁后，退路是一条传送带：白领转行进厂背后的岗位收缩图景
这篇长文通过周岚、陈默、小陆、唐海镇等受访者的转行经历，呈现被裁白领转向制造业的现状：前端工程师转报PLC培训班，本科生在工厂招聘中被要求隐藏学历。文章引用Anthropic的观测暴露度数据（计算机程序员74.5%、客服代表70.1%居前列）和人社部装配、焊接、包装岗位AI替代率72%等数字，指出岗位收缩是技术替代、资本周期和裁员修辞三者叠加的结果，而再技能化的成本由个体用失业金和降薪自己结清。
199ITAI 评分5959 Linux基金会研究：生成式AI使开源代码编写时间缩短约一半，效率最高提升50%
Linux基金会研究部门发布、红帽赞助的调查显示，生成式AI可将开发者代码编写时间缩短约一半，多数开发任务效率最高提升50%。约59%的维护者称AI普及后贡献量增加，但约25%的PR被认为是低质量AI Slop（大型项目达31%），21%的受访者在高复杂度任务中使用AI反而更耗时。仅35%的开源项目已建立正式AI使用政策，报告建议项目制定书面政策并要求贡献者完成测试与披露。
钛媒体AI 评分4444 双11走向分化：天猫、抖音、京东、快手与小红书的差异化打法
今年双11周期未再拉长，立减仍是主要玩法，但大促承接的需求与各平台的增长方法正明显分化。天猫开卖4小时124个品牌成交额破亿、27681个品牌超去年全天，主打旗舰店+AI与88VIP；抖音截至10月18日破亿商家数同比增长200%，靠扩大流量池与内容分层；京东放大供应链与服务能力，快手和小红书继续讲社区与人的信任。AI是各家共同投入的下一个变量，但尚未对流量入口和消费决策产生决定性影响。
人人都是产品经理AI 评分4949 设计师与产品经理如何用“约束显化”把1句“绝对不能”写成机器可执行的约束意图
设计约束在AI生成时失效，原因不是AI理解力不够，而是口头判断从未被显式传递。文章提出“约束显化”方法：把1句“绝对不能”按禁止对象、后果、判定方式三要素写成约束意图，无需写代码或YAML。提交后系统自动编码为YAML契约、通过5项安检，并编译成Prompt前缀、JSON Schema、Checklist、CI规则四种格式，一处修改四处同步，使设计判断沉淀为组织资产。
The Decoder同新闻AI 评分7171 Recursive 发布首个模型 Flint，由 Eureka Machine 参与研发
AI 初创公司 Recursive 发布首个语言模型 Flint，其研发过程几乎每一步都有名为 Eureka Machine 的 AI 系统参与，由它提出想法、实现、测试并规划后续实验。
人人都是产品经理AI 评分5252 首席架构师 Carlos Kelkboom 总结五条 AI 编程原则
首席架构师 Carlos Kelkboom 在播客《Beyond Coding》中总结五条 AI 编程原则：亲自搭建脚手架、主 Agent 不碰代码只负责澄清需求、看不懂的代码直接丢弃、让 Agent 一次性完成较大任务、多 Agent 并行探索后由第四个 Agent 比较合并。
OpenAI NewsAI 评分2222 Cloudflare 借助 OpenAI 将漏洞发现与防御打通
Cloudflare 使用 OpenAI Daybreak 调查漏洞并提出修复方案供人工审核，其开发者则用 Codex 加快开发并提升代码质量。
Wired精选AI 评分7171 Recursive 发布开源权重编码模型 Flint，主打递归自我改进
Recursive 发布首个开源权重编码模型 Flint，参数规模 40B，可在 48GB 内存的 Mac 上运行。CEO Richard Socher 称，模型管线几乎所有环节都由其递归 AI 系统 Eureka Machine 完成并优化，包括新的基座训练方式、新架构和为特定芯片优化的代码；公司公布的基准显示 Flint 在编码任务上优于同尺寸同架构模型。
推荐理由：作者亲手实测 Flint 的编码表现，并梳理 Recursive 用 AI 自动化模型开发流程的做法与融资背景。
TechCrunchAI 评分6565 Recursive 发布笔记本端编码模型 Flint，称大部分由 AI 参与构建
Recursive 发布首个模型 Flint，这是一个可在笔记本上离线运行的免费编码模型，采用 MoE 结构，40B 参数中每次仅激活 2.5B，以 Apache 2.0 许可在 Hugging Face 开放下载。
甲子光年AI 评分5353 腾讯姚顺雨对谈实录：我不认为ChatGPT和Claude Code是唯一的Super App
2026腾讯云AI产业应用大会上，腾讯云CEO汤道生与首席AI科学家姚顺雨以「腾讯AI下半场」为题对谈。
甲子光年AI 评分6565 DeepSeek组建Harness团队，对标Claude Code
据甲子光年从接近DeepSeek的知情人士处获悉，DeepSeek正在组建新的Harness团队，方向是代码智能体产品，内部对标Claude Code。资深研究员陈德里在社交媒体证实此事，官方开放了Harness产品经理和Harness研发工程师两个岗位，工作地点限北京。
人人都是产品经理AI 评分5252 调教 AI Prompt 教程：五环节方法与 B 端设计案例
作者元尧提出与 AI 对话的五个环节，即确定目标、输入指令、输出结果、校验迭代、沉淀复用，并给出“AI 角色+业务背景+核心任务+硬性规则+输出格式”的提示词公式。文中以 B 端 Table 页面交互设计为例，演示如何划定边界、提供 Ant Design 5.0 规范、让 AI 并行输出两套方案并自评优劣。校验阶段建议梯度提需、跑偏即止损重开对话，最后把指令模板和规范做成 Skills 沉淀复用。
TechCrunchAI 评分5858 开发者用 AI 智能体给智能电视去广告，dumbtv 等项目在 GitHub 走红
一些开发者和 vibe coder 正用 AI 智能体改造智能电视，去掉开机广告、追踪功能和预装软件。
OpenAI NewsAI 评分2222 OpenAI 如何提升 ChatGPT 对低资源编程语言的支持
OpenAI 正在改进 ChatGPT 对低资源编程语言的支持，并新增了针对软件工程、SQLite 和 COBOL 迁移的评测。
品玩AI 评分6565 OpenCode Console遭入侵约1.4%用户API密钥或泄露
开源AI编程工具OpenCode披露，攻击者未经授权访问一套旧系统，OpenCode Console约1.4%用户受影响，部分工作区保存的第三方API密钥可能泄露。
品玩AI 评分5454 开发者用 Claude Code 等AI编程工具为智能电视“去臃肿”
据 TechCrunch 报道，多名开发者利用 Claude Code 等AI编程工具，通过局域网调试通道移除智能电视的预装应用、广告和追踪功能并替换启动器。
TechCrunchAI 评分2222 Replit CEO：未来工作是“自动驾驶公司”
Replit CEO Amjad Masad 在 TechCrunch Disrupt 上提出“自动驾驶公司”愿景：AI 智能体承担公司大部分基础工作，人类保留判断力与品味。他举例称 Replit 的支持工单先由智能体查看 GitHub issues、代码库和 Linear 工单完成初步分诊，人工决定修复后一键部署另一个智能体。Masad 认为智能体不是取代岗位，而是改变人们的工作内容。
TechCrunch精选AI 评分7474 Meta 发布可在 Mac 本地运行的开源权重模型 Muse Spark Open
Meta 发布开源权重模型 Muse Spark Open，称其为美国“最强”开源权重模型，采用 8160 亿参数和 100 万 token 上下文窗口，原生多模态，面向复杂编码任务和智能体工作。
推荐理由：Meta 开源权重模型 Muse Spark Open 的参数规模、上下文窗口与本地运行门槛，可供读者判断端侧大模型的落地条件。
OpenAI NewsAI 评分2828 Localiza 如何围绕生成式 AI 重组工作流程
巴西出行公司 Localiza 使用 ChatGPT Enterprise、OpenAI API 和 Codex，并通过 60+ 个专用智能体重组内部工作流程。该公司以此构建 AI 原生的出行服务体验。
OpenAI NewsAI 评分1515 Benefit Street Partners 用 Codex 更快回答客户问题
Benefit Street Partners 的 Anant Kumar 用 Codex 进行代码审查并加快后续跟进，从而更快回答客户问题。他借助 Codex 构建工具，用于比较贷款估值和分析信贷协议。
Google Blog同新闻AI 评分8383 Google 发布 Gemini 4 Argon，面向开发者开放
Google 发布前沿模型 Gemini 4 Argon，面向真实软件工程、企业知识工作和网络安全防御等复杂工作流，主打需要深度推理与结构精度的长周期任务，如代码迁移和前沿研究。
Google Blog同新闻AI 评分8282 Gemini 4 Argon 上线 Gemini 应用
Gemini 4 Argon 已在 Gemini 应用上线，主打前沿推理与复杂任务性能提升，回答更直接、少重复、少套话，长任务中会更频繁同步进度。
品玩AI 评分6767 AI应用创业困局：从做独立App到退居Agent插件与B端造血
品玩报道，AI应用创业者正放弃“成为下一代入口”的梦想，向两个方向逃离中间地带：ChatCut、OpenDesign、Ego Lite等公司把剪辑、设计、浏览器能力拆成Codex、Claude Code等Agent可直接调用的插件；另一些团队转向B端定制与现金流生意。
OpenAI NewsAI 评分2727 Asana 用 GPT-6.1 Sol 在浏览器测试中将模型成本降低 76 倍
Asana 借助 Codex 中的 GPT-6 Astra，在测试中让浏览器智能体成本降低 76 倍、速度提升 5 倍，从而为客户提供能力更强的模型。
品玩AI 评分5858 TRAE 合并 TraeWork 与 TraeCode，统一客户端提供 Agent 工作台与 IDE 双模式
TRAE 将 TraeWork 与 TraeCode 合并为一个客户端，保留开发能力并新增 Agent 工作台，可在统一界面跨项目分配任务、调度多个 Agent 并行工作，细改时进入同一项目的 IDE 模式。