N 皇后是回溯与剪枝的巅峰示范：n×n 棋盘放 n 个皇后，任意两个不能同行同列同对角线。它的价值不在答案（解的数量没有闭式公式），而在「约束检查怎么做才快」「剪枝怎么把指数搜索树剪成可行规模」的完整示范。本文讲清位运算优化的棋盘、对角线的编码技巧与剪枝的力量。

N 皇后是回溯与剪枝的巅峰示范：n×n 棋盘放 n 个皇后，任意两个不能同行同列同对角线。它的价值不在答案（解的数量没有闭式公式），而在「约束检查怎么做才快」「剪枝怎么把指数搜索树剪成可行规模」的完整示范。本文讲清位运算优化的棋盘、对角线的编码技巧与剪枝的力量。

括号生成是回溯第二课：全排列教了「选择-递归-撤销」骨架，这道题教「用约束剪枝」——每一步的合法选择由两个计数器（已用的左括号数与右括号数）动态决定。本文讲清约束回溯的写法、剪枝的正确性、以及「暴力生成再过滤」与「边生成边剪枝」的效率鸿沟。

括号生成是回溯第二课：全排列教了「选择-递归-撤销」骨架，这道题教「用约束剪枝」——每一步的合法选择由两个计数器（已用的左括号数与右括号数）动态决定。本文讲清约束回溯的写法、剪枝的正确性、以及「暴力生成再过滤」与「边生成边剪枝」的效率鸿沟。

同样的任务，70B 模型能做到的，1B 模型经过蒸馏也常常能做到七八成——能力从大模型流向小模型的通道是当代 AI 工程的核心课题。本篇拆解蒸馏的三代方法（logit 蒸馏、CoT 蒸馏、on-policy 蒸馏）、量化与剪枝的压缩三件套，以及「小模型为何如此便宜」背后的技术账。

二叉树中的最大路径和是树形 DP 的进阶一课：路径可以「从左子树上来、穿过根、下到右子树」——这种「穿过」的形态要求我们把「递归的返回值」与「全局的答案」拆成两个东西。本文讲清这个拆分、负贡献的剪枝，以及树形 DP「返回单链、答案全局」的通用心法。

全排列是回溯算法的第一课：「选择→递归→撤销」的三步循环，是所有回溯题（子集、组合、N 皇后、数独）的共同骨架。本文讲清回溯的状态管理（used 数组与路径）、为什么这题不需要「去重剪枝」、以及从全排列到子集——两种遍历决策树的差异。

二叉树中的最大路径和是树形 DP 的进阶一课：路径可以「从左子树上来、穿过根、下到右子树」——这种「穿过」的形态要求我们把「递归的返回值」与「全局的答案」拆成两个东西。本文讲清这个拆分、负贡献的剪枝，以及树形 DP「返回单链、答案全局」的通用心法。

全排列是回溯算法的第一课：「选择→递归→撤销」的三步循环，是所有回溯题（子集、组合、N 皇后、数独）的共同骨架。本文讲清回溯的状态管理（used 数组与路径）、为什么这题不需要「去重剪枝」、以及从全排列到子集——两种遍历决策树的差异。

论文提出 Cortex 工具，将开发者对编码智能体 harness（项目文件、技能、规则）的修改保存为可重放任务，通过多次有/无对照运行验证净收益后才保留或删除相应技能与规则。

三数之和是「两层枚举 + 相向双指针」的模板题，真正的考点不是找到三个数，而是在 O(n²) 里把重复三元组干净地排除。本文从暴力解的失败讲起，逐行拆解排序双指针与三条去重规则，附两处剪枝，全部代码本地跑通验证。

最长回文子串是回文系列的第一道正餐：暴力 O(n³) 不可接受，动态规划要 O(n²) 空间，而中心扩展用 O(1) 空间、O(n²) 时间优雅解决。本文讲清中心扩展的直觉、奇偶回文的边界处理、以及 Manacher 算法的一瞥。

大模型价格战的背后（本库《价格战》），站着一条被低估的产业链：推理优化产业——量化、编译器、KV 缓存优化、投机解码、专用推理引擎。它不训练模型，却决定了模型的交付成本，是「价格战能打多低」的真正决定者。本文画一张推理优化产业的地图，讲清每一格的手艺与玩家。

