笔者在服务器上遇到过一个奇怪现象：codex-universal-proxy 进程用 kill -9 杀不掉，杀掉后立刻又冒出一个新的。排查后发现，它其实是被 systemd 用户服务托管着，只要服务还在运行，进程就会被自动拉起。这篇文章记录完整的清理过程。 01 | 现象：kill -9 杀不掉 ...

半夜校园网断网，为什么流量也用不了？ 大学这四年饱受折磨，半夜断网之后，手机开热点给电脑用，但是往往有一些网站，不管怎么刷新都进不去，浏览器上显示的是白屏。 但是奇怪的是，手机却可以进去，明明电脑上没有任何的网络问题。 因为不是很紧急的待解决的问题，所以每次都忘记去处理这件事。 咬咬牙就忍过去了，懒 ...

同样接上电源，有的蜂鸣器自己就叫了，有的怎么通电都不出声。有源、无源和触发电平之间到底差在哪，程序里那一行又该写什么才算对？ ...

Solution \(N\le 500\)，我们需要 \(O(N^3)\) 的算法。 直接状压 dp 至少 \(O(2^N)\)，我们一定有大量最优解的性质没有找到。 为了方便，约定一个州有三种状态： B 类点：演讲至 \(B_i\) 小时，同时获得选票和协作者。 A 类点：演讲至 \(A_i\) ...

1、实时监控 2、轨迹查询 3、告警管理 4、围栏设置 5、看板与报表 JT/T 808 部标车辆监控平台实战 （第 1 篇 · 业务与架构） 做车联网，绕不开三个国标：JT/T 808（终端怎么跟平台说话）、JT/T 1078（车载视频怎么传）、JT/T 809（平台怎么向上级监管平台汇报）。 去 ...

沿用 counter + ready 的例子，从 Java 内存模型一路看到 HotSpot 与 x86-64，理解 volatile 如何提供可见性和有序性，以及它与 Atomic、Mutex 的边界。 ...

把 Markdown 变成网站，80% 的工作量根本不在渲染，而在让每一个链接换了个环境之后依然诚实——该重写的重写，该标注的标注，一个死链都不留。 ...

势能分析（摊还分析） 基本概念 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 应用商店，装它只需要点几下鼠标，不用敲一行命令。 ...