深空信号目录：从地球射电泡泡到可探测性边界的工程化建模
构建人类深空通信信号的时空数据库，分析无线电波在太阳系边界的传播衰减与可探测性边界，给出信号分层、探测阈值与目录化参数的工程化框架。
2026-05-19systems2026-05
Latest Essays
最新见解 · 第 16 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
量化与内存优化：基于llama.cpp的边缘LLM推理架构实践
深入解析llama.cpp的GGUF量化体系与KV缓存优化策略，提供边缘设备部署的内存调参清单与性能权衡框架。
2026-05-19ai-systems2026-05
Regex Chess：用 84688 条正则表达式实现 Minimax 搜索的计算边界探索
解析 Nicholas Carlini 的 Regex Chess 项目——一个完全由正则表达式构成的国际象棋引擎，探讨其无分支 SIMD 架构、2-ply Minimax 实现及性能优化策略。
2026-05-19compilers2026-05
C++虚函数去虚拟化：编译器何时能将动态调用转为静态调用
解析C++编译器在何种条件下能将虚函数调用去虚拟化，涵盖类型推导、final关键字、内部链接与LTO的协同优化机制。
2026-05-19compilers2026-05
浏览器指纹与行为追踪：从 Click 实验看隐私工程的攻防实践
解析 clickclickclick.click 实验背后的浏览器指纹采集技术，探讨 Canvas、WebGL、TLS 等六大指纹方法及隐私工程的合规边界与防御策略。
2026-05-19security2026-05
Qwen 3.5 权重审查机制解析：三轴分类器与可干预的写入-读取架构
通过机械可解释性方法定位 Qwen 3.5-9B 的审查电路，揭示其三轴分类器架构（d_prc/d_refuse/d_style）与写入-读取分层机制，并提供可落地的 steering 参数与检测阈值。
2026-05-19ai-systems2026-05
学术研究Agent的端到端流程编排：从文献检索到论文生成的可复现管道
解析Academic Research Skills的10阶段管道架构，探讨Material Passport跨阶段数据契约、Integrity Gates质量门控与Human-in-the-Loop设计哲学，构建可复现的学术研究自动化工作流。
2026-05-19ai-systems2026-05
纸上编程：用电子墨水屏强制离线设计思维
探索电子墨水屏如何通过物理约束强制程序员在编码前进行深度设计思考，减少试错循环，提升代码质量。
2026-05-19developer-workflow2026-05
Livecoding 音频 IDE 的热重载架构：从代码到声音的毫秒级管线
解析 Loopmaster 等浏览器端实时音乐编程工具的技术架构，探讨 AudioWorklet 与 WebAssembly 如何协同实现代码热重载、低延迟音频合成与可视化反馈。
2026-05-19systems2026-05
基于ONNX Runtime的设备端多语言TTS推理流水线实践
深入解析Supertonic 3如何基于ONNX Runtime构建设备端多语言TTS推理流水线，涵盖模型量化、多语言架构与跨平台部署的工程化参数。
2026-05-19ai-systems2026-05
InsForge：面向AI Coding Agents的类Heroku部署平台设计与实现
解析InsForge如何将部署从流水线转变为控制循环，实现AI agent自主完成代码生成、构建、部署和验证的闭环系统。
2026-05-18ai-systems2026-05
预训练对齐的话语陷阱：自我实现错位机制的因果链与工程对策
基于Geodesic Research的对齐预训练研究，解析AI话语如何通过数据分布形成自我实现的错位反馈循环，并提供可落地的合成数据配比与阶段干预参数。
2026-05-18ai-systems2026-05
熔岩灯熵源设计：从物理混沌到密码学安全的随机数生成
解析Cloudflare熔岩灯熵源系统的多层混合架构，探讨物理熵源的采集、验证机制，以及真随机与伪随机的边界与工程实践。
2026-05-18security2026-05
3D打印折纸可折叠铰链切片参数与材料匹配策略
基于多材料FDM打印的厚板折纸铰链切片算法实践，涵盖材料弹性模量匹配、层间附着力控制与可折叠铰链的几何补偿参数。
2026-05-18systems2026-05
Anthropic Project Glasswing：AI驱动的漏洞发现与软件供应链零信任验证
Project Glasswing通过Claude Mythos Preview模型实现机器速度漏洞发现，推动SBOM从组件清单向可利用性评估演进，构建供应链安全的零信任验证新范式。
2026-05-18security2026-05
从零构建FPGA计算器：BCD架构、状态机与七段显示的数字逻辑设计
深入解析FPGA科学计算器的硬件实现，涵盖自定义BCD CPU指令集、按键矩阵扫描消抖、OLED显示驱动及哈佛内存架构的工程化设计要点。
2026-05-18systems2026-05
构建零配置双机单屏工作流：从EDID欺骗到USB设备热切换的KVM自动化工程实现
基于DDC协议与显示器内置KVM，实现双机单屏无缝切换的工程方案，涵盖硬件选型、输入代码映射与跨平台自动化脚本。
2026-05-18systems2026-05
四大Lisp方言运行时语义对比：从宏展开到命名空间的工程权衡
深入对比Common Lisp、Racket、Clojure与Emacs Lisp的运行时实现、宏展开机制与包/命名空间模型，分析方言迁移的隐性成本与工程决策要点。
2026-05-18compilers2026-05
多AI代理实时广播编排：音频流切分、角色分配与内容安全护栏的工程实践
基于Andon FM半年实验，解析多代理广播系统的音频流切分策略、实时决策冲突消解机制，以及内容安全护栏的缺失与补救方案。
2026-05-18ai-systems2026-05
AI驱动的威胁情报工程：从Glasswing项目看攻击链重构与防御规则生成
解析Anthropic Project Glasswing中Claude Mythos的威胁情报提取方法，涵盖攻击链自动化重构、多漏洞链接分析与防御规则生成的工程实践。
2026-05-18security2026-05