搜索二维矩阵 II 是「结构化查找」的优雅范本：矩阵每行从左到右升序、每列从上到下升序。从右上角出发，每一步比较都排除一行或一列——O(m+n) 步走完。本文讲清右上角起点的玄机、与「分治二分」的对比，以及「每步排除一块」这类查找设计的通用心法。

层序遍历是 BFS 的第一课进阶：不只按层访问，还要「按层分组」输出。核心技巧是「按层处理循环」——外层 while 管层数、内层 for 管本层节点，队列的长度快照就是本层的边界。本文讲清分层技巧、它的三个杀手级应用（最短路径、右视图、之字形），以及 BFS 的「最短性」为什么成立。

层序遍历是 BFS 的第一课进阶：不只按层访问，还要「按层分组」输出。核心技巧是「按层处理循环」——外层 while 管层数、内层 for 管本层节点，队列的长度快照就是本层的边界。本文讲清分层技巧、它的三个杀手级应用（最短路径、右视图、之字形），以及 BFS 的「最短性」为什么成立。

AI 的下一个大市场不在云端在端侧：AI 手机的通话翻译与图像处理、AI PC 的本地大模型、可穿戴的常驻智能——「把 AI 装进口袋」正在重写消费电子的换机逻辑。本文讲清端侧 AI 的技术约束（功耗、内存、散热）、小模型的演进、端云协同的架构，以及这场换机潮的真实与虚火。

RLVR 用「答案对不对」训练推理模型，但答案可验证的领域有限，且只看结果无法指出「哪一步错了」。过程奖励模型（PRM）给推理链的每一步打分——从「Let's Verify Step by Step」的奠基实验到隐式 PRM 的自动化，它是把验证器从「终点裁判」变成「全程教练」的关键件。本篇拆解 PRM 的机制、数据难题与演进路线。

搜索二维矩阵 II 是「结构化查找」的优雅范本：矩阵每行从左到右升序、每列从上到下升序。从右上角出发，每一步比较都排除一行或一列——O(m+n) 步走完。本文讲清右上角起点的玄机、与「分治二分」的对比，以及「每步排除一块」这类查找设计的通用心法。

把两个微调后的模型直接「加权平均」竟能同时保留双方能力——模型合并（model merging）的实用性出乎意料；而定位编辑（ROME/MEMIT）可以在不重训的情况下精准修改模型里的单条事实。本篇拆解任务算术的原理、合并的方法族、知识神经元与定位编辑的机制，以及它们对开源生态的真实意义。

最长回文子串是回文系列的第一道正餐：暴力 O(n³) 不可接受，动态规划要 O(n²) 空间，而中心扩展用 O(1) 空间、O(n²) 时间优雅解决。本文讲清中心扩展的直觉、奇偶回文的边界处理、以及 Manacher 算法的一瞥。

一门 1992 年为 tcpdump 设计的过滤语言，三十年后成了云原生时代的「内核可编程层」：Cloudflare 用它单核丢弃一千万包/秒，Cilium 用它替换 kube-proxy，全行业却也在收紧它的权限。本篇讲透 eBPF 的验证器、CO-RE 可移植性、XDP 实战与安全争议。

★36,402、Apache-2.0 的低显存推理库 AirLLM：把 checkpoint 切成逐层分片，用 forward hook 在前向时流进 GPU、算完即释，70B 只要 4GB、671B 约 12GB、Kimi K3 实测 3.72GB。拆解 meta device + 2GiB pin 上限 + MoE 按专家流式的取舍，以及社区实测 5–35 秒/token 的真实代价。

进程内 OLAP 数据库 DuckDB：一条 SQL 直接查本地 CSV、Parquet 与远端对象存储，单文件落库，PyPI 月下载超 5000 万。本文讲清它的列式向量化引擎、与 SQLite、pandas、ClickHouse 的分工、2026 年的生态大事（v2.0 在路上、DuckLabs 并入 AWS），以及上手要点与真实短板。

70B 模型 FP16 要 140 GB 显存，量化到 4-bit 只剩 35 GB——一张 RTX 4090 就装得下，代价是平均每个权重从 2 字节压到 0.5 字节后的精度损失。本文拆解 GPTQ 的二阶误差补偿、AWQ 的激活感知保护、GGUF k-quants 的命名规则，以及「量化伤推理」争议的实测边界。

