多重背包的贪心近似定理
1. 问题描述 考虑标准的多重背包问题。有 \(n\) 种物品，第 \(i\) 种物品有 \(c_i\) 个，每个物品体积 \(t_i\)，价值 \(w_i\)，背包容量为 \(m\)。其中 \(n,c_i,t_i,w_i,m\) 均为正整数。 一个解记为长 \(n\) 的非负整数序列 \(s=\{ ...
行为树与Nav2中的行为树
上面是标题～-～ 行为树 行为树是一种形式化的图形建模语言，由Dromey于2001年首次提出，通过树结构和形式语义将自然语言需求转化为可执行系统模型，用于解决大规模系统中需求的模糊性、冗余性及短期记忆过载问题。以上摘自百度百科。 行为树，顾名思义，就是通过树形结构去描述和控制系统的行为流程。不同于 ...
OctaFuse Gateway 2.13.0：供应商折扣计价、路由快速测试与用量分析升级
供应商推出限时折扣，要调整价格，还得记住活动什么时候结束；路由改了模型名或请求头，想先试通再保存；费用涨了、响应慢了，又需要找到具体的模型或供应商。 OctaFuse Gateway 2.13.0 围绕这些日常操作做了三项升级：供应商折扣可以按有效期和时段生效，路由可以在保存前直接测试，用量分析也更 ...
AI前端调试员上岗：用Chrome DevTools MCP让Agent自己看控制台和性能面板
前端开发最烦的三件事 第一，控制台报红，但你不知道是哪个组件报的。 第二，页面卡，但你不知道是渲染卡还是接口慢。 第三，改了一个样式，想看看效果对不对，来回切浏览器和编辑器。 这三件事有一个共同点：你需要“看”浏览器，但你的人不在浏览器里。 你在 IDE 里写代码，然后切到浏览器看效果，发现有问题， ...
用餐厅和盘子理解栈和堆
最近在学 Rust。其实之前就学过一段时间，但学到所有权这里就卡住了，概念一多加上当时在专升本，后面就放弃了。趁着国庆假期有整块时间，决定重新捡起来，这次争取把它啃下来。 本文的内容来源于 Rust 官方教程 What Is Ownership?，在学习所有权（Rust 独有的机制）之前，官方先 ...
Codex解决新模型无法使用/model选择的问题
TLDR codex debug models --bundled > /root/.codex/model-catalog.json python -m json.tool /root/.codex/model-catalog.json > /dev/null 然后在 /root/.codex/c ...
数学笔记：泊松求和公式
**泊松求和公式（Poisson Summation Formulation）** 由法国科学家泊松发现，是调和分析中非常重要的一个公式，在诸多数学分支中有着广泛的应用。它建立了函数在时域（或实数域）上的无限求和与其连续傅里叶变换之间的对应建立对应关系，其核心思想是**将函数$f$沿整数平移叠加，得... ...
VeriHarness 拆解：多数投票为何会掩盖错误
一个没有答案 key 的难题 智能体跑完一个几十步的长任务，交出一份表格、一份报告或改好的文件，谁来判定它对不对？短问答可以靠标准答案或单元测试，但长任务的交付物往往没法写成断言：一个财务比率可能取错了年份，一份报告可能引用了已失效的来源，而且这些错误通常藏在"看起来很正常"的成品里。 谷歌云 AI ...
go语言中管道 channel的使用
创建 channel 声明的管道后,需要使用make函数初始化之后才能使用。 创建 channel 的格式如下 ch := make(chan元素类型, 容量) 管道有发送（send）、接收(receive) 和关闭（close）三种操作。 发送和接收都使用<-符号。 管道是先进先出的。 管道是一个 ...
AI 啃 DWG图纸：从二维到三维
让大模型读懂 CAD 图纸，是"AI + 工程数据"里最硬的一块骨头之一。本文不谈具体业务，只讲一个纯技术命题：给定一套二维 DWG 图纸，让 AI 理解它、重建三维结构，并由参数驱动重新生成二维图。把这条链路上试过的四条路线、踩过的坑和最后沉淀下来的方法论写出来，供做同类问题的人参考。 一、问题抽 ...
把 AI Agent 养在自己电脑上：从本地部署到远程接管的一份完整思路
一、为什么越来越多人把 Agent 搬回自己电脑 这两年 AI Agent 的形态发生了实质变化：它不再只是"问一句、答一句"的聊天框，而是能自主规划步骤、连续调用工具、读写本地文件、执行终端命令的执行体。一个代码重构任务跑半小时、一批文档整理跑一晚上，已经是很日常的使用方式。 任务形态变了，部署位 ...
万级车辆实时地图 + 双模拟器：车联网前端与测试工程实践（第 3 篇 · 前端与测试）
1、实时监控 2、轨迹查询 3、告警管理 4、围栏设置 5、看板与报表 万级车辆实时地图 + 双模拟器：车联网前端与测试工程实践（第 3 篇 · 前端与测试） 前两篇讲了业务架构和后端链路。这篇讲数据到达前端之后的故事——也是整个系列里"工程密度"最高的一篇。 车联网的前端不是"一个后台 + 一个小 ...
CF813D Two Melodies 题解
CF813D Two Melodies 题解 选两个非空、互不相交的子序列，各自满足"相邻音符相差 \(1\) 或模 \(7\) 同余"，求长度和的最大值。\(n \le 5000\)，\(a_i \le 10^5\)。 1. 朴素 DP：\(f[i][x][y]\) 扫描到第 \(i\) 个音符， ...
反馈：让系统知道自己做得对不对
给电机一个调速信号，它确实会转，可程序并不知道轮子此刻跑得有多快。系统怎么知道自己做得对不对，这条回路又为什么不必从复杂的算法开始？ ...
Rust 1.99 更新了什么？一个新手视角的升级前后对比
照着教程写 Rust，最容易卡住的地方不是语法，是这一行： error[E0658]: use of unstable library feature `fs_set_times` 代码抄得没错，教程也没错，只是那个 API 在当时的稳定版里还没开放。新手很难判断这是自己写错了，还是版本不对，只能一 ...
进程和线程以及go语言中的协程
进程 进程(Process)就是程序在操作系统中的一次执行的过程，是系统进行资源分配和调度的基本单位。 进程是一个动态概念，是程序在执行过程中分配和管理资源的基本单位。 每一个进程都有一个自己的地址空间。一个进程至少有五种基本状态。 它们是:初始状态，执行状态，等待状态，就绪状态，终止状态。 通俗的 ...
Agent Loop：AI 是怎么从"一句一答"进化成"自己干活"的
Agent Loop：AI 是怎么从"一句一答"进化成"自己干活"的 如果只用一个概念来解释"Agent 和普通聊天机器人到底差在哪"，我的答案会是 Agent Loop。这篇文章想用最通俗的方式，把它讲清楚。 一个"一句一答"解决不了的问题 你跟 ChatGPT、DeepSeek 聊天的时候，交互 ...
面向数据工程师的正则表达式：从日志清洗到字段提取
数据工程师每天打交道的东西，很大一部分是文本： 应用日志 Nginx access log CSV 里混着脏数据的字段 API 返回的 JSON 片段 配置文件 爬下来的 HTML 这些文本往往不是完全结构化的，或者格式五花八门，用传统的 split、replace 处理起来很累，写一堆条件判断也不 ...
别再 rm 日志了：Linux 下安全清空日志文件的正确姿势
日志文件越滚越大，磁盘告警一响，很多人的第一反应是 rm *.log 再 touch *.log。这个操作看起来干净利落，实际上埋着两个大坑。笔者在本文里把底层原因和两种安全做法讲清楚。 01 | 为什么 rm 加 touch 是危险操作 后台服务（比如 FastAPI、Nginx、MySQL）启动 ...
