浏览器端交互式 λ 归约：Normal Order 与 Applicative Order 的可视化解析
基于 client-side JS 引擎，实现 lambda 项解析、beta-归约（normal/applicative order）、动画图可视化及步进替换追踪，提供策略参数、阈值与监控清单。
2025-11-27compiler-design2025-11
Latest Essays
最新见解 · 第 716 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
将MISP威胁情报Feed集成到Technitium DNS实现动态阻塞列表
通过脚本同步MISP IOC到Technitium阻塞列表，实现feed同步、IOC匹配、递归查询处理及反规避过滤的工程化参数与监控要点。
2025-11-27ai-security2025-11
Linux内核数据结构交互式浏览器：Bootlin Elixir逆向调试实践
利用Bootlin Elixir等Web工具可视化内核结构体关系，提供逆向工程导航参数、过滤技巧及内核崩溃调试清单。
2025-11-27systems-engineering2025-11
TypeScript 海量 IPTV 频道聚合解析：M3U 处理、TS 验证与去重实践
基于 iptv-org，分享百万级 IPTV 采集器的 TypeScript 实现：解析、验证、去重与动态列表生成的工程参数与清单。
2025-11-27application-security2025-11
2D 射线步进软阴影：多射线 Penumbra 采样与阈值调优
2D SDF ray marching 软阴影工程实践：单/多射线 penumbra 计算、密度阈值优化，实现平滑过渡与高帧率渲染。
2025-11-27systems-engineering2025-11
供应链泄露后零信任恢复：凭证轮换管道、端点隔离与异常检测日志
Mixpanel事件后，针对分析平台实现零信任恢复，包括凭证轮换管道、端点隔离、异常告警和取证日志的工程参数与监控清单。
2025-11-27ai-security2025-11
用 Bonsai_term 构建动态终端 UI：增量响应与高效状态更新
基于 Jane Street 的 bonsai_term 库，剖析终端应用的虚拟 DOM diffing、事件循环与状态管理工程实践。
2025-11-27systems-engineering2025-11
AMD Turin处理器UMA内存访问基准与工程优化策略
基于Turin EPYC实测，剖析UMA/NUMA模式下内存延迟、带宽与缓存一致性，提供BIOS NPS阈值选择、numactl绑定清单与监控要点。
2025-11-27systems-engineering2025-11
AMD Turin 上 UMA 与 NUMA 基准测试：缓存一致性开销、带宽扩展与延迟权衡
AMD EPYC Turin 双路系统 NPS0 (UMA) 模式下 DRAM 延迟飙升至 220 ns，高出 NUMA 90 ns；剖析缓存一致性开销、带宽缩放与多 socket HPC 延迟 tradeoffs，提供 BIOS 调优清单。
2025-11-27systems-engineering2025-11
使用 Verl 实现 KL 正则化 PPO 的离线 RLHF：多 GPU 数据并行与偏好排名蒸馏
基于 Verl 库，通过 KL 正则化 PPO 扩展离线 RLHF，结合多 GPU 数据并行、actor-critic 同步及偏好排名蒸馏，实现 LLM 对齐工程化落地。
2025-11-27ai-engineering2025-11
使用 ERA microVM 实现本地 AI 代理沙箱隔离与资源控制
通过 ERA CLI 在本地部署微型虚拟机沙箱，支持进程隔离、CPU/内存配额、输出捕获和安全工具执行，防止主机逃逸。
2025-11-27ai-systems2025-11
使用 safe-npm 实现 90 天成熟度过滤：防范 npm 供应链攻击
客户端 npm 包装器，通过 90 天成熟度阈值阻塞新包安装，结合参数调优与 CI 集成，提供供应链安全落地方案。
2025-11-27ai-security2025-11
DSP 系统设计核心：FIR/IIR 滤波实现、FFT 算法、多速率处理与嵌入式定点优化
核心 DSP 系统设计要点，包括 FIR/IIR 滤波器高效实现、FFT 算法选择、多速率处理策略、定点量化参数及嵌入式实时流水线优化，提供工程落地清单。
2025-11-27systems-engineering2025-11
用 ADK-Go 构建多代理评估流水线：基准测试与协作控制
基于零依赖 Go 运行时，详解多代理协作基准测试的关键参数、监控要点与落地部署策略。
2025-11-27ai-systems2025-11
Coq证明助手中实现宏组装器：汇编IR定义与宏展开验证
在Coq中形式化宏组装器，定义汇编级IR、验证指令解码与宏展开正确性、确保类型安全代码生成，提供工程参数与证明清单。
2025-11-27compiler-design2025-11
WSABuilds：Windows 上预构建 WSA，支持 Magisk/KernelSU Root 与 Google Play
利用 WSABuilds 预构建镜像，在 Win10/11 上部署带 Google Play 和 root 的 Android 子系统，实现侧载 APK、自定义 ROM 和性能调优。
2025-11-27systems-engineering2025-11
1970s 渲染器 SIMD 扫描线并行化：工作窃取队列与动态负载均衡
针对复古 1970s 风格软件渲染器，通过 SIMD 加速的扫描线光栅化、多线程工作窃取队列及动态线程负载均衡，提供 10 倍以上多核加速的工程实现参数与监控要点。
2025-11-27systems-engineering2025-11
Fara-7B：高效代理式屏幕解析与动作执行的工程实践
聚焦微软Fara-7B 7B模型在视觉屏幕解析、坐标预测动作执行与本地低延迟代理工作流的工程参数、阈值与部署清单。
2025-11-27ai-systems2025-11
用SVG动画漫画序列可视化Git Diff Hunk审查流程
借鉴jona.ca漫画代码审查方法，用SVG动态序列高亮git diff常见bug如边界遗漏、空指针，提升团队审查效率。
2025-11-27application-security2025-11
用工作窃取调度器并行化 1970 年代风格软件渲染器：无锁队列与 SIMD 扫描线
复刻 1970 年代扫描线渲染算法，通过工作窃取多线程调度、无锁任务队列及 SIMD 向量填充，实现 CPU 实时多线程渲染的关键参数与监控要点。
2025-11-27systems-engineering2025-11