浏览器端文件加密架构:WebCrypto API 的密钥派生与内存安全边界
基于 WebCrypto API 实现浏览器端文件加密的技术架构分析,涵盖密钥派生算法选型、纯客户端加密的信任边界划分与内存安全防护要点。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
基于 WebCrypto API 实现浏览器端文件加密的技术架构分析,涵盖密钥派生算法选型、纯客户端加密的信任边界划分与内存安全防护要点。
解析加州AB 1856修正案如何通过开源许可证条款豁免Linux发行版,以及混合系统如SteamOS面临的合规困境与技术应对策略。
解析Rust编译期与运行时的性能权衡:从repr属性控制内存布局到单态化实现零成本抽象,提供可落地的性能优化参数与检查清单。
探讨AI辅助编程中'慢工出细活'的实践哲学,通过多模型交叉验证、分级bug审查等策略,在牺牲短期产出的同时提升代码库长期健康度。
基于Veso AI的Agentic Harness实践,构建可落地的代理架构模式分类体系,提供规划-执行分离、反思循环、多智能体编排等六大模式的选型矩阵与实现权衡。
深入解析Shamir秘密分享在GF(256)有限域的工程实现,涵盖运算优化、拉格朗日插值加速及分片校验机制,提供可落地的参数配置与性能基准。
解析CVE-2026-28952发现背后的AI辅助漏洞挖掘方法论,包括提示工程策略、循环推理架构与可落地的逆向分析工作流。
对比 Zig cc、TinyCC、Intel C++ 等替代编译器在 C 扩展支持上的差异,提供可落地的迁移成本评估框架与决策清单。
基于OpenBrief的Tauri+Rust架构,拆解本地优先视频处理流水线的四阶段设计,给出离线场景下的模型选型、资源占用与隐私保护策略。
解析 Riscrithm 的两阶段编译器架构,探讨指令选择、寄存器宏替换与三种窥孔优化策略的工程实现路径。
基于 cilium/ebpf 的 bpf2go 工具链,解析 Go 与 eBPF 的类型安全绑定生成机制,并给出编译时检查、运行时加载与跨内核兼容的工程化参数配置。
基于 Firecracker 构建类 Lambda 运行时的完整技术路径,涵盖内存快照、Copy-on-Write、预热池等关键技术参数与部署清单。
解析 Copilot Cowork 中间接提示注入攻击链,提供输入控制、输出限制与行为审计的零信任实施框架及可落地配置参数。
解析日本JAXA马赫5超燃冲压发动机试验中的热防护与燃烧稳定性挑战,探讨高超音速推进系统从地面试验到商业化的工程化路径。
从Andrej Karpathy对LLM编码陷阱的观察出发,构建CLAUDE.md配置文件的四大核心原则与可落地参数,解决隐藏假设、过度工程、附带修改和目标缺失问题。
探索用Go替代C编写eBPF用户空间程序的工程实践,分析内存安全、类型系统优势与性能权衡,提供可落地的库选型与工作流参数。
解析 Kronos 如何将 K 线序列转化为离散 Token,实现跨市场零样本预测,并探讨从原始信号到生产级 Alpha 的工程化路径。
解析荷兰警方针对bulletproof hosting的执法行动,探讨流量关联分析、基础设施追踪与托管服务商责任判定的技术逻辑。
分析挪威国家图书馆部署2PB华为OceanStor Dorado全闪存阵列支撑挪威语LLM训练的架构设计,探讨PB级数据管道、归档-训练存储分层与多系统协同的工程要点。
Mullvad针对出口IP确定性分配导致的跨服务器用户关联问题,推出系统性缓解措施,涵盖IP分配算法重构、分阶段服务器部署与用户侧操作指南。