Cursor 更新后 Claude 模型消失：排查与解决记录
环境： macOS · Cursor 3.9.16 · Ultra 订阅 · Clash Verge Rev 2.4.7 结论： 模型消失并非订阅失效，而是 Cursor 3.x 部分后台进程不继承编辑器代理设置；开启 TUN + 域名白名单后恢复 Claude。 问题现象Cursor 更新后，Claude 系列模型从模型列表中消失： 聊天模型选择器只显示 Composer 2.5 Sett
区间动态规划：最长回文子序列与通用模板
1. 前言：区间 DP 的战略地位与核心逻辑在高级算法面试中，区间动态规划（Interval Dynamic Programming）往往被视为区分中高级候选人的「分水岭」。它不仅考察代码实现，更考察候选人对子问题依赖关系的深刻理解。区间 DP 专门用于解决那些涉及「连续子区间」合并或划分的问题，其核心逻辑在于由内向外、由短及长地构建最优解。 为何初学者难以直观定义区间 DP？ 初学者的思维往往局
软件工程世界观与做事方法
用途： 每个新项目启动前通读一遍。 目标： 快速建立同一套「世界观 + 做事方法」，避免一上来就写代码、越做越乱。 与仓库内其他文档的关系： Agent/agent.md 定义人机协作契约；本文是通用工程思维，适用于任何项目。 一、一句话世界观软件工程不是「把功能写出来」，而是在约束下持续交付可验证的价值。 价值 = 用户能完成真实任务；约束 = 时间、人力、技术债、风险；
最长递增子序列：从 DP 到贪心二分
1. 课程导引与核心价值分析在动态规划（Dynamic Programming, DP）的学习路径中，“最长递增子序列（Longest Increasing Subsequence, 简称 LIS）”具有举足轻重的战略地位。它不仅是线性 DP 的经典范式，更是区分“基础理解”与“深度掌握”的分水岭。 LIS 的核心意义在于它完美诠释了**“枚举选哪个”**这一思维模型。与 0-1 背包这类“选或不
买卖股票系列：状态机动态规划通用解法
1. 课程综述与核心逻辑初探在算法面试的动态规划（DP）版块中，“买卖股票系列问题”被公认为考察开发者逻辑建模能力的标杆题目。这不仅是因为其高频的面试出镜率，更在于它是一个极佳的思维训练载体：从简单的贪心策略到复杂的约束处理，该系列问题完美展示了算法如何处理受限的最优决策。 本报告的核心使命是建立一套状态机 DP 的“通用解法（General Solution）”。在面对无限次交易（LC122）、
粉末 XRD 物相匹配软件调研与 Python 实现设计参考
报告日期：2026-05-27目标：调研市面上可做粉末 XRD 物相匹配的软件、开源库与 Web App，并为 Python 实现一个类似 Jade 9 的 PDF 卡片匹配功能提供系统性设计参考。 1. 背景与目标本项目目标是设计一个 Python 系统，用于实现类似 MDI JADE / Jade 9 中基于 PDF 卡片 的粉末 XRD 物相匹配功能。 这里的 PDF 指 Pow
AI 监督员的工程思维
一份给”AI 项目决策设计者 + AI 监督员”的工程思维指南。 你不亲自写每一行代码，但你必须能：判断方案、识别风险、设定护栏、验收产出、止损决策。本文综合 2026 年 MLOps 生命周期、AI infra 主流栈、CRISP-ML(Q) 质量框架、AI agent 管理实践，并落到一个完整示例上。 目录 一、角色再定义 二、八大核心工程思维 三、示例 · LLM 微调 + RAG 系
用 AI 高质量交付项目的工作方法
一份给「人 + AI」共同协作的工程方法论。 它不教你怎么写 prompt，而是教你怎么把一个项目从 0 到 1 交付得更稳、更快、更可维护。 元数据 版本 v1.0 更新 2026-05-09 适用 中长期 / 多人协作 / 生产级项目的 AI 协作开发 不适用 一次性脚本、临时 POC、小 bug 修复 目录 一、适用边界 二、全局视图