房产测绘面积计算全解析
系统拆解房产测绘面积计算逻辑，厘清建筑面积、套内面积、公摊、得房率的核心区别，详解住宅与商业多级分摊规则、面积误差退费及小区公共区域公摊边界，兼顾测绘师备考与买房收房维权科普。 ...
LaTeX 公式转 PNG / SVG：几种实用方案和使用场景对比
最近在整理技术文档时碰到一个比较常见的问题： 手里已经有 LaTeX 公式，但目标平台并不支持 LaTeX，怎么把公式稳定地转换成图片？ 比如下面这个公式： \int_0^\infty e^{-x^2}\,dx = \frac{\sqrt{\pi}}{2} 如果是在 Markdown、Jupyter ...
.NET 11 性能全解读：从 JIT 到基础库，这一版到底快了多少
原文：Performance Improvements in .NET 11 | 作者：Stephen Toub（Microsoft 杰出工程师） | 发布：2026 年 9 月 15 日 说明：本文为上述官方长文的中文整理编译版。文中每一个 PR 编号、每一位贡献者 GitHub ID、每一组 B ...
企业 AI 最大的问题，不是数据不足，而是数据没有业务语义
企业 AI 最大的问题，不是数据不足，而是数据没有业务语义 我们之前分别讨论了：为什么企业知识需要结构化，以及为什么结构化知识最终必须进入业务模型这两个问题。感兴趣的朋友可以找来回顾一下。 有高人建议就我们了，现在造概念的人太多，说这么多理论，不如结合我们在数字化领域深耕多年实际做的系统讲讲，今天这 ...
【Agent Harness】Gliding Horse 最新进化：从“能学习”到“可验证的自主进化”
Gliding Horse 最新进化：从“能学习”到“可验证的自主进化” 摘要：本文深入解析 Gliding Horse 从 v0.1.5 到最新代码的核心升级——如何将 AI Agent 从“能学习”推向“可验证的自主进化”。文章围绕持续学习闭环、执行效果契约、双编排统一、强类型上下文模型、可观测 ...
移动应用开发手册16：CI/CD控制论——如何用系统工程对抗熵增巨婴
前言 20xx年x月x日。 有这么一个公司项目组。 负责人制订了流程，设计了模板。 而他的员工们，全都不作为，想着老板会兜底。 最终，项目彻底崩溃。负责人扛下了所有锅。 他在绝望地嘶吼着，喊着“我有事”，然而自始至终都没有人听见。 别觉得上述例子沉痛过了头，那是因为你不是那个抗伤的。这种例子，随便哪 ...
【笔记】一行代码让大模型推理的 overlap scheduler 失效
1. 先说结论 overlap scheduler 的前提是「GPU 上的推理」和「CPU 上的前后处理」能同时跑。任何一次 CPU 与 GPU 之间的同步等待，都会把这个并行切断——只要 cudaStreamSynchronize 一出现，CPU 就得停下来等 stream 空出来。 两种最常见的 ...
让向量检索随处可用：Zvec 多平台支持全景
Zvec × 跨平台：告别多端适配噩梦。
一套代码覆盖 Win/Mac/Linux/Android/iOS，6大（Python/Go/Rust/Java/Node/Dart）SDK开箱即用。从服务器到手机，检索性能一致且极致轻量。✅
若你在构建跨端 AI Agent，欢迎交流架构心得。�... ...
很多年没更新博客了：从程序员到外贸，刚好又遇上了 AI 时代
这个博客，好像已经很多年没有更新了。 今天突然翻到以前写过的一些文章，看到 Python、Oracle、ArcGIS、Docker、C++，还有当年折腾过的一些问题，感觉特别奇妙。 文章还是那些文章。 代码还是那些代码。 只是写这些东西的人，已经做了完全不同的事情。 以前，我是做互联网和软件相关工作 ...
基于 LlamaIndex+PostgreSQL 实现RAG持久化
前文《基于 LlamaIndex 实现 RAG 向量检索入门》已完成本地大模型与 Embedding 向量检索的基础搭建，但仅支持临时向量存储，无法持久化复用。本文将在此基础上实现 RAG 持久化存储方案，借助 PostgreSQL + pgvector 向量插件对接 LlamaIndex。环境采用... ...
设计一个简易合成器框架-Common Lisp
引言 最近比较好奇乐器它是怎么发声的，比如为什么钢琴听起来就是钢琴而不是别的呢？于是最近就用Common Lisp搓合成器框架玩玩？ 本文章使用let-plus，anaphora，alexandria库用于改善编码环境，主要逻辑是一步一步搓的。 本文章并不涉及商用，只是本人从物理直觉出发设计的，适合 ...
DuckDB + SQL 高效分析 JSON 数据
你有没有过这样的经历？从某个 API 抓下来一堆 JSON，或者从 App 里导出了自己的数据，想分析一下，结果发现 JSON 嵌套得像个迷宫。 用 Python 写脚本？可以，但写起来麻烦，调试也费劲。 用 Excel？它连嵌套的 JSON 都打不开。 这时候，DuckDB + SQL 就像一把瑞 ...
Codex 记忆机制的两条路
长任务续航有压缩历史和主动换窗两条路，差别在于细节是否保留、恢复责任放在哪里。
用 Token Budget、History 和 Notes 理解长上下文任务的接力机制 ...
DDD领域驱动设计的四重边界
在DDD（领域驱动设计）中，四重边界是指分析边界、设计边界、实现边界和运行边界。这四个边界定义了软件开发的不同阶段应遵循的原则和策略。 分析边界 (Analysis Boundary)：确定业务问题范围，定义问题域。 设计边界 (Design Boundary)：根据领域模型划分限界上下文。 实现边 ...
CLI 还是 MCP？一场关于 Agent 工具接口的再思考
引言：风向确实在变 MCP（Model Context Protocol）曾被 Anthropic 在 2024 年底推出时寄望为 Agent 连接一切的「万能接口」，一度被称为 AI 界的「Type-C 接口」，月下载量冲到 9700 万次。但仅仅一年多后，这个曾经被誉为「行业希望」的协议，正在被 ...
从 Healthory 到 Nature Aimanic：两款 iOS App 审核实战后，我总结了这份过审清单
从 Healthory 到 Nature Aimanic：两款 iOS App 审核实战后，我总结了这份过审清单 这不是一篇“如何讨好审核员”的文章。 更准确地说，它是两款独立开发 App 在提交、被指出问题、整改、重新提交之后，总结出的一个原则： 审核不是猜谜。你要做的是让审核员在最短路径内看懂 ...
AI越来越强了，为什么测试人反而越来越累！（为打工人发声）
大家好，我是狂师。 AI 的能力这两年是肉眼可见地变强了。写代码、画原型、出文档，以前要一个团队分头做的事，现在一个人带着几个 AI 就能全部包揽，工作产出抵得上从前的一个小团队。按理来讲，工具这么能干，人的工作应该越来越轻松才对。 但最近跟不少读者、学员聊，听下来的情况正好相反，测试工程师这个群体 ...
自己编写 .c 和 .h：把小车代码分开放
代码刚开始只有几行，所有东西放在一起似乎最省事。等电机、按键和显示器同时出现，文件之间的边界会先替你暴露什么问题？ ...
AI也没想到，三年红透半边天
在互联网行业那么些年，看热搜头脑发热的次数不少，有时候冷静下来想一想，基础的逻辑从来没变过，不过故事和模式却各自精彩。AI可能也没想到，短短三年就红透半边天。 ...
PHP 8.6 只是个小版本，三十项弃用却已在为 PHP 9.0 铺路
PHP 8.6 只是个小版本，三十项弃用却已在为 PHP 9.0 铺路 部分函数应用、Time\Duration，以及一份实质上是为 PHP 9.0 做准备的弃用清单 本文基于 PHP 8.6 beta 3 撰写。特性集已经冻结；若正式版（GA）之前出现变动，文中会予以说明。 PHP 8.6 将于 ...
