学习NOTE番外 1——浅谈逆元

博主头像 想必 OIer 们一定对逆元很熟悉,但是总会有像本蒟蒻一样的 dalao 不太清楚,所以我来写写我的认知与感受。 我还是太菜了。 逆元是什么 定义有点难说,相当于是:逆元就是某个运算下的“撤销键”。在模运算里,逆元就是让 \(a\times x\) 变回 \(1\) 的那个 。 比如说一个数的倒数, ...

单模型执行器 与 OpenCode v2配置迁移 笔记

博主头像 引言:两个容易被低估的工程问题 在多 Agent 编排框架里,默认范式已经相当成熟:一个顶层路由按意图分配任务,子代理各司其职,模型按难度分级(便宜模型扛高频,贵模型啃硬骨头)。这套架构解决了成本和并行问题,但它默认了一件事:执行链路允许横跨多个模型。 于是有两个问题经常被低估: 当任务要求"全程只 ...

瞬维AI落地经验:AI Agent工具调用准确率怎么提

博主头像 TL;DR(太长不看): 本文分享我们把 AI Agent 工具调用准确率从 60% 提到 95% 的四个核心方法:①工具描述写清楚「什么时候不要用」,加负向约束;②合并工具减少候选,别拆太细;③调用前加一层参数校验兜底;④持续收集错例迭代优化。四个方法叠加,准确率稳步爬升到 95%。 现在做 AI ...

鸿蒙(HarmonyOS) 2012至2026年的发展历程

博主头像 鸿蒙正式对外亮相,是 2019 年夏天的事。再往前,这条操作系统的技术路线,已经在实验室里沉淀了许多年。 公开资料将华为自有操作系统的规划追溯至 2012 年前后。彼时它还无法抵达普通消费者手中,只是一条技术上的备用路线:希望核心技术,不要完全掌握在别人手里。可考证的技术验证发生在更晚的阶段:201 ...

AI制作配图

概述 原来制作配图都是用 mermaid,在 markdown 里插个代码块就出图,这是没问题的,AI 也比较擅长使用mermaid。 但 mermaid 的表现有限,如果要好的展现,需要使用网上的画图软件去画,画下来人工成本太高。 本文探索一下,怎么用 AI 制作配图。 核心诉求 能用文字描述图片 ...

从 "调模型" 到 "搭系统":Harness Engineering 凭什么成为 2026 年 AI 圈最热的新词

博主头像 一个被质疑 "炒概念" 的新词,到底是不是噱头? 2026 年,AI 工程圈又冒出一个新名词 ——Harness Engineering(驾驭工程)。它出现得密集而迅猛,很快就遍布技术博客、开源项目和一线团队的复盘文章。 热度自然也带来了质疑。反对的声音主要分两派: 一派说它「新瓶装旧酒」,用的全是 ...

多重背包的贪心近似定理

博主头像 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 独有的机制)之前,官方先 ...

数学笔记:泊松求和公式

**泊松求和公式(Poisson Summation Formulation)** 由法国科学家泊松发现,是调和分析中非常重要的一个公式,在诸多数学分支中有着广泛的应用。它建立了函数在时域(或实数域)上的无限求和与其连续傅里叶变换之间的对应建立对应关系,其核心思想是**将函数$f$沿整数平移叠加,得... ...

VeriHarness 拆解:多数投票为何会掩盖错误

一个没有答案 key 的难题 智能体跑完一个几十步的长任务,交出一份表格、一份报告或改好的文件,谁来判定它对不对?短问答可以靠标准答案或单元测试,但长任务的交付物往往没法写成断言:一个财务比率可能取错了年份,一份报告可能引用了已失效的来源,而且这些错误通常藏在"看起来很正常"的成品里。 谷歌云 AI ...

go语言中管道 channel的使用

博主头像 创建 channel 声明的管道后,需要使用make函数初始化之后才能使用。 创建 channel 的格式如下 ch := make(chan元素类型, 容量) 管道有发送(send)、接收(receive) 和关闭(close)三种操作。 发送和接收都使用<-符号。 管道是先进先出的。 管道是一个 ...

AI 啃 DWG图纸:从二维到三维

博主头像 让大模型读懂 CAD 图纸,是"AI + 工程数据"里最硬的一块骨头之一。本文不谈具体业务,只讲一个纯技术命题:给定一套二维 DWG 图纸,让 AI 理解它、重建三维结构,并由参数驱动重新生成二维图。把这条链路上试过的四条路线、踩过的坑和最后沉淀下来的方法论写出来,供做同类问题的人参考。 一、问题抽 ...

123···100>