从 GitHub 迁移到 Codeberg：设置镜像、移植 Actions 到 Forgejo CI、基于 API 的 Issue/PR 转移
从 GitHub 迁移仓库到 Codeberg 的工程化指南：一键仓库迁移、双向镜像同步、Actions 移植到 Forgejo CI、Issue/PR API 转移及认证要点。
2025-12-01systems-engineering2025-12
Latest Essays
最新见解 · 第 609 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
自杀无人机攻击下手机韧性工程：EMP屏蔽与冗余天线设计
针对自杀无人机EMP打击，设计手机EMP屏蔽、冗余天线、备份电源及快速恢复机制，提供工程参数与落地清单。
2025-12-01systems-engineering2025-12
AI 在 Lean4 中形式化 Erdős 问题 #124 证明：提示工程与验证管道实践
详解 AI 系统利用提示工程在 Lean4 中生成并验证 Erdős #124 证明的关键参数、监控点与工程化实践。
2025-12-01ai-systems2025-12
LLVM-MOS：6502 Clang 后端的 IR 降低与内联展开优化
针对 MOS 6502 的 LLVM fork 后端，详解 IR 降低策略、内联/展开参数，以及复古嵌入式 C/Rust 编译清单。
2025-12-01compiler-design2025-12
内核音频驱动恶意软件逆向：无声麦克风录制与C2外传机制
剖析内核态音频驱动恶意软件如何hook麦克风API实现无声录制，并通过C2通道隐秘外传数据，提供逆向要点与防护参数。
2025-12-01ai-security2025-12
LCF风格元语言驱动硬件验证：HOL与Viper微处理器形式证明
基于Mike Gordon的LCF到HOL演进，介绍元语言tactics实现交互式硬件形式验证，详解Viper微处理器分层证明工程参数与监控要点。
2025-12-01general2025-12
LLVM-MOS：为6502八位系统带来现代C/C++工具链
llvm-mos 是 LLVM/Clang 分支，针对 MOS 6502 优化，支持 C99/C++11 在 Commodore 64、NES 等复古平台上的开发，提供安装指南、优化参数和多平台清单。
2025-12-01compiler-design2025-12
SQLite FTS5 + Docker API 实现 n8n 工作流模板的毫秒级全文搜索
基于 Zie619/n8n-workflows，利用 SQLite FTS5 构建高效搜索索引，通过 Docker FastAPI 暴露 REST 接口，实现 4300+ n8n JSON 模板的动态查询与导出，支持 agentic AI/ETL 管道复用，延迟 <100ms。
2025-12-01ai-systems2025-12
LightRAG 双图查询融合：学习权重蒸馏与低资源RAG工程
LightRAG双图索引与查询融合工程参数，含低资源蒸馏部署要点，实现低资源快速RAG pipeline。
2025-12-01ai-systems2025-12
Docker Compose 可重现系统管理员挑战环境：故障注入与调试工作流
借鉴 SadServers 项目，用 Docker Compose 构建注入故障的 sysadmin 训练环境，支持 Prometheus 指标收集和自动化调试脚本，实现高效故障排除练习。
2025-12-01systems-engineering2025-12
Tracy 多线程性能剖析器：基于 MPSC 队列的吞吐量优化
利用无锁 MPSC 队列结合批量刷新与零拷贝序列化，构建高吞吐多线程帧剖析器，减少竞争并提供工程化参数。
2025-12-01systems-engineering2025-12
Yandori 实时新闻流压缩与多尺度扩散预测：工程参数与部署清单
解析 Yandori 系统实时爬取 RSS 源构建世界状态嵌入，支持低延迟传播追踪的分层内存与预测机制，给出可落地爬虫限速、缓冲配置与监控阈值。
2025-12-01systems-engineering2025-12
Tracy帧分析器多线程架构：无锁MPSC队列与零拷贝序列化
剖析Tracy实时帧分析器的多线程捕获管道，使用lock-free MPSC队列和零拷贝序列化实现游戏性能瓶颈定位的工程参数与集成清单。
2025-12-01systems-engineering2025-12
在ML训练中使用BFGS和L-BFGS准牛顿法结合Wolfe线搜索实现可扩展非凸优化
针对ML训练循环中的非凸优化，详解BFGS/L-BFGS准牛顿方法与Wolfe线搜索的工程实现，提供可落地参数、监控清单与风险规避策略。
2025-11-30ai-engineering2025-12
Langjam 自举最小解释器：玩具语言到游戏逻辑
Langjam 7 天游戏 Jam 下，自举最小树遍历解释器实现玩具语言解析与游戏逻辑求值，聚焦词法语法评估器工程参数、GameJam 时间约束优化与简单 Roguelike 示例。
2025-11-30compiler-design2025-12
Sentinel-1D SAR高分辨率信号处理链：双极化5m校准、波束apodization与星座干涉基线
针对Sentinel-1D高分辨率SAR图像处理，详述双极化5m分辨率校准流程、波束apodization参数优化及星座干涉基线配置，实现精密地表监测。
2025-11-30systems-engineering2025-12
FreeBSD ports/pkg、jails与ZFS工程实践：无Docker开销的安全部署
利用FreeBSD ports/pkg构建系统、jails轻量虚拟化及ZFS弹性存储，实现高效、安全的系统部署，避免Docker额外开销。
2025-11-30systems-engineering2025-12
Cloudflare Salt 海量配置变更中定位罕见故障：采样缓存与责备模块优化
在 PB 级 Salt 配置日志中，实现 scalable 罕见 highstate 失败检测：本地缓存、Blame 模块查询与多数据中心自动化 triage 参数。
2025-11-30systems-engineering2025-12
Milvus 云原生向量数据库：DiskANN 索引与亿级混合多向量过滤实践
Milvus 以 DiskANN 索引为核心，支持 hybrid search 和 multi-vector 过滤，面向亿级 AI 嵌入检索，给出工程化部署参数与监控要点。
2025-11-30ai-systems2025-12
多智能体Memori记忆引擎：语义去重与跨代理同步，附分级压缩与查询优化
Memori多代理LLM系统中工程化语义检索去重与跨代理同步协议，模拟LSM分级压缩，提升日志合并效率与查询性能。
2025-11-30ai-systems2025-12