铝箔球检波器：用厨房材料构建2.4GHz WiFi信号可视化探测器
基于1890年代马可尼Coherer原理，使用铝箔球、纽扣电池和LED构建2.4GHz RF近场探测器，实现WiFi信号强度可视化映射。
2026-05-18systems2026-05
Latest Essays
最新见解 · 第 100 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
宝可梦 DSL 教授 Prolog：具象化逻辑编程的认知路径
以宝可梦为领域语境设计 Prolog 教学 DSL，探索声明式编程中认知负荷优化与具象化教学策略的工程实践。
2026-05-18compilers2026-05
用 C# 实现 K 语言解释器：解析极简语法的 AST 设计与 Tacit 编程求值策略
深入 kharp 项目，探讨如何用 C# 实现 K 语言解释器，重点分析数组编程语言的 AST 极简设计和 tacit 形式求值策略的工程化实现。
2026-05-18compilers2026-05
从精密瓦片到标准组件：Tesla Solar Roof产能爬坡失败的制造性设计教训
分析Solar Roof从每周1000套承诺到十年仅3000套安装的产能困境，探讨分布式能源产品在美学追求与规模化制造之间的工程权衡。
2026-05-18systems2026-05
Profunctor Equipment 在 Haskell 中的实现：构建可组合的光学组件
介绍 Profunctor Equipment 模式在 Haskell 中的实现，展示如何用类型安全的方式构建可组合的 Lens、Prism 和 Traversal 光学组件。
2026-05-18functional-programming2026-05
Prolog 编码陷阱与调试实践：从意外失败到声明式排错
梳理 Prolog 编程中的典型反模式，包括丢失解、无限递归与逻辑变量误用，并介绍声明式调试技术与 failure slicing 方法。
2026-05-18programming-languages2026-05
Mercurial 线协议向后兼容：HTTPv2 协商与 Bundle 格式迁移的工程实践
解析 Mercurial 20年线协议演进中的向后兼容策略，涵盖 HTTPv2 内容协商机制、Bundle v1/v2 格式差异，以及跨版本仓库交互的兼容性测试要点。
2026-05-18systems2026-05
ADS-B与卫星TLE数据融合：构建实时交会检测预警系统
基于Shadowbroker开源情报平台，详解ADS-B飞机轨迹与卫星TLE星历的实时交会检测算法，提供SGP4传播模型与最近接近距离计算的工程化参数。
2026-05-18security2026-05
长时视频档案处理：从ISS 333小时Q&A到工程化分段索引与流式传输
基于ISS in Real Time项目的333小时宇航员Q&A视频，探讨长时视频档案的分段检测、多级索引架构与自适应流式传输的工程实现策略。
2026-05-18systems2026-05
用Mezz构建WiFi隔离沙盒：IoT设备攻击面验证与流量审计实践
基于Mezz构建自包含WiFi沙盒，实现IoT设备的网络隔离、DNS审计与MITM流量拦截，提供可落地的安全测试参数与配置清单。
2026-05-18security2026-05
无libc运行时直接内核调用路径与进程级并发模型分析
分析FreedomLang无libc运行时直接发起sys/kernel调用的路径设计，及其基于OS进程的并发模型实现机制与性能权衡。
2026-05-18systems2026-05
分层语义索引结构在大规模代码库检索中的构建与查询优化
探讨大规模代码库检索中分层语义索引的架构设计、多粒度嵌入聚合机制及ANN参数调优策略，提供可落地的工程配置清单。
2026-05-18ai-systems2026-05
多 IDE 统一代码知识图谱：跨编辑器索引共享与 Tool Call 优化
基于 codegraph 构建跨 Claude Code、Cursor、Codex 的统一知识图谱，实现 92% Tool Call 削减与多 Agent 索引共享的工程化方案。
2026-05-18ai-systems2026-05
从2003年SGI采购指南分析企业级图形工作站的硬件架构选型策略与生命周期管理决策
基于SGI Octane与Fuel的技术文档，提炼企业级图形工作站采购的五大决策维度：CPU代际锁定、内存天花板评估、I/O带宽匹配、配件兼容性验证、维护成本测算。
2026-05-18systems2026-05
微软AI Agent初学者教程的课程结构工程化解析
剖析微软12课AI Agent教程的课程结构设计，从基础概念到实现模式的渐进式学习路径工程化方法。
2026-05-18ai-systems2026-05
从《Colossus: The Forbin Project》看AI对齐：1970年科幻预言与现代安全困境
分析1970年科幻经典《Colossus: The Forbin Project》中的AI安全警示，探讨目标错位、涌现能力与关闭问题等核心议题对现代AI治理框架的启示。
2026-05-18ai-safety2026-05
16字节x86实模式汇编：Matrix雨屏的音频化与PC扬声器PWM合成
解析HellMood的16字节x86极小程序如何将Matrix雨屏视觉转化为音频输出，探讨PC扬声器PWM驱动原理与视觉-听觉跨模态映射的工程化技巧。
2026-05-18systems2026-05
AI是技术而非产品：能力封装与产品化的工程决策边界
辨析AI作为底层技术与产品形态的本质差异，探讨技术封装、用户体验层构建与商业化路径的工程决策边界。
2026-05-18ai-systems2026-05
AI流程加速的隐性成本：从效率悖论到组织适配
剖析AI工具在流程加速中的隐性成本与组织摩擦，提出可落地的流程改造评估框架与决策矩阵。
2026-05-18ai-systems2026-05
AI编码工具的减速悖论：当上下文切换与审查负担抵消效率增益
METR研究显示经验丰富的开发者使用AI工具反而慢19%，剖析上下文切换、代码审查与幻觉修正三大隐性成本，给出可落地的任务分级与度量策略。
2026-05-18ai-systems2026-05