将 Dillo 浏览器仓库迁移到自托管 Git：实现平台独立与最小化开发
针对轻量级浏览器 Dillo 项目，从 GitHub 迁移仓库到自托管 Gitea/Forgejo 的完整步骤、参数配置与风险规避策略。
2025-12-01systems-engineering2025-12
Latest Essays
最新见解 · 第 699 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
DeepMind Thinking Game 中的 RL 代理谜题训练：可扩展计算管道与能力评估指标
基于 Thinking Game Film，探讨 DeepMind 在 RL 代理谜题求解训练中的可扩展计算管道设计与能力评估指标体系。
2025-12-01ai-systems2025-12
简单规则的let多态类型检查器：递归多态与subsumption实现
用简单规则实现支持递归、多态的lambda演算类型检查器，通过bidirectional infer/check与subsumption，避免复杂unification算法。
2025-12-01compiler-design2025-12
AOC 2025 第一天输入解析基准：Rust 与 Zig 正则 vs 手动解析在大输入下的表现
模拟 AOC 2025 Day 1 海量输入，基准 Rust/Zig 正则与手动解析器性能，剖析内存分配模式，提供零分配优化参数与 leaderboard 冲刺清单。
2025-12-01systems-engineering2025-12
TrendRadar：多平台热点聚合与MCP AI分析推送
TrendRadar聚合多平台热点，利用MCP协议驱动AI情感/相似检索/趋势分析，支持Docker部署与微信/Telegram实时推送，提供工程化参数。
2025-12-01ai-systems2025-12
基于 IETF HTTP QUERY 方法的无状态服务能力探测
利用 IETF QUERY draft 实现无状态 API 能力探测，支持版本发现、特性协商；详述请求/响应格式、缓存优化与浏览器兼容策略。
2025-12-01application-security2025-12
旧PC变身NAS：ZFS RAID配置、SMB共享与低功耗Docker集成
利用闲置旧PC搭建高性价比NAS，详解ZFS池创建、SMB/NFS服务、低功耗调优、Docker部署及Wake-on-LAN远程管理。
2025-11-30systems-engineering2025-11
Dillo 浏览器从 GitHub 迁移自托管 Git 的工程实践
FOSS 轻量浏览器 Dillo 从 GitHub 迁移自托管 Git，详解 mirror 同步、CI/CD 钩子移植、issue tracker 兼容与 release 自动化的工程参数与监控要点。
2025-11-30application-security2025-11
let多态λ演算的基于规则类型检查器实现
使用双向类型检查结合递归下降解析和替换推理引擎，实现λ演算核心类型规则，支持let多态、函数应用与原语操作，提供落地参数与监控要点。
2025-11-30compiler-design2025-11
使用统一变量、子类化规则与约束传播实现双向类型推断
详述无需解析器耦合的可扩展类型检查器实现，包括规则、算法参数与工程清单。
2025-11-30compiler-design2025-11
Windows 盘符超出 A-Z 的低级注册表与 mountvol 技巧：支持超 26 个卷的动态挂载
详解 Windows 盘符限制突破方法，通过 mountvol 和注册表 hack 实现超过 26 个卷的文件夹挂载与管理，提供命令参数、风险阈值与监控清单。
2025-11-30systems-engineering2025-11
Stanford CS193p 2025 SwiftUI更新：异步图片加载与SwiftData工程实践
基于Stanford CS193p 2025课程前6讲，剖析SwiftUI异步图片加载、SwiftData状态管理及Widget多平台部署的工程参数、阈值与监控要点。
2025-11-30general2025-11
Boing 实时 Canvas 物理引擎：弹跳交互与碰撞检测
浏览器端 Canvas 实现实时弹跳物理，核心在于碰撞检测与速度反转参数调优，实现流畅交互动画。
2025-11-30application-security2025-11
Tracy Profiler 中的 lock-free MPSC 队列与零拷贝序列化管道
Tracy 多线程帧捕获的高吞吐实现：无锁 MPSC 队列结合零拷贝序列化管道的工程参数、监控清单与风险控制。
2025-11-30systems-engineering2025-11
Rust/Zig 高性能解析器与模拟优化：迎接 AoC 2025 每日谜题
AoC 2025 启动在即，分享 Rust/Zig 在高性能解析、模拟与优化方面的工程实践与参数清单，确保每日谜题高效求解。
2025-11-30systems-engineering2025-11
CachyOS 集成 BORE v4 调度器、x86-64-v4 与 LTO：滚动 Linux 下的亚毫秒游戏延迟
CachyOS 上 BORE v4 调度器与 x86-64-v4 ISA、LTO 编译的协同，实现 sub-ms 游戏延迟的关键参数与落地清单。
2025-11-30systems-engineering2025-11
工程化“思维空间”中 LLM 能力流形：投影探针、涌现曲线与缩放相变预测
面向 LLM 缩放工程，给出能力流形投影探针、涌现曲线拟合与相变预测的实现参数与监控清单。
2025-11-30ai-systems2025-11
用 HTTP QUERY 方法实现无状态能力探测：安全请求体与服务器驱动发现
基于 IETF 草案，HTTP QUERY 方法支持带 body 的幂等查询，用于取代 OPTIONS 进行无状态能力探测，提供服务器端配置参数与客户端调用清单。
2025-11-30application-security2025-11
LLM 能力超空间坍缩动力学：映射新兴能力为超曲面流形
面向 LLM 能力景观，将新兴能力建模为高维超曲面，剖析缩放定律驱动的展开与分布偏移诱发的坍缩轨迹，并给出工程监控参数。
2025-11-30ai-systems2025-11
多代理 LLM 记忆的高频写入：LSM 分层压缩与布隆过滤器优化
针对多代理 LLM 记忆的高变动场景，详解 LSM-tree 分层压缩阈值、布隆假阳性率控制，实现高效读写合并。
2025-11-30ai-systems2025-11