势能分析（摊还分析） 基本概念 1.1 摊还分析的引入 在算法分析中，我们通常关注单次操作的最坏时间复杂度。然而，对于某些数据结构，虽然单次操作的最坏情况代价很高，但在一系列操作中，高代价操作的总次数是受限的，因此平均到每次操作的代价并不高。 定义 1.1（摊还分析）：摊还分析（Amortized ...

概述 做了一款新皮肤，支持深浅色一键切换，浅色、深色各带 8 套主题色。现在的博客就是这个皮肤，需要的可以拿去用。 特性 深/浅色切换：页头月亮按钮切换深浅色 16 套主题色： 浅色：石板蓝、云白蓝、靛紫、蚂蚁蓝、支付紫、说文、中国红、天青 深色：午夜蓝、德古拉、摩卡、紫夜、东京夜、深海青、北欧蓝、 ...

如何理解简单随机游走的事件域不能是样本空间的幂集 前言 事情的起因有两个。一个是前几天班里的大佬问我如何给掷无穷次硬币这个过程给一个样本空间。另一个则是国庆前一天晚课读 Probability with Martingales 时看到的一句话： We certainly wish to speak ...

nav2官方的bringup文件阅读笔记-命名空间，composition 最近开始学习nav2的源码，开始读了nav2自己提供的快速启动的bringup文件，本笔记用来记录从这个文件中学到了什么。 nav2的源码地址放在这里：GitHub链接 结构概述 nav2提供的bringup文件可以分为三个 ...

客户频繁变更测试数据，是很多项目里绕不开的日常。每次拿到新的 .xlsx，如果还靠手工改 SQL，既慢又容易出错。 需要先说明一点：这里说的生成器并不是一个开箱即用的通用工具，而是针对具体项目文件需求、借助 AI 生成出来的脚本。它的定位是——把“根据客户文件生成 SQL”这件事，从每次都用 AI ...

两种电机都能接在同一路调速信号上，也都转得起来，看上去像是一回事。可写程序之前，为什么必须先弄清楚自己该给它力气，还是给它一个目标？ ...

时间序列分析听起来有点学术，但其实干起来挺直接的。 你有一串按时间排列的数据，想知道里面有没有趋势、有没有周期性、噪声有多大，或者两个序列之间有没有延迟关系。 SciPy 这个库在信号处理、统计检验方面提供了不少现成的工具，配合 Matplotlib 画图，基本能覆盖日常分析的大部分需求。 本文不是 ...

如果只看一件事：微软这次解决的不是"AI 能不能做界面"，而是"Agent 的界面该由谁说了算"。 答案是：协议层由 AG-UI 统一，呈现层由你的应用决定。这两篇博客分别从传输和呈现两端给出了官方答案，而且都不强制你上全栈——一个标准抽象（IChatClient）打通了所有环节。 ...

Polars是一款高性能的DataFrame库，在许多场景下，其运行速度和内存利用效率均优于Pandas，尤其适合中大型数据集处理。得益于以Rust语言构建的高性能底层实现，以及对多核并行计算的原生支持，Polars能够充分发挥现代硬件性能，因此在数据处理任务中通常比Pandas表现更优。本文将演示 ...

关键词：同态加密 ｜ FHE ｜ 已知边界 ｜ 未完成清单 ｜ 精度 ｜ 安全强度 ｜ 可复现性 ｜ 机制验证级 ｜ 大模型密文推理 导读：这是全系列的收尾清单。前面十五篇的"未解问题"在这里收拢并按严重程度排序。一句话概括：这套同态加密推理引擎能跑、能复现、能被第三方独立验证，但它不安全，而且有几 ...

在开发测试环境中，Oracle 启动和关闭往往要分别敲 lsnrctl 和 sqlplus 命令，步骤多、容易漏，对开发人员也不友好。因为开发测试环境比较简单，启停库通常不会遇到啥异常，所以可以直接把监听器和数据库实例的启停逻辑收进一个脚本，再用两个小包装脚本分别对应启动和停止，操作起来更省心。 0 ...

GameDev-MCP-Server 这个仓库最有意思的设计是：它一份代码同时服务三个引擎——Unity-MCP、Godot-MCP、Unreal-MCP 共用它。仓库里没有任何引擎特定的代码，真正干活的工具是由连上来的引擎插件动态提供的。 ...

腾讯云把一套支持多用户、多智能体的 AI 助手 Octop 以 MIT 协议开源了，数据全部留在你自己的机器上；现在它还上架了 1Panel 应用商店，装它只需要点几下鼠标，不用敲一行命令。 ...

人天生有一种能力——信息过滤。只要不是废物都具备这种能力，不需要算法和数据。生物许多行为是本能反应，深深刻进潜意识里。这就是人与机器的本质区别。机器在某些方面一旦没有相关的程序和算法支持，它就是废铁。 日志消息是给人看的，所以，过滤功能必不可少。即应用程序可以根据配置记录或不记录某些日志。 日志级别 ...

第二章：Details 重点数据细读 本章正式进入 Details 页，这可是全部指标的大合集，被切成 14 个 section，从上往下排开，信息量比 Summary 大一个量级，本章着重讲透其中最值得细读的三个重点 section，剩下的 section 留到下一章按页面顺序补齐。 每个 sec ...

ClawGod，把官方藏起来的功能全部打开 你有没有这种感觉：明明Claude Code是最强的AI编程工具，但总有些地方“差点意思”？ 用最强的Opus模型，告诉你“订阅等级不够”。让多个AI同时协作，发现功能根本没开。想问个安全相关的问题，直接被拒绝回答。 这些限制不是技术上做不到的，是官方关掉 ...

关键词：同态加密 ｜ FHE ｜ 性能剖析 ｜ 实测账本 ｜ 自举 ｜ 域变换 ｜ CPU 推理 ｜ 大模型密文推理 ｜ 耗时分析 导读：一次同态加密推理的一跳（lay + boot）在 8 核 CPU 上约 1.8 小时，而这个时间绝大部分不在多项式乘法上——自举的两段域变换单独就占了约 80%。 ...

程序里有些值会在它看不见的地方自己变化，而一段用来拖时间的空循环，换个优化档位就会凭空消失。哪些读写编译器不能替我们省掉，这中间又该怎么分工？ ...

同事写了一个 app，笔者用它作为例子，聊聊 Docker 部署方式下如何简化部署和版本升级。核心思路很简单：把配置和代码分开，升级时只换代码，配置从备份里拿回来。 01 | 升级前先停服务 升级的第一步不是拉代码，而是先停掉正在运行的容器，避免文件被占用或状态错乱。下面的容器名 ontoforge ...

前几天写了一篇《百万订单的架构演化》，有人留言「期待更多细节」。想了一下，确实踩了不少坑，写成系列应该对大家有帮助，所以就有了这个「百万订单」系列。 背景 我们是做花店 SaaS 的，业务是把各个外卖平台的订单聚合到一起。花店这个行业很特殊，节日单量特别大，像情人节、七夕、母亲节，都是高峰；平时单量 ...