Posts
All the articles I've posted.
-
AgentHarness:把 Agent 运行时变得可验证
Published: at 11:19 AMAgentHarness 处理的核心不只是调用模型,还包括会话持久化、运行时配置、队列、保存点、Hook 重入与恢复边界。本文依据 pi 的设计文档,拆解四类状态、一次 turn 的时序,以及哪些能力已实现、哪些仍在计划中。
-
OpenWiki 的自我纠错记忆:让 Agent 知道何时遗忘
Published: at 11:19 AM长线 Agent 记忆的难点不只在召回,还在源代码变化后发现旧知识。本文拆解 OpenWiki 如何用 claim、证据版本和 stale 标记做定向修正,解读 0.4.0、OKF v0.2 与评估结果的真实边界。
-
代码代理为何烧掉 Token:语义导航何时值得用
Published: at 08:54 AMAI 编程代理的高 token 账单,常来自定位代码时的反复搜索与读取。本文拆解语义导航的工作机制,解读 Sonar 的 6 个对照任务,并给出判断是否值得引入的四个条件。
-
Azure AI Search 混合检索:BM25、向量与RRF
Published: at 05:50 AMRAG 的第一阶段检索不该只会一种信号:精确词与概念相似各提供一批候选,再由 RRF 按名次融合。本文给出 Azure AI Search .NET 12 的混合查询示例、教学模型与排错边界。
-
Loop 与 Graph Engineering 不是二选一
Published: at 11:55 PM一张讽刺推文引爆的 Graph Engineering 热词背后,是真实的工程抉择:循环是图的节点,不是替代关系。本文拆解定义、选型条件与时间线,讲清何时只该加一个 Loop。
-
ASP.NET Core 竞态条件识别与防护
Published: at 11:45 PM两个请求同时读改写同一数据,一个更新会悄悄覆盖另一个。本文梳理竞态条件的两种典型形态,并用 lock、SemaphoreSlim、并发集合与 EF Core 乐观并发四种方案逐一说明取舍。
-
C# 生成发票 PDF 全流程教程(.NET 10)
Published: at 11:35 PM从 HTML 模板到可下载的 PDF:本文实现发票生成的完整链路,覆盖打印 CSS 分页、表头重复、货币格式化、页码与异步渲染队列,并说明何时不该用 HTML 转 PDF。
-
Agent 成本高,先查 Harness
Published: at 08:20 AM同一个模型和任务,Agent 仍可能因为上下文膨胀与工具调用过多而多花几倍 token。本文拆解 Harness 的成本来源,并用 TrueForge 说明延迟加载、结果卸载、子代理、Code Mode 与压缩如何协同。
-
.NET 用 AVX-512 加速 IPv4 解析
Published: at 05:46 AMDaniel Lemire 用 C#、.NET 10 和 AVX-512 为常见 IPv4 点分十进制输入设计 SIMD 快路径,借助 masked load、点位模式和回退策略,把标准库基线的解析成本降到约三分之一。