Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
This post details the construction of a lightweight spiking neural network simulator using pure Python and NumPy, targeting a 1000-neuron model for binary decisions in under 100 seconds, with emphasis on real-time efficiency.
探讨 Embedding Atlas 中跨过滤搜索和元数据查询的工程机制，支持大规模嵌入数据的交互可视化和高效过滤，提供性能优化参数与监控要点。
解析 Embedding Atlas 工程架构，提炼支持百万级点实时交叉过滤与探索式搜索的可落地参数与系统设计模式。
探讨 LLM 推理管道中令牌级不确定性估计与置信度评分的工程实践，实现实时幻觉输出检测与过滤，提升系统可靠性。
通过检索增强生成 (RAG) 注入外部知识源，减少 LLM 输出中的幻觉问题，提供工程实现参数与优化策略。
解析 FHEVM 如何通过符号执行路径约束与异步协处理器架构，在 EVM 上实现高效、可组合的链上隐私计算。
Explore the engineering implementation of Gigabyte's CXL 2.0 protocol for 512GB DRAM expansion, focusing on memory pooling, low-latency access, and hot-plug mechanisms to optimize data center resource utilization.
面向 GPT-5 搜索增强推理，给出实时检索机制集成、多模态查询处理的参数与优化要点。
在Flix中实现代数效应，用于结构化处理函数式编程中的副作用、并发和异常，无需monad变换器。
在 Flix 语言中，通过处理器-based 组合实现代数效应，实现功能代码库中模块化的副作用管理，提供定义、实现和应用指导。
探讨 Racket 中匿名递归函数的实现技巧，聚焦尾递归优化和卫生宏，确保简洁的功能定义。
Leverage Zig's async features to build high-performance buffered I/O, incorporating zero-copy methods and kernel bypass for demanding storage workloads.
利用Zig的异步缓冲I/O管道，结合内核异步API和零拷贝策略，实现SSD上亚毫秒级顺序文件吞吐量优化，提供工程参数与落地清单。
使用 Apache Airflow 构建容错执行的 DAG 管道，提供 authoring、scheduling 和 monitoring 的工程化参数。
通过Quarkus和GraalVM的原生编译技术，在Kubernetes微服务中实现启动时间小于50ms和RSS占用小于10MB的具体工程参数和优化清单。
基于 Rust 构建的语义 grep 工具，利用 Claude Code 进行高效代码搜索，通过本地嵌入模型实现隐私保护和低延迟查询，无需外部 API 调用。
通过符号执行集成到 FHEVM 协处理器，实现区块链 FHE 计算的隐私与高效，提供关键参数与监控要点。
解析 Embedding Atlas 如何通过自动聚类、密度轮廓与 WebGPU 渲染实现大规模嵌入数据的实时探索，并给出 Python/JS 集成参数与预处理要求。
面向大规模嵌入数据集，解析Embedding Atlas的实时交叉过滤架构与WebGPU渲染性能调优参数，提供工程化落地清单。
拆解大模型底层依赖的线性代数、概率与信息论原理，提供可落地的参数调试清单与工程实现建议。