CRL 预取与分区缓存实现：OCSP 关闭后维持亚 100ms TLS 吊销检查
OCSP 服务关闭后，通过 CRL 预取、分区缓存和即时签发策略，确保 TLS 吊销检查延迟低于 100ms 的工程实践。
2025-09-15ai-security2025-09
Latest Essays
最新见解 · 第 1041 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
在 TypeScript 中实现细粒度信号响应性：Ripple 零构建 UI 框架
探讨 Ripple 框架的信号响应性机制与高效 VDOM 差异化，实现无构建器的模块化 UI 组合。
2025-09-15application-security2025-09
用神经场实现单图像镜头模糊建模：隐式表示与体积渲染
基于 Lens Blur Fields 技术，从单张图像实现真实镜头模糊效果。使用 MLP 隐式表示 PSF，结合深度估计和体积渲染，支持后处理管道中的零-shot 去焦模拟。
2025-09-15ai-systems2025-09
使用 Irrlicht 实现跨平台轻量级场景图：OpenGL 抽象与着色器支持
探讨 Irrlicht 引擎中轻量级场景图的实现，结合 OpenGL 抽象层和着色器支持，实现桌面、移动和控制台上的高效实时 3D 渲染。
2025-09-15systems-engineering2025-09
用C实现x86最小教育OS内核：引导加载、内存分配与中断处理
从零构建x86 OS内核的核心组件，包括引导加载程序、简单内存分配器和中断处理机制，提供代码示例与调试参数。
2025-09-15systems-engineering2025-09
浏览器AI代理运行时隔离：使用Web Workers和基于能力的セキュリティ实现
探讨如何利用Web Workers和能力-based安全机制为浏览器中的AI代理提供运行时隔离，防止未授权DOM访问和数据外泄，提供工程化参数和监控要点。
2025-09-15ai-security2025-09
在 PeerTube 中实现定时直播：ActivityPub、HLS 和弹性队列
探讨联邦 P2P 视频平台中定时直播的工程实现，聚焦 ActivityPub 集成、HLS 分段与后端队列，确保跨实例可靠广播。
2025-09-15application-security2025-09
用 OpenCode 实现终端 AI 编码代理
基于 TypeScript 构建终端 AI 代理，支持本地 LLM 调用与文件 I/O，实现离线多步编码工作流，无需 IDE 依赖。
2025-09-15ai-systems2025-09
实现 Titania：一种最小系统编程语言的自定义解释器
探讨 Titania 语言的核心设计与自定义解释器的工程实现，强调零成本抽象和低级内存控制在性能关键应用中的作用。
2025-09-15compiler-design2025-09
实现 Titania 核心：递归下降解析器、类型推断引擎与 LLVM 后端
基于 Oberon-07 的 Titania 语言核心实现指南，聚焦递归下降解析、类型推断及 LLVM 代码生成的无运行时开销设计。
2025-09-15compiler-design2025-09
macOS Tahoe 通过 XNU 内核扩展实现 Unix 03 符合性
探讨 macOS Tahoe 如何借助 XNU 内核的 POSIX 子系统、系统调用包装器和自动化测试流程，确保 Unix 03 标准认证。
2025-09-15systems-engineering2025-09
浏览器中AI代理的能力隔离：使用Web Workers、CSP策略与运行时权限检查
面向浏览器AI代理的安全隔离，给出Web Workers执行环境、CSP策略配置及运行时权限检查的工程化参数与实现清单。
2025-09-15ai-security2025-09
将脉冲神经元集成到7B大模型中实现事件驱动稀疏激活
通过生物启发阈值和delta编码，将脉冲神经元融入7B LLM，实现事件驱动稀疏激活，计算量减少50%，适用于高效设备端推理。
2025-09-15ai-systems2025-09
将脉冲神经元整合到7B规模LLM：事件驱动稀疏激活的能效推理
面向7B规模LLM，探讨脉冲神经元整合实现事件驱动稀疏激活的工程参数与能效优化要点。
2025-09-15ai-systems2025-09
Lightweight Semantic Parsing with Semlib: Entity Extraction and Relation Graphing
利用 Semlib 通过嵌入模型和规则推理从非结构化文本中提取实体并构建关系图，而不依赖重型 LLM。
2025-09-15ai-systems2025-09
在一次性电子烟中基于ESP32实现低功耗HTTP服务器：远程配置与传感器数据服务
在极端功率约束下，利用ESP32搭建最小HTTP服务器，实现WiFi-based远程配置和传感器数据服务，提供工程参数与优化要点。
2025-09-15systems-engineering2025-09
Perplexica 中 TypeScript RAG 管道的优化：低延迟查询路由、混合搜索融合与可扩展向量索引
针对 Perplexica 的 TypeScript RAG 管道，给出低延迟查询路由、混合搜索融合与可扩展向量索引的优化参数与实现要点。
2025-09-15ai-systems2025-09
利用 MLX 统一内存、量化和 KV 缓存优化 Apple Silicon 上的 LLM 推理
面向 Apple Silicon 的 LLM 推理优化，给出 MLX-LM 中统一内存、量化与 KV 缓存的工程参数与多模型切换策略。
2025-09-15ai-systems2025-09
多代理 LLM 编排：从研究论文到可执行代码模块的零-shot 生成
通过 DeepCode 框架的多代理系统，实现研究论文到生产代码的自动化转换，支持模块化规划、验证与零-shot 应用生成。
2025-09-15ai-systems2025-09
使用 Genkit Flows 在 JavaScript 中编排多模型 AI 管道：可组合 RAG 与向量数据库集成
通过 Genkit Flows 实现 JavaScript 多 LLM 管道编排，集成 RAG 与向量 DB，支持插件式模型切换和类型安全工作流。
2025-09-15ai-systems2025-09