Hotdry.

Month Archive

2026-04

共 2071 篇文章。

commit-message-routing-vulnerability

分析HERMES.md字符串触发计费路由异常的技术根因,探讨外部输入验证缺失下的防护机制与工程改进建议。

2026-04-30ai-systems2026-04

Vera:专为机器代码生成设计的编程语言

解析Vera语言的设计哲学:放弃变量名改用结构引用,强制合约验证,用SMT求解器确保AI生成的代码可检验,编译输出WebAssembly实现跨平台运行。

2026-04-30compilers2026-04

用 EvanFlow 为 Claude Code 建立 TDD 反馈循环

通过 EvanFlow 的 16 个技能与双子代理架构,为 Claude Code 构建规范的 TDD 驱动开发流程,解决 AI 编码中的断言错误、上下文漂移等核心问题。

2026-04-27ai-systems2026-04

async-await-promise-and-reality

解析 async/await 范式承诺与实际交付的差距,从回调、Promise 到协程的技术迭代路径审视并发编程的 structural costs。

2026-04-22systems2026-04

七种编程元语言的设计哲学与工程权衡

解析ALGOL、Lisp、ML、Self、Forth、APL、Prolog七种编程元语言的设计哲学、抽象机制与计算模型的核心差异,为语言学习者提供系统性的认知框架。

2026-04-19compilers2026-04

AI助手身份验证流程的工程实现

深入解析AI助手身份验证的工程实现路径,涵盖OAuth/OIDC验证链路、证据采集体系与隐私保护设计,提供可落地的参数配置与监控要点。

2026-04-15security2026-04

交互式 JVM 参数探索工具完全指南

深入解析 VM Options Explorer,探讨如何通过交互式搜索过滤数千个 JVM 配置选项,获取 Flag 含义、默认值与使用示例的工程实践。

2026-04-12systems2026-04

pgvector HNSW 索引调优:延迟与召回的工程权衡

深入解析 pgvector HNSW 索引的三大核心参数 m、ef_construction、ef_search,提供可落地的调优阈值与监控策略,帮助在向量检索场景中实现延迟与召回率的最佳平衡。

2026-04-12ai-systems2026-04

TEE 远程认证协议工程化实现

深入解析 TEE 远程认证的挑战-响应协议流程,给出 Intel SGX 与 ARM TrustZone 的工程化参数配置与监控方案。

2026-04-11security2026-04

Herbie 实战:自动优化浮点表达式精度

深入解析 Herbie 如何通过采样驱动的重写规则自动将数值不稳定的浮点表达式转换为高精度实现,提供工程化的精度改进思路与实操参数。

2026-04-04compilers2026-04

系统提示泄漏的安全影响分析

分析ChatGPT、Claude、Gemini等系统提示泄漏的安全影响:从提示注入防御、越狱风险到企业AI治理的工程实践。

2026-04-02security2026-04

主板PWM失效时的DIY风扇控制器方案

探讨主板PWM风扇控制失效场景下的DIY解决方案,基于555定时器或MCU实现独立风扇调速控制器,提供硬件选型参数与实作要点。

2026-04-02systems2026-04