📝
ai-systems
•2025年
热门Claude 中 Markdown 包裹提示工程：结构化 XML 输出、工具调用可靠性和工件生成
在 Claude 中运用 Markdown-wrapped 提示，实现可靠的 XML 结构化输出、工具调用稳定性，并生成工件避免 JSON 解析脆弱性，提供工程参数与清单。
阅读全文
3分钟阅读
🔥每日更新技术干货 · 已更新 8283 篇文章
欢迎来到
Hotdry Blog
技术热点，干货分享。 专注云原生、CDN、AI等前沿技术的实战经验和深度思考
8283
技术文章
157
技术分类
365
天更新
∞
持续学习
📝最新文章
查看全部📝
systems
•2025年
热门Cloudflare Salt 海量配置变更中定位罕见故障：采样缓存与责备模块优化
在 PB 级 Salt 配置日志中，实现 scalable 罕见 highstate 失败检测：本地缓存、Blame 模块查询与多数据中心自动化 triage 参数。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门使用 ADK-Go 构建代码优先的 AI 代理：会话检查点与追踪实践
基于 Google ADK-Go 工具包，介绍代码优先构建复杂 AI 代理的会话检查点恢复、分布式追踪配置与评估部署要点。
阅读全文
3分钟阅读
📝
security
•2025年
热门Cursor AI 机器 ID 重置绕过试用限制：Python 脚本实战参数
剖析 Cursor AI machine ID 生成与存储机制，提供 Python 脚本重置路径、浏览器自动化阈值与无限 Pro 试用落地清单。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门DeepMind Thinking Game 中的 RL 代理谜题训练：可扩展计算管道与能力评估指标
基于 Thinking Game Film，探讨 DeepMind 在 RL 代理谜题求解训练中的可扩展计算管道设计与能力评估指标体系。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门部署DeepSeek-Math-V2：IMO金牌数学模型的量化加速、LoRA微调与长上下文优化
提供DeepSeek-Math-V2的vLLM部署、4-bit量化、LoRA微调及长上下文优化参数，实现IMO级数学推理的高效工程化。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门DeepSeekMath-V2 自验证数学推理管道：验证器与生成器协同工程参数
解析 DeepSeekMath-V2 自验证框架的核心工程参数，包括评分标准、奖励函数权重、迭代阈值与规模化验证清单，实现 IMO 金牌级数学证明生成。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门DeepSeekMath-V2 自验证数学推理管道：验证器训练与生成器奖励工程化参数
DeepSeekMath-V2 自验证框架下验证器冷启动、元验证过滤、生成器自省奖励权重及规模化标注清单，实现过程监督的 IMO 金牌证明生成。
阅读全文
3分钟阅读
📝
systems
•2025年
热门Docker Compose 可重现系统管理员挑战环境：故障注入与调试工作流
借鉴 SadServers 项目，用 Docker Compose 构建注入故障的 sysadmin 训练环境，支持 Prometheus 指标收集和自动化调试脚本，实现高效故障排除练习。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门简单规则的let多态类型检查器：递归多态与subsumption实现
用简单规则实现支持递归、多态的lambda演算类型检查器，通过bidirectional infer/check与subsumption，避免复杂unification算法。
阅读全文
3分钟阅读
📝
systems
📝
systems
📝
systems
•2025年
热门ETH Zurich 2025春数字设计：Chisel RISC-V乱序流水线与FPGA验证实践
ETH苏黎世联邦理工数字设计课程lab详解：Chisel HDL实现RISC-V乱序处理器pipeline，出序执行关键参数，FPGA验证工程化流程与监控清单。
阅读全文
3分钟阅读
📝
systems
•2025年
热门Tracy帧分析器多线程架构：无锁MPSC队列与零拷贝序列化
剖析Tracy实时帧分析器的多线程捕获管道，使用lock-free MPSC队列和零拷贝序列化实现游戏性能瓶颈定位的工程参数与集成清单。
阅读全文
3分钟阅读
📝
systems
•2025年
热门FreeBSD ports/pkg、jails与ZFS工程实践：无Docker开销的安全部署
利用FreeBSD ports/pkg构建系统、jails轻量虚拟化及ZFS弹性存储，实现高效、安全的系统部署，避免Docker额外开销。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门Verl中FSDP通信重叠与阈值调优：KL正则化PPO的多GPU分片策略
针对KL正则化PPO的多GPU FSDP分片，详解通信重叠策略如forward prefetch，以及动态阈值调优参数，实现高效LLM RL流水线。
阅读全文
3分钟阅读
📝
mlops
•2025年
热门VERL FSDP-PPO 多GPU通信重叠优化：分片阈值与落地参数
VERL中KL正则化PPO结合FSDP分片与多GPU通信重叠，给出可落地阈值调优、offload策略与监控清单，实现对齐训练扩展。
阅读全文
3分钟阅读
📝
systems
•2025年
热门从 GitHub 迁移到 Codeberg：设置镜像、移植 Actions 到 Forgejo CI、基于 API 的 Issue/PR 转移
从 GitHub 迁移仓库到 Codeberg 的工程化指南：一键仓库迁移、双向镜像同步、Actions 移植到 Forgejo CI、Issue/PR API 转移及认证要点。
阅读全文
3分钟阅读
📝
security
•2025年
热门Google Antigravity 工具误删驱动器根因剖析与防护工程
剖析 Antigravity AI 编码工具安全 Bug 触发误删路径、文件系统恢复机制与沙箱隔离等防护参数。
阅读全文
3分钟阅读
📝
systems
•2025年
热门KDE Plasma 6.8 彻底放弃 X11 会话：全面转向 Wayland 的工程化迁移
Plasma 6.8 移除 X11 会话支持，聚焦 Wayland 原生合成与输入优化，提供迁移清单、XWayland 参数调优及常见坑位规避策略。
阅读全文
3分钟阅读