小模型学的是大模型的「能力」而非权重：讲清 Hinton 软标签与温度 τ 的暗知识原理、白盒与黑盒两条蒸馏路线、DeepSeek-R1 用 80 万样本蒸出 Qwen/Llama 小模型的成绩，以及学生上限与闭源 ToS 等边界。

从骁龙 8 Elite Gen 5 的 Hexagon NPU 到苹果 AFM 3 端侧模型家族，梳理 2026 年手机端侧大模型的硬件底座（NPU 算力与约 85 GB/s 的内存带宽瓶颈）、3B 级模型格局、4-bit 量化与主流端侧推理框架，以及哪些场景仍必须回云。

模型读到的不是字也不是词，而是 token。本文用 low/lower 语料演示 BPE 合并出词表的过程，解释中文为什么更费 token，以及它对计费、上下文长度和算术能力的影响，文末附代码示例与流程图。

中国电信，TeleAgent]

IDC《中国企业级通用Agent产品技术评估》让中国电信 TeleAgent 以 6.85 分位列第三。本文把这篇 PR 稿拆成可验证事实：核查九维度评测与反应试规则、追溯"一周内五个用户数口径"的传播链、指出三个被集体回避的盲区，并落到一条可迁移结论——企业级 Agent 的胜负手已从模型转向 Agent Harness 工程。

Browser Use 开源的会话式视频剪辑技能包 video-use（当日涨星 +745、★26,450、MIT）：不让模型看像素，只让它读 12KB 词级转写文本 + 按需抽查画面，配合 12 条硬规则与 EDL 驱动的 ffmpeg 确定性渲染管线。拆解两条读入通道、六步流水线与自评回路，附五个落地场景与成本口径。

剪映Hub+剪映助手，好用]

量子位的朋友们* 2026-09-22 18:01:53 来源：量子位 上传成片和字幕，系统自动从字幕、音画、内容底线三个维度逐集跑一遍，输出可下载、可回填的质检报告。 一部短剧剪完、导出，团队最不愿面对的往往是下一步：逐集看片。 字幕里…

系列第 ② 篇，对应技能地图第 12–16 格「使用编程智能体」。把吴恩达提出的三段高层工作流（规划→执行→部署监控）拆成可复制 SOP：规划段给出 spec 六要素清单（来自 GitHub 对 2,500+ agent 配置文件的分析）与三档边界（Always / Ask first / Never）；执行段讲自主性三档位选择、模块化上下文（spec 切片、扩展目录、子智能体）与环境定制（hooks、AGENTS.md、裁剪技能）；监控段给出功能/行为/契约三类验证与四个失败模式的对应防护。附 12 步勾选式 SOP 与两条边界提醒（vibe coding ≠ AI 辅助工程；速度/不确定性/成本的致命三角）。

AI 生成的文本、图像、音视频正在以假乱真，检测技术却在「猫鼠游戏」里节节被动。本篇拆解检测的两条技术路线（被动检测器与主动水印）、各自的可绕过性与部署现实、监管的强制水印要求，以及为什么这场军备竞赛的结构性劣势在防守方——以及什么才是现实的防御姿势。

「央行印钱」是最流行也最失真的宏观叙事：现代货币的绝大部分由商业银行的贷款行为创造，央行只是控制「乘数的阀门」。本篇拆解基础货币与 M2 的层次结构、存款准备金率如何放大或收缩货币乘数、逆回购/MLF/降息三类工具的传导链，以及「看懂央行操作」对投资决策的三个实用信号。

为什么同一段对话，用对 chat template 的模型表现天差地别？对话模型的一切行为都由一张「模板」定义：角色标记、特殊 token、系统提示的位置。本篇拆解 chat template 的结构、各家模板的差异、它如何决定「模型以为自己在跟谁说话」，以及微调与应用时最容易踩的模板坑。

1995 与 1996 年，山东一家县级酒厂连续两年以天价拿下央视广告「标王」，年销售额从几千万冲到近十亿。1997 年初，一篇「秦池白酒是川酒勾兑」的报道让一切急转直下——这家没有危机应对能力的企业选择沉默，一年内销售崩塌。秦池案是中国企业第一次为「媒体依赖症」支付全额学费。

Vercel Labs 十月底新收录的 Rust 工具，让 AI 智能体通过操作系统无障碍树「读屏」并操作桌面应用：快照发引用、点击带交付语义、失败重试有依据。本文拆解其架构、JSON 契约五版演进与四类落地场景。

2023 年 9 月，网友在直播间质疑花西子眉笔 79 元太贵，头部主播李佳琦回怼「哪里贵了」「找找自己的原因」——一夜掉粉百万，79 元成为全网玩梗的货币单位，花西子的道歉信被批「公关灾难」。这个案例第一次把「个人 IP 的失控半径」与「品牌在主播面前的脆弱」摆上台面。

「给 AI 生成的内容打个看不见的标记」是溯源最直觉的方案：文本水印改写词频、图像水印编进像素、Google 的 SynthID 已商用。但水印天生是一攻一防的军备：改写攻击、 paraphrase 绕过、开源模型无法强制。本文讲清水印的技术原理、已被证明的局限、以及它在「溯源工具箱」里的真实定位。

2011 年 3 月 15 日，央视曝光双汇子公司收购「瘦肉精」喂大的生猪。作为中国最大肉类加工企业，双汇的应对经历了从措手不及到「万人经销商大会」的完整弧线—— anual 损失以十亿计。这个案例的价值在于它演示了「渠道型企业」的危机特殊性：你伤的不只是消费者，还有整条供应链的信心。

语言模型的训练目标浓缩为一个损失函数——交叉熵。但围绕它的变体（label smoothing、辅助损失、对比损失）各自解决不同的问题。本篇拆解交叉熵的直觉与数学、label smoothing 为什么能防过自信、辅助损失在 MoE 与多任务中的角色，以及对比损失在 Embedding 训练里的位置。

SFT（监督微调）是基座模型变成对话助手的第一步，也是最被误解的一步——它常被当成「教知识」，实际是「教格式与行为」。本篇拆解 SFT 的数据形态、训练细节（epoch、学习率、灾难性遗忘的边界）、常见的失败模式，以及「SFT 教的到底是不是能力」这个核心争议。

微服务架构中，客户端需要调用几十个后端服务——每个服务都做认证、限流、日志，是巨大的重复。API 网关是所有请求的统一入口：路由分发、认证鉴权、限流熔断、日志聚合在网关层统一处理。本文讲清网关的职责边界、主流网关的对比、以及「什么该放网关、什么不该放」的分界。

成长记 02 讲了通胀怎么偷钱，本篇讲怎么还手：从「名义回报 vs 实际回报」的口径开始，盘点通胀挂钩债（TIPS 的机制与中国的通胀债空白）、REITs 与房产的传导链、股票与商品的通胀 Beta 强弱，并给出「按通胀类型选武器」的实用框架——通胀不是一种，是三种。

癌症不是一种病，是细胞进化出的一百多种失控方式；它也不是「突然发生」的——从第一个突变细胞到可检出的肿瘤，通常要累积 5-10 次关键突变、跨越十年以上。这意味着癌症是一场可以被拦截很多次的慢性事故。本文讲清癌变的分子账本、转移的机制、为什么「基因检测」与「防癌体检」是完全不同的东西。

定投是普通人最被推荐也最被误读的策略——「微笑曲线」是真的，但它的成立条件、摊薄成本的算术边界与「会买不会卖」的老毛病，很少有人讲全。本篇算清定投成本的真实算式、对比定投与一次性投入的数学差异、拆解微笑曲线的三个前提，并给出一套机械的退出纪律。

正则化（防止过拟合的技术）在经典机器学习里是必修课，但在大模型训练里却「存在感稀薄」——预训练几乎不用 Dropout，微调却常开。这个反差本身是个有趣的信号。本篇拆解 Dropout 与权重衰减的机制、它们在大模型时代角色变化的原因、以及微调场景的正则化实践。

当日涨星 1,329 的 MIT 本地语音听写应用：拆解它的权威麦克风时间线、单线程串行推理引擎、按延迟分档的 WER 取舍、QuickJS 沙箱配置，以及 /streams 与 TypeScript SDK 两套宿主集成协议，并如实标注 beta 平台与未完成分发的边界。