【开源分享】Daen 的 Windows 快捷启动工具，WinUI3原生开发
Daen 的 Windows 快捷启动工具 —— 一个轻量、快速、可高度自定义的 Windows 桌面启动器，基于 WinUI 3 构建，原生 Fluent 设计，支持深浅色主题和云同步。 ...
计算机视觉：让板子从“看见”到“看懂”
摄像头送进来的到底是什么，机器又是怎么从里面“看见”东西的？规则能写的地方自己写、写不出来的交给神经网络，这条路要花在哪几笔账上？ ...
学习NOTE番外 1——浅谈逆元
想必 OIer 们一定对逆元很熟悉，但是总会有像本蒟蒻一样的 dalao 不太清楚，所以我来写写我的认知与感受。 我还是太菜了。 逆元是什么 定义有点难说，相当于是：逆元就是某个运算下的“撤销键”。在模运算里，逆元就是让 \(a\times x\) 变回 \(1\) 的那个 。 比如说一个数的倒数， ...
单模型执行器 与 OpenCode v2配置迁移 笔记
引言：两个容易被低估的工程问题 在多 Agent 编排框架里，默认范式已经相当成熟：一个顶层路由按意图分配任务，子代理各司其职，模型按难度分级（便宜模型扛高频，贵模型啃硬骨头）。这套架构解决了成本和并行问题，但它默认了一件事：执行链路允许横跨多个模型。 于是有两个问题经常被低估： 当任务要求"全程只 ...
瞬维AI落地经验：AI Agent工具调用准确率怎么提
TL;DR（太长不看）： 本文分享我们把 AI Agent 工具调用准确率从 60% 提到 95% 的四个核心方法：①工具描述写清楚「什么时候不要用」，加负向约束；②合并工具减少候选，别拆太细；③调用前加一层参数校验兜底；④持续收集错例迭代优化。四个方法叠加，准确率稳步爬升到 95%。 现在做 AI ...
go语言中的只读/只写管道,多路复用select,捕获协程异常
创建一个只写管道 只写管道只能往管道里面写数据,不能从管道里面读取数据， 通过 chan<- 来创建一个只写管道 package main func main() { // 创建一个 int 类型的管道,只能写入数据 chWrite := make(chan<- int, 1000) // 往管道里 ...
鸿蒙(HarmonyOS) 2012至2026年的发展历程
鸿蒙正式对外亮相，是 2019 年夏天的事。再往前，这条操作系统的技术路线，已经在实验室里沉淀了许多年。 公开资料将华为自有操作系统的规划追溯至 2012 年前后。彼时它还无法抵达普通消费者手中，只是一条技术上的备用路线：希望核心技术，不要完全掌握在别人手里。可考证的技术验证发生在更晚的阶段：201 ...
从 "调模型" 到 "搭系统"：Harness Engineering 凭什么成为 2026 年 AI 圈最热的新词
一个被质疑 "炒概念" 的新词，到底是不是噱头？ 2026 年，AI 工程圈又冒出一个新名词 ——Harness Engineering（驾驭工程）。它出现得密集而迅猛，很快就遍布技术博客、开源项目和一线团队的复盘文章。 热度自然也带来了质疑。反对的声音主要分两派： 一派说它「新瓶装旧酒」，用的全是 ...
国庆假期我干了件事：让 Agent 平时睡大觉，数据一变就醒来干活
Ambient Agent 真正难的问题从来不是"让 Agent 做什么事"，而是另一组：怎么在对的时机叫醒它？怎么保证恰好执行一次？怎么在进程崩溃、网络抖动、结果不明的各种烂摊子面前，体体面面地收场？ ...
传感器是什么：让 STM32 知道车外发生了什么
芯片看不见、听不到，也不直接知道前方有什么。地面的明暗要经过什么才算变成程序能比较的数字，同一块灰度模块又为什么有时给结论、有时把差别也留下？ ...
多重背包的贪心近似定理
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）三种操作。 发送和接收都使用<-符号。 管道是先进先出的。 管道是一个 ...
