Posts
1073
Practical notes on AI assistants, software architecture, and developer tooling.
Posts
1073
Tags
741
Featured
0
大多数 Dataflow 示例只把三个块 LinkTo 起来就结束。把容量、并发与顺序、完成传播、故障与取消这四项配齐,才是一条调用方敢持有的流水线;文末另附背压语义与版本核对结论。
Continue reading
大多数 Dataflow 示例只把三个块 LinkTo 起来就结束。把容量、并发与顺序、完成传播、故障与取消这四项配齐,才是一条调用方敢持有的流水线;文末另附背压语义与版本核对结论。
新增索引会给规划器多一条看似更便宜的路径。本文用 PostgreSQL 18.6 上的百万行实验说明这个查询如何从 16.5ms 涨到 241ms,并给出索引改法、计划读法与验证步骤。
规范测试分成谓词含义、应用接线与数据库翻译三层证据。本文用 .NET 10 与 EF Core 10 的 xUnit 代码说明每层能证明什么,并补一份可跨提供程序复用的生产库契约测试。
Copilot SDK 已 GA,把 Copilot CLI 的 agent 运行时搬进你自己的应用。本文拆开 SDK、Agent Framework 与应用三层职责,讲清工具暴露和工具批准两套开关,以及认证、额度与数据留存的实际边界。
一次响应要 1.5 分钟,CPU 报告却只有 6.7%。微软团队用一次真实排查说明:先定位是哪个进程,再用 CPU 报告排除计算,最后用 Stopwatch 量出循环里累计的 10 秒等待。
容器、DNS、崩溃报告、C# 15 union、WinForms kiosk:一篇 .NET 11 RC1 亮点文章里的每个特性,我都对着官方发布说明核了一遍。哪些是真的、哪些代码写错了、正确用法是什么,以及原文漏掉的开关与参数。
新模型更强,旧提示词却可能变成负担。本文整理 OpenAI 对 GPT-6 Astra 的行为说明,并给出缩短 skill 描述、给 AGENTS.md 加触发条件、把边界说到可执行的具体做法和迁移清单。