📝
ai-systems
•2025年
热门DeepSeekMath-V2 自验证数学推理管道：验证器训练与生成器奖励工程化参数
DeepSeekMath-V2 自验证框架下验证器冷启动、元验证过滤、生成器自省奖励权重及规模化标注清单，实现过程监督的 IMO 金牌证明生成。
阅读全文
3分钟阅读
🔥每日更新技术干货 · 已更新 8136 篇文章
欢迎来到
Hotdry Blog
技术热点，干货分享。 专注云原生、CDN、AI等前沿技术的实战经验和深度思考
8136
技术文章
156
技术分类
365
天更新
∞
持续学习
📝最新文章
查看全部📝
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分钟阅读
📝
mlops
•2025年
热门verl中KL正则化PPO与FSDP分片的工程化实践：多GPU RLHF生产调优
基于verl框架，详解KL正则化PPO算法在FSDP分片下的多GPU实现，包括通信重叠阈值、生产pipeline参数与监控清单。
阅读全文
3分钟阅读
📝
formal-verification
•2025年
热门LCF风格元语言驱动硬件验证：HOL与Viper微处理器形式证明
基于Mike Gordon的LCF到HOL演进，介绍元语言tactics实现交互式硬件形式验证，详解Viper微处理器分层证明工程参数与监控要点。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门LightRAG 双图索引与查询融合：低资源快速 RAG 工程参数
LightRAG 通过实体-关系双图索引与 mix 模式查询融合，实现低资源高速 RAG，详解 chunk 分块、top_k 融合权重及小模型蒸馏参数调优，提升检索精度与速度。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门LightRAG 双图查询融合知识蒸馏 Pipeline：低资源 RAG 加速工程实践
LightRAG 双图检索融合模块通过知识蒸馏到小模型，实现低资源场景下模型压缩与 RAG 推理加速，提供完整工程参数与部署指南。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门LightRAG 双图查询融合：学习权重蒸馏与低资源RAG工程
LightRAG双图索引与查询融合工程参数，含低资源蒸馏部署要点，实现低资源快速RAG pipeline。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门LightRAG 低资源双图索引：查询融合与蒸馏优化实现
LightRAG 通过双层图索引结合查询融合和低资源蒸馏优化，实现高效 RAG 系统，优于 GraphRAG 等基线，提供工程参数与监控清单。
阅读全文
3分钟阅读
📝
systems
•2025年
热门用 Zig 构建轻量级 TUI 显示管理器 Ly：最小依赖与高效会话处理
基于 Zig 的 Ly TUI 显示管理器，提供最小依赖、高性能登录界面和多会话支持的部署参数与优化要点。
阅读全文
3分钟阅读