潮港城的引航徒
一、潮港城里有个只翻旧册子的年轻人潮港城坐落在两片暗礁之间,进出港的船全靠引航人。城里的水道千回百转,哪一处藏着吃人的暗礁,哪一股流会在一刻钟内把船推上浅滩,都记在一本本《航录》里。 少年卡里姆想拜师学引航。师傅蕾拉是城里最稳的引航人,接的活最多,翻的船最少。 "学引航不难,"蕾拉说,"先把这三百卷《先辈航录》读熟。每一卷都记着:某年某月,某位老引航人从几号浮标出发,走了哪条线,遇了什么风,最后平安还是触礁。" 卡里姆翻开第一卷,密密麻麻都是前人的脚印。他读了三个月,觉得自己把整片海装在脑子里了。 二、老引航师立下一条死规矩"现在,"蕾拉指着港外一片雾蒙蒙的水域,"你随我出三次海,只许看,不许碰舵。" 卡里姆不解:"为何不让我自己试?悟出来的舵法才牢。" 蕾拉摇头:"三十年前,有个天才少年,也像你一样读熟了航录,自以为通了。他没经手过真正的舵,便在一个雾天私自驾船,想抄一条航录里没写、他自己'算出来'的近路。结果船撞上暗礁,人没了。从那以后,本城立了死规矩...
AI 新闻速递|2026-08-28:Agent Plugins 跨厂商标准落地、代码智能体走向"可控可审计"、小鹏 Dogotix 9 亿美元融资、机器人"边部署边学习"、Booster 登 Science Robotics 封面
今天的主线从"炫技"切到"工程化与可信化":AI 编程的竞争从各家各造 Harness 转向插件互通与可控审计,具身智能从 demo 叙事推进到规模融资、车队进化与零样本真机。以下筛选 5 条主线 + 3 条快讯。 一、Agent Plugins 1.0 成跨厂商开放标准,编程智能体告别"各自造壳"截至 8 月 25 日这一周,一个厂商中立的 Agent Plugins 打包规范(核心文件 plugin.json + skills/ + mcp.json)正式落地并获主流客户端支持:GitHub 宣布 Agent Plugins 1.0 在 VS Code、Copilot CLI、Copilot SDK、Copilot App 全面 GA。这是首个让单个 skill/插件可在 Copilot、Codex、ChatGPT/Codex、Cursor 等客户端间移植的实用标准。 为什么值得关注:8-27 我们聊的是"Harness 军备竞赛"——各家各做各的编程外壳。这一周风向变了,竞争...
秒杀系统高并发优化实战(C++ / Drogon):专栏介绍
你用 C++ 写过后端吗?大多数人一聊高并发就想到 Java 的那套中间件全家桶,但其实用 Drogon + Redis + RabbitMQ 也能撸出一个 30000+ QPS 的秒杀系统,而且能顺手把 epoll、协程、无锁队列、内存池 这些 Java 教程很少展开的系统底层一次讲透。本文是整个「秒杀系统(C++ / Drogon)」系列的开篇——先把业务挑战和4 阶段架构演进讲明白,后面每篇你都知道自己在"第几层"。 这是我个人用 C++ 从零搭建高并发秒杀系统的实战记录。重点不在堆功能,而是每一步的项目思考、实现路径,以及关键功能抉择上的权衡——为什么先用数据库直连而不是一上来就上缓存?为什么用 Redis Lua 而不是分布式锁?为什么异步下单而不是同步落库?完整 8 章路线图见同目录 内容规划.md。 一、秒杀系统是什么,为什么值得用 C++ 做 是什么:秒杀系统是在极短时间内承接海量并发请求、完成"查库存 → 扣库存 → 下单"的电商子系统。淘宝双十一、京东 618、小米抢购、茅台预约,背后都是它在撑。 坑:它不...
秒杀系统高并发优化实战(C++ / Drogon)· 总路线图(Master Plan)
秒杀系统高并发优化实战(C++ / Drogon)· 总路线图(Master Plan) 目标:用「讲透式」博客(是什么 → 坑在哪 → 本质一句话 → 关键 C++ 代码 / 内联 SVG → 对比表)从 0 到 1 用 C++ 渐进式搭建一个支撑高并发的秒杀系统。通过问题驱动 + 压测验证,把系统 QPS 从 50 拉到 30000+,清晰看到「单体 → 微服务」的架构演进全过程。这是作者个人的实战记录:重点不在堆功能,而是每一步的项目思考、实现路径,以及关键功能抉择上的权衡(例如"为什么 Redis 预热而不是直接落库""为什么 Lua 原子扣减而不是分布式锁""为什么异步下单而不是同步落库"),并补上 C++ 特有的系统级拆解(epoll、协程、无锁队列、内存池)。读法:先骨架后血肉——先把「业务挑战 + 4 阶段架构演进」看明白,再逐阶段下钻到表设计、登录、缓存、MQ、Lua 预扣、防刷限流。 〇、阅读约定(本系列) 技术栈(C++ 实现): Web 框架:Drogon(C++14...
续艺坊的守籍人
一、续艺坊里有个什么活都接的人南河边上有一座续艺坊,专接四方来的零碎活计。坊主是个精明人,最怕手底下的匠人只会一样——东家今天要竹篮,明天要铁锅,后天要绣帕,样样都外请,工钱就薄了。 坊里有个叫通百的后生,手巧,记性也好。坊主便把一样样手艺往他身上堆:头年教他编竹器,他三个月就摸出门道,劈篾走篾比老篾匠还顺;次年教他铸铁,他也能看火色、辨铁性,铸出的锅底不偏不漏;第三年又添了绣花、斫琴、髹漆。 头几年,坊主乐得合不拢嘴:有这么个"什么活都能顶上"的人,续艺坊的招牌越挂越响。 可怪事是慢慢显出来的。 二、新艺越是精,旧艺越是淡先是有人来取三年前通百编的那批竹篮,说编口松了要紧一紧。通百接过竹篾,手却生了——他忘了怎么把蔑丝在指间转那个巧劲,编出来的底歪歪扭扭。坊主纳闷:"你不是编竹起家的么?" 没多久,铸铁也出了岔子。一炉好铁,通百盯着火色竟拿不准该什么时候起炉,差点烧过了头。绣花更不用说,从前能绣出活灵活现的并蒂莲,如今针脚乱了章法。 最蹊跷的是:每丢一门旧艺,总是发生在他刚精通一门新艺之后。铸铁刚上手那阵,竹编就淡了;绣花刚出师,铸铁的手...
AI 新闻速递|2026-08-27:中国开源模型下载首超美国、DeepSeek 开源 Harness、世界机器人大会与人形运动会收官、代码智能体走向形式化验证
今天的主线从"模型之争"切到"生态与落地之争":中国开源模型全球下载占比首次反超美国,编程智能体的竞争从"模型能力"卷向"Harness 工程化",具身智能在机器人大会与运动会里把"能跑会跳"推进到"能想会干",而学术圈开始把代码生成推向"可形式化验证"。以下筛选 4 条主线 + 3 条快讯。 一、中国开源模型全球下载占比达 41%,首次超过美国8 月 22 日前后,Hugging Face 春季报告与多家媒体汇总给出一组关键数据:中国自研开源模型的全球下载占比达到 41%,首次超过美国。这背后是 DeepSeek、阿里、智谱、MiniMax、Kimi 等一批厂商的集体发力——开源模型已从"追赶者"变成闭源模型的实际竞争者。 为什么值得关注:这不是单点突破,而是生态拐点的信号。同一周,DeepSeek 在 8 月 13 日同时发布 V4 Pro 正式版与开源的 Harness 开发者工具:V4 Pro 在 AI 编程智能体...
百艺镇的过手人
一、百艺镇里有个什么活都接的人百艺镇坐落在三条商道交汇处,镇上尽是手艺人。做陶的陶翁,开锁的锁匠,织锦的织娘,每个人守一门手艺,够吃一辈子。 唯独有个叫沈九的,镇上人唤他"过手人"。 "过手人,我这有批青瓷要补。""成。""过手人,库房铜锁卡死了。""成。""过手人,嫁衣的盘金绣缺个人。""成。" 陶翁私下嘀咕:"这小子样样都接,样样都不精,迟早砸招牌。" 可奇怪的是,沈九接的活,没有一件返工。 二、老师傅看出了门道那年冬至,老木匠曲伯把沈九堵在巷口。 "九儿,你跟我说实话。你陶活接三天就走,锁活接五天就走,织活更绝,两天就撂下。你到底在练什么?" 沈九笑了:"曲伯,我没在练哪一门。我是样样都沾,样样都换。" "换着练,还能练出本事?" "您看陶翁,三十年只揉一种泥。我呢,今年揉陶、明年开锁、后年织锦,十年下来,百十门手艺都摸过一遍。" 曲伯眯...
拼音如何切词:从音节歧义到中文分词的完整链路
引子你敲下 woaizhongguo,输入法瞬间吐出「我爱中国」。中间那道没有空格的拼音串,是怎么被「切」成「我 / 爱 / 中 / 国」四个词的? 这件事远比看上去难。汉语书面语没有词边界,而拼音作为汉字的转写,同样没有边界——声母、韵母可以无休止地黏连成一长串字母,且大量合法的切分方式同时存在。拼音切词(pinyin segmentation)本质上要解决两层问题:先把这串字母切成合法的音节,再把音节序列解码成最像人话的汉字与词。 本文顺着「切音 → 解码 → 分词」的链路逐层拆开,并用可运行的最小代码把歧义和消歧都演示出来。 一、第一层:拼音音节切分(切音)拼音的最小单位是音节:一个音节由「声母(可空)+ 韵母」构成,如 zh + ang = zhang,或零声母的 an、er。切音的目标,是把无空格的字母串切成一串「每一个片段都是合法音节」的序列。 做法很朴素:准备一张合法音节词典,再用动态规划(或回溯枚举)把所有合法切分找出来。下面这张图是切音的执行模型——它像在一串字符上不断「试切」,只要切出来的片段在词典里就放行: 12345...
2026-08-26 AI新闻速递
今天 AI 圈的主线很清晰:coding agent 从「终端 / CLI」走向「协作空间与 IDE 原生」,具身智能在资本与「机器人大脑」叙事上加速,基础设施则进入「agentic 经济性」的硬碰硬竞争。以下筛选 5 条值得关注的动态,并附 3 条快讯与一段小结。 一、Slack Code 发布:把 coding agent 搬进项目频道8 月 20 日,Slack 发布 Slack Code,把 AI 编程智能体直接放进项目频道(code channel),和人类队友同处一个对话空间。团队可以跟随 agent 的活动、审阅改动、查看实时 HTML 预览,也能随时让 agent 改方向、暂停或停止。 为什么值得关注:它把「写代码」这件事从终端里拽出来,塞回团队原本就在聊天的频道里——产品、设计、非工程同学不用开终端也能参与。高风险的「推到生产」动作仍需专家审批,agent 继承既有权限与安全策略。口号是 "No ticket, no meeting, no waiting – just a fix, shipped"。这代表 coding agen...
青崖镇的驯鹰人
青崖镇挨着一片大芦荡。镇上人靠驯鹰抓野鸭过活,谁家鹰把式好,冬天就宽裕些。柳翁是这一带最老的驯鹰人,手上那层茧,比镇口的石碾还厚。 这年开春,他摊上两桩活:自家孵出一只灰背隼,取名灰背;邻家少年阿禾也抱来一只雪爪隼,央他带一带。柳翁都应了,可教法,从第一天起就分了岔。 一、柳翁给灰背定了一份序灰背还软着翅膀,柳翁没急着带它去芦荡。他先关起院门,给灰背排了一份"序"——从头到尾,先练什么、后练什么,一阶一阶写着。 阿禾趴墙头看,撇嘴:"鹰是抓鸭的,您先让它扑鸽子,这不耽误工夫?" 柳翁只笑:"急什么,台阶得从底下一级级踩实。" 二、先喂最慢的,再添风灰背头一个月只做一件事:在空场上扑草垛里钻出的家鸽。家鸽慢、飞得直、不拐弯。灰背扑空了,柳翁不骂,只把鸽放得再近半丈。 等灰背十扑九中,柳翁才加第一道难:起风时再放鸽。又练稳了,换成芦荡里野性大的斑鸠;再往后,是贴着苇尖飞的翠鸟;最后,才是真正要价的野鸭——又远、又刁、还懂往泥里钻。 每一阶,灰背都先稳了,才许进下一阶。 三、阿禾的雪爪:一上来就奔大货阿禾性子急。他看灰背扑家鸽...
AI 新闻速递|2026-08-25:编程工具掀起千亿整合潮、模型默认权换防、终端 Agent 上云、具身智能卡在"数据鸡生蛋"、人形机器人迈进家门
昨天的关键词是"人形机器人上球场当考官、Copilot 插件标准破壁、开发智能体接管 DevOps、Claude Code 锁资源、Oracle 给 AI 代码设红线"。今天两条线各自再往前挪一格:AI 编程从"单点能力比拼"拐向"资本与平台层面的整合 + 模型默认权换防 + 终端 Agent 向云与多云扩散";具身智能则从"炫技阅兵"拐向"规模化落地前的真瓶颈——数据与进家门的第一步"。挑了 5 条,每条附上为什么值得关注。 1. AI 编程 | 千亿整合潮:SpaceX 600 亿收 Cursor、Stripe 75 亿收 OpenRouter、OpenAI 30 亿收 Windsurf事件:8 月 20 日前后,Developer Tools Watch 盘点出一笔约 6000 亿美元的 AI 编程整合浪潮:SpaceX 宣布以 600 亿美元全股票收购 Cursor(预计 2026 Q3 交割,意在把 Cursor 与 xAI 的 Grok、Colossus 超算拼成...
银湾渡口的敲钟徒
银湾是南方一处两山夹出的渡口。往东去是城镇,往西去是矿场,中间的水道不宽,却藏着两道险滩——上游的鹰嘴矶,和下游的回龙洲。石质的暗礁常年半浸在水里,涨潮时没顶,落潮时露尖,行船全凭掌舵人识得水道。 老摆渡人周伯在这条线上走了四十年。他从不看罗盘,只认三样东西:水道里那几块做了记号的石标、潮水拍打船底的闷响、还有风从哪个山坝里钻出来。每天头船解缆前,他必敲三下铜钟。那钟声是给岸上候船人听的——“要开了”;也是他自己的老习惯,敲完心就定了。可钟声与船往哪边走,半点因果也没有。 一、来了个爱盯钟的学徒阿砚是矿场那边送来的少年,说想学撑船。周伯应了,让他先跟半个月。 阿砚人勤快,眼睛却用错了地方。别人学艺盯水道,他整天盯周伯的手。头七天他就摸出“规律”:钟响过,周伯的手准往左带一篙;有时钟响两下,那便是要往右让礁。他偷偷在袖口上划道道,记下一本“钟谱”:一响左,两响右,三响是启航不动舵。 他练得极像。周伯敲钟,他抢在前面把钟槌抡圆;周伯带篙,他连手腕的弧度都学。岸上人夸:“这徒弟,比师傅还像师傅。” 只有周伯心里犯嘀咕:这娃从没问过石标在哪、潮声怎么辨。可他没多说,心想日子长了自然懂。 ...
AI 新闻速递|2026-08-24:人形机器人上球场当"考官"、Copilot 插件标准破壁、开发智能体接管 DevOps、Claude Code 锁资源、Oracle 给 AI 代码设红线
昨天的关键词是"国产旗舰同一周阅兵、定价峰谷分层、具身从估值锚到出货量锚"。今天两条线各自再往前挪一格:AI 编程从"单个 Agent 能写代码"拐向"可移植的技能资产 + 全生命周期 DevOps 接管 + 资源与信任护栏";具身智能则从"本体炫技"拐向"在真实动态环境里被当成考官来考"。挑了 5 条,每条附上为什么值得关注。 1. 具身智能 | 世界人形机器人运动会开赛:网球、乒乓球成了具身智能的"动态考场"事件:8 月 22–23 日,第二届世界人形机器人运动会在北京开赛。最抢眼的是人形机器人真的上场打球——银河通用(Galaxy General Robotics)的 Galbot ET1 在开幕式上与技术人员对打网球,能自主判断落点、移动步法、挥拍回球;超维动力的 KAI 则完成了首个人形机器人自主乒乓球完整对局。厂商披露,这类系统普遍采用"大脑(高层决策)+ 小脑(全身运动协调)"双层级架构,训练数据来自真人动作捕捉 + 虚拟...
后端开发除了增删改查还有什么?从日常问题到工程思路
CRUD 是后端的入口,但真正决定一个系统能不能扛住的,是它周围那一圈机制。下面用"注册"这个最普通不过的接口当线索,把周边的问题和对应的工程方案过一遍——有些是行业标配,有些不常提、但遇到复杂场景时很顶用。这里不打算写成操作手册,只是把真实系统里常见的选择摆出来。 一、一个"注册"会牵出哪些问题最朴素的注册只有三行: 123public void register(String phone, String password) { userDao.insert(new User(phone, encrypt(password)));} 上线之后,真实环境会一个接一个地抛出问题: 重复提交:用户连点两下,或脚本一秒刷一千次,数据库扛得住吗? 慢依赖:注册完要发短信,短信接口两三秒才回,注册流程要干等吗? 跨服务:邀请注册送积分,积分服务是别的团队的,他们宕机你的注册也要挂吗? 数据量:单表涨到一千万行,注册都变慢了怎么办? 安全:密码要加密、密钥要轮换,加密服务自己挂了用户登不了录怎么办? 多机房:国内海外两个...
雪原驿马站的哑仆
白桦岭是雪原上最后一个能换马的地方。往北再走,四百里没有人烟。 所以每趟车到了岭上都要停,卸货、换马、重装、再走。站里养了三十七匹马、九副套具、两口铁炉,还有一套用了二十年的规矩。 一、三个人都没错,二十七瓶药还是碎了规矩是三道手续,三个人各管一道。 第一道在雪场上。望桩人亚努什裹着羊皮出去,绕车走三圈,看货、看轴、看前头三里的雪情,回来在一张纸上填八个栏目:货几石、箱几口、雪深几寸、道分几等、风向哪边、出发何时。 第二道在账房。画单人伊尔莎接过纸,照上头的数目排道——八石以下走近道,近道有个陡坡;八石以上走绕道,绕道多两个时辰。她把道次、时辰、换马的桩号一并写全,盖上站里的木印,这就成了行车单。 第三道在马厩。驭手波格丹拿到单子,照单套马、照单装货、照单赶车。 二十年,这三道手续没出过大岔子。 那年腊月出了一次。 南边来的药商托了一批货:一百二十只玻璃药瓶,分装两口木箱,外加一捆兽皮。亚努什绕车三圈,填了纸:货八石,箱两口,雪深一尺二,风西北,道听凭排。 伊尔莎一看八石,正好在近道那一档,便排了近道,省两个时辰。 波格丹照单赶车。近道那个陡坡他闭着眼都能下,当天日头没落就到了。...
AI 新闻速递|2026-08-21:Grok Bot 走红硅谷、DeepSeek V3.1 双模式合一、Qwen-UI-Agent 把屏幕当接口、宇树提「物理 AI 自进化」+ 万元机械臂、机器人演出沙盒审批
昨天的关键词是"大会实景、国产 VLA 开源、自主交付 GA、Agent 接生产库、效率军备赛"。今天两条线各自往前挪了一格:AI 编程从"工具能力比拼"拐向"产品封装与入口之争"——零配置多智能体、单模型自适应快慢思考、把屏幕当最大接口;具身智能则从"本体与模型"拐向"大脑自进化 + 硬件价格拐点 + 制度基础设施"。挑了 5 条,每条附上为什么值得关注。 1. AI 编程 | Grok Bot 走红硅谷:零配置 + 云端虚拟机 + 多智能体原生协同,被称"又一个 Claude Code 时刻"事件:xAI 推出的 Grok Bot 近日在硅谷引发热议。投资人 Gavin Baker 在 X 上称其为"AI 的又一个 Claude Code 时刻",自述个人 AI 使用量因此增长约 100 倍,并举例:在 Grok Bot 里从零构建一个播客摘要器只花了约 15 秒。产品设计的三个关键词很清楚:极致零配置(不用选模型、不调参数、不配本...
玉津渡的琢玉人
玉津渡的人靠水吃水,也靠水里的玉吃水。渡口往西三里是磬记作坊,专雕一样最金贵也最娇气的东西——薄胎玉盏。那盏壁的薄,对着光能透出指影,胎越薄,价越高,也越容易碎。 一、阿陶的手太硬了阿陶是老磬新收的徒弟,性子急,下刀前总把玉胚死死按在砧上,手指扣得发白,像怕玉跑了。 头半月出活快,可出事的也正是快活。那天一只薄胎盏雕到第七瓣,胎薄得几乎透光,阿陶照旧死按住。玉里偏生藏着一处硬瑕,刀尖一顶,那瑕猛地顶回来。阿陶的手没让,硬碰硬—— "嗒"的一声,盏口崩去一角。 老磬进来,没骂,只把碎角捡在掌心掂了掂,说:"可惜了。不是你手不稳,是你手太硬。" 二、手要像弓弦,不按,是搭老磬拉过一把弓,松松把弦搭在阿陶腕上:"你方才是在'按住'玉。玉是活的,你硬它硬,两硬相争,先碎的准是薄的。" 他把手虚虚覆在玉胚上,指腹似贴非贴:"要这样——搭着。玉推你,你就退;玉一松,你再进。像这弓弦,弦不咬住箭,是虚虚挂着,箭往哪去,弦就顺哪去,可真要使劲时,它又兜得住。" 阿陶试着虚搭,落刀竟飘,胎面起了一道波浪...
AI 新闻速递|2026-08-20:世界机器人大会开幕、小米 XR-1 开源 VLA、Copilot Autopilot GA、MongoDB 给 Agent 接生产库、Cursor 构建提速 3×
昨天的主题是"大厂下场做终端 Agent、CLI 成主接口、具身智能上市前夜、脑电攻数据瓶颈、控制消费级化"(Muse Code、OpenCode、Agility、Encord、Enigma)。今天两条线继续拐弯:具身智能从"商业化叙事"拐进"大会实景交付 + 国产 VLA 基础模型开源",AI 编程从"终端 Agent 单点突破"拐进"自主从需求到 PR 的 GA + 给 Agent 接生产数据 + 基础设施效率军备赛"。挑了 5 条,每条附上为什么值得关注。 1. 具身智能 | 2026 世界机器人大会开幕:天工 Omni 家用小型人形、Pelican-Unify 1.0 具身多模态大模型、星海图 G0.5 前置仓实景接单事件:8 月 19 日,以"人机共生产需共融"为主题的 2026 世界机器人大会在北京亦庄启幕。本届最突出的信号是具身智能从"能跑会跳"向"能想会干"加速进化:① 北京人形机器人创新中心展出面向...
维肯湾的摆渡人
一、三里的窄湾,十一道弯,谁也别想一次看清维肯湾是一道夹在峭壁间的窄峡,水程不过三里,却拐着十一道弯。潮水每天两涨两落,落差能到六尺,水下还藏着暗礁。镇子南北两岸全靠老埃里克一人摆渡——一条十二尺长的小船,载货也载人。 "这湾,"老埃里克常对船上的客说,"不是靠胆子大就能过的。上游来的人,十个有九个栽在'以为看清了全程'上。" 他说的"上游来的人",是指那些从平湖学会撑船、头回走这道峡的外乡舵手。他们有个共同的毛病:上船前先在岸上把整条航线画好,几步左、几步右、何时收帆,一板一眼记在木牌上;上了船,就照着木牌一路打舵,绝不改。 头三里还行。可到了第五道弯,潮水忽然比木牌上算的急了三成,船一下被推向礁石。那人死攥着木牌:"计划没错啊!"——可水不等他。 二、老埃里克的办法:每段只看二十丈,试五套舵,只落第一舵小托是老埃里克新收的学徒,第一天就跟出了事。 "师傅,您怎么从不在岸上画全程?"小托指着别人手里密密麻麻的木牌。 老埃里克笑:"画了也是白画。这湾的潮,...
AI 新闻速递|2026-08-19:Muse Code 入局、OpenCode 破 14 万星、Agility 上市前夜、脑电标注攻数据瓶颈、机器人控制"调音量"
昨天的主题是"运行时开源、AI 反向养开源、内部工具开源化;视频跨形态预训练、机器人进真实照护"(DeepSeek Harness、Vercel Agent 工厂、Spotify Xirp、Dyna DYNA-2、深圳 0755)。今天两条线继续拐弯:AI 编程从"开源运行时/工具"拐进"大厂亲自下场做终端 Agent + CLI-native 成为主接口",具身智能从"视频预训练/进养老院"拐进"商业化上市前夜 + 用脑电攻真实数据瓶颈 + 把控制做成消费级交互"。挑了 5 条,每条附上为什么值得关注。 1. Meta 发布 Muse Code 终端编码智能体:Muse Spark 1.2 驱动、并行子 Agent 跑在隔离 git worktree、事件日志可重放事件:8 月 5 日,Meta Superintelligence Labs 推出首款专属终端编码智能体 Muse Code(公开 Beta,单命令安装于 macOS/Linux),...
悬丝镇的提线师
悬丝镇逢年要闹元宵。镇中心高台上立着九盏莲灯,最高的那盏离地三丈,灯芯细如针尖。按老规矩,点灯不能用人手,得由镇上最巧的悬丝木偶"照夜"伸手去引。 照夜不是寻常木偶。它一身十二道关节——双肩、双肘、双腕、十根指节各算一道,牵线的师傅只能在木偶身后拧十二个铜旋钮,每个旋钮管一道关节转多转少。没人能把手直接按到灯前:手是"果",旋钮是"因",中间隔着一整条胳膊。 柯师傅是镇上做了三十年悬丝的老手。今年他收了个徒弟阿砚,元宵前夜头回让阿砚上手。 一、阿砚拧了一宿,灯芯还是凉的阿砚盯着最高的那盏莲灯,凭感觉把十二个旋钮挨个拧了一遍。木偶的手抬起来,却偏了足有三尺,没碰到灯芯,倒把帷帐燎了个焦边。 "师傅,我明明照着灯拧的……"阿砚满头汗。 柯师傅没骂,只指了指木偶的手:"你拧的是因,灯是果。你一头扎进因里乱拧,却从没问过——手现在差灯还有多远、朝哪边偏。你调的是旋钮,不是手。" 他让阿砚退开,自己伸手:"看好了。先别管灯,先看手。" 柯师傅只把右腕的旋钮轻转半分,木偶的...
B+树与HNSW——数据库索引与向量检索的两座丰碑
一、两类检索,两套解法做后端的同学应该都有体会:检索这件事,本质上分两种。 第一种是精确检索——"查 id = 10086 的记录"、"查工资在 1万~2万之间的员工"。结果必须一个不多、一个不少,错了就是事故。 第二种是近似检索——"找和这段文字意思最像的文档"、"找长得最像的这张脸"。结果只要**"差不多"就行**,漏掉一两个冷门候选完全可以接受,但速度必须快到毫秒级。 这两种需求,各自催生了各自的事实标准: 精确检索 → B+ 树(MySQL InnoDB、PostgreSQL、SQLite 的默认索引结构) 近似检索 → HNSW(Milvus、Weaviate、Qdrant、FAISS 的主流索引结构) 它们名字里都带个"树"或"图",但设计哲学天差地别。这篇把它们放一起掰开揉碎地对比——搞清楚它们各自解决什么问题、为什么长成这样、什么时候该用哪个。 二、B+ 树:为磁盘而生的"多路平衡树"2.1 ...
AI 新闻速递|2026-08-18:Agent 运行时开源、AI 反向维护开源库、视频预训练跨形态、机器人进养老院
昨天的主题是"开源登顶、安全反噬、插件互通、全身协同、原生全模态"(GLM-5.3、Ghostjacking、Agent Plugins、北大灵巧手、智元 WITA-Omni)。今天两条线继续拐弯:AI 编程从"用现成工具"拐进"底层运行时开源 + AI 自己维护开源库 + 大厂内部工具开源化",具身智能从"全身协同/全模态"拐进"纯人类视频跨形态预训练 + 真实照护场景落地"。挑了 5 条,每条附上为什么值得关注。 1. DeepSeek 开源 Harness v0.1:Agent 运行时本体 MIT 放出,插件架构可换模型/工具/UI事件:8 月中旬,DeepSeek 将内部自用的编码 Agent 运行时 Harness v0.1 以 MIT 协议公开发布,任何人可免费商用与修改。它的核心是一套名为 Cordis 的插件架构——开发者能不动"连接各部件的胶水代码",直接替换底层模型、工具、文件系统访问、用户界面任一环节;兼...
霜河镇的削弓人
一、霜河镇的老规矩:一把弓,要吃透一段木霜河镇在北境,临一条冻得慢的河。镇上人人会使弓,却只有老弓师凡恩打得出"扛风不抖、满弦不裂"的好弓。 凡恩收了个学徒,叫莱拉。头一天,凡恩不教她摸弓,只把一段木料丢在她面前:"先看懂它。木有纹、有湿、有节——同一把刀法,落在不同的一段上,结果是两码事。" 莱拉此前跟过别的师傅。那边的教法简单:师傅削一段,徒弟照着原样削一段。"照猫画虎,总错不到哪去。"莱拉说。 凡恩摇头:"那是害你。你照的那一段,纹直、干燥、无节。可真到了山上,十段里有八段带节、返潮、纹还扭。你照着'标准刀法'削下去,弓到第三拉就裂。" 二、凡恩师的"乱削起步"法半月后,莱拉削废了七段木。凡恩这天把她叫到工棚,递来第八段。 "今天换个练法。"凡恩说,"你别想着一次削对。先闭眼,凭手感胡乱削它几刀——削出个歪七扭八的坯子来。" 莱拉愣了:"那不是更废?" "废就废。"凡恩笑,&quo...
AI 新闻速递|2026-08-17:GLM-5.3 登顶开源编程、Agent 安全拉响警报、机器人打通全身协同
昨天的主题是"编排开源、价格踩穿、视频即学、数据有标"(YC 的 QM、编码模型价格战、X Square HOST、Gemini Robotics 2、越疆鹿萌 + 数据集国标)。今天两条线继续深化:AI 编程从"卷模型"拐进"开源登顶 + 安全反噬 + 跨工具互通",具身智能从"全身控制"拐进"全身协同闭环 + 原生全模态"。挑了 5 条,每条附上为什么值得关注。 1. 智谱发布 GLM-5.3:号称"编程能力最强的开源模型",后训练 Scaling 显神通事件:8 月 14 日,智谱发布 GLM-5.3。与 GLM-5.2 相比基座模型未变,靠"极致的后训练 Scaling"把智能上界大幅抬高——更长程的任务环境、更丰富的环境类型、超长的后训练时间。智谱称其为编程能力最强的开源模型:内部体感评测较 GLM-5.2 提升约 50%,在 Terminal Bench 3.0、Agents' Last Exam(CLI)等公开基准...

