📝
systems
•2025年
热门用 Docker Compose 复现 SadServers 多日系统管理 CTF 挑战
Docker Compose 构建 SadServers 式隔离环境，支持渐进谜题、自动化验证的系统运维 CTF 实践指南。
阅读全文
3分钟阅读
🔥每日更新技术干货 · 已更新 8129 篇文章
欢迎来到
Hotdry Blog
技术热点，干货分享。 专注云原生、CDN、AI等前沿技术的实战经验和深度思考
8129
技术文章
156
技术分类
365
天更新
∞
持续学习
📝最新文章
查看全部📝
systems
•2025年
热门ImGui 即时模式动画：通过持久状态追踪器实现缓动与插值
在无状态渲染循环中启用 tweening、easing 和程序动画，提供 ImAnim 关键参数、性能阈值与集成清单。
阅读全文
3分钟阅读
📝
web
•2025年
热门Trifold：零配置 Git Push 静态站点 CDN 托管
通过 Trifold CLI 工具，实现 Git push 一键部署静态站点，利用全球 CDN 边缘缓存、自定义域名与自动 HTTPS，提升网站性能。
阅读全文
3分钟阅读
📝
systems
•2025年
热门Windows驱动器字母扩展：超越A-Z的Unicode分配机制
Windows NT内核支持Unicode字符作为驱动器字母，实现超过26卷扩展分配，提供工程参数、兼容清单与监控要点。
阅读全文
3分钟阅读
📝
systems
•2025年
热门五年 Matrix 自托管运维：联邦稳定性与 Dendrite 自定义扩展
基于五年 Dendrite 自托管经验，分享联邦稳定配置、桥接集成及无托管 Synapse 的扩展 tweaks 与参数清单。
阅读全文
3分钟阅读
📝
mlops
•2025年
热门VERL 中 FSDP 分片与 KL 正则 PPO：多 GPU 通信重叠与阈值调优
VERL 框架下 FSDP 多 GPU 分片在 KL-PPO RLHF 中的工程实践，详解通信重叠机制、阈值调优参数及可扩展训练管道。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门ADK-Go：会话检查点持久化恢复与工具调用追踪实现
基于Google ADK-Go工具包，剖析会话状态检查点持久化、恢复机制与工具调用追踪，支持长程AI代理可靠执行与调试实践。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门ADK-Go 代码优先代理工具包：会话检查点与遥测追踪实战
Google ADK-Go 通过代码优先方式构建 AI 代理，重点实现会话检查点持久化、遥测追踪与长运行评估管道控制，提供工程参数与监控清单。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门ADK-Go 会话检查点恢复与工具追踪：长运行代理可靠性的工程实践
基于 Go 的 ADK 工具包中，session 检查点恢复机制结合 telemetry 追踪，支持长运行 AI 代理的容错与调试，提供关键参数配置与监控清单。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门AI 在 Lean4 中形式化 Erdős 问题 #124 证明：提示工程与验证管道实践
详解 AI 系统利用提示工程在 Lean4 中生成并验证 Erdős #124 证明的关键参数、监控点与工程化实践。
阅读全文
3分钟阅读
📝
systems
•2025年
热门AOC 2025 第一天输入解析基准：Rust 与 Zig 正则 vs 手动解析在大输入下的表现
模拟 AOC 2025 Day 1 海量输入，基准 Rust/Zig 正则与手动解析器性能，剖析内存分配模式，提供零分配优化参数与 leaderboard 冲刺清单。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门通过API驱动的电话代理：Call Center AI实现呼叫中心自动化
利用Microsoft Call Center AI，通过API触发AI代理拨打电话，支持实时对话、数据收集与Azure集成，实现电话中心高效自动化。
阅读全文
3分钟阅读
📝
web
•2025年
热门使用 TypeScript 自动化每日 IPTV 播放列表聚合：抓取、验证与去重
基于 iptv-org/iptv 项目，详解 TypeScript 脚本每日处理 10 万+ 全球 M3U IPTV 源的管道设计，包括并发抓取、流验证、URL 去重与分类参数。
阅读全文
3分钟阅读
📝
web
•2025年
热门使用 TypeScript 自动化每日 IPTV 播放列表聚合：抓取、验证与去重
基于 iptv-org/iptv 项目，详解 TypeScript 脚本每日处理 10 万+ 全球 M3U IPTV 源的管道设计，包括并发抓取、流验证、URL 去重与分类参数。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门o1类思考模型在谜题推理任务上的基准测试：逐步思考是否真正提升涌现能力
通过Bytesauna基准，对o1-like思考LLMs在谜题/推理任务的评估，验证显式步步思考是否带来超越标准推理的涌现能力提升。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门基准测试‘思考’大模型在推理任务上的表现：真正审议还是CoT模式匹配？
通过Thinking与NoThinking基准测试，区分‘思考’LLMs的真正审议能力与链式思考模式匹配，提供工程优化参数。
阅读全文
3分钟阅读
📝
mlops
•2025年
热门在ML训练中使用BFGS和L-BFGS准牛顿法结合Wolfe线搜索实现可扩展非凸优化
针对ML训练循环中的非凸优化，详解BFGS/L-BFGS准牛顿方法与Wolfe线搜索的工程实现，提供可落地参数、监控清单与风险规避策略。
阅读全文
3分钟阅读
📝
web
•2025年
热门Boing：Canvas实时Verlet物理引擎实现弹力球互动
基于HTML5 Canvas的Verlet积分物理引擎，支持约束、碰撞检测与实时互动弹力球，提供核心参数配置与性能优化清单。
阅读全文
3分钟阅读
📝
security
•2025年
热门用 ?boobs=1 探测 CDN 后端伊朗主机：绕过缓存的地理位置确认
附加查询参数 ?boobs=1 探测 CDN 站点后端：伊朗内容过滤器阻挡关键词，返回 403 绕过缓存，在无 IP 泄露下确认主机地理位置。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门LangJam 自举最小解释器：直接用生成语言实现游戏引擎
7天LangJam挑战中，自举栈机解释器，用自定义语言编写游戏循环与Canvas图形原语，提供工程参数与监控要点。
阅读全文
3分钟阅读