📝
systems
•2025年
热门从 GitHub 迁移到 Codeberg：设置镜像、移植 Actions 到 Forgejo CI、基于 API 的 Issue/PR 转移
从 GitHub 迁移仓库到 Codeberg 的工程化指南：一键仓库迁移、双向镜像同步、Actions 移植到 Forgejo CI、Issue/PR API 转移及认证要点。
阅读全文
3分钟阅读
🔥每日更新技术干货 · 已更新 8286 篇文章
欢迎来到
Hotdry Blog
技术热点，干货分享。 专注云原生、CDN、AI等前沿技术的实战经验和深度思考
8286
技术文章
157
技术分类
365
天更新
∞
持续学习
📝最新文章
查看全部📝
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分钟阅读
📝
security
•2025年
热门Linux/Proton 下反作弊兼容性矩阵：检测矩阵与支持追踪
基于 Are We Anti-Cheat Yet 数据，构建反作弊驱动在 Linux/Wine/Proton 兼容检测矩阵，提供开发者启用参数与社区追踪清单。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门LLVM-MOS：为6502指令集带来现代Clang后端与内联/循环展开优化
llvm-mos fork Clang/LLVM针对6502 ISA，提供retargetable codegen，支持inlining/loop unrolling等现代优化，适用于复古嵌入式系统，给出工程参数与落地清单。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门LLVM-MOS：6502 Clang 后端的 IR 降低与内联展开优化
针对 MOS 6502 的 LLVM fork 后端，详解 IR 降低策略、内联/展开参数，以及复古嵌入式 C/Rust 编译清单。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门LLVM-MOS：为6502八位系统带来现代C/C++工具链
llvm-mos 是 LLVM/Clang 分支，针对 MOS 6502 优化，支持 C99/C++11 在 Commodore 64、NES 等复古平台上的开发，提供安装指南、优化参数和多平台清单。
阅读全文
3分钟阅读
📝
systems
•2025年
热门Tracy Profiler 中的 lock-free MPSC 队列与零拷贝序列化
剖析 Tracy 如何利用无锁多生产者单消费者队列结合零拷贝序列化管道，实现多线程帧级 profiling 的低开销远程传输。
阅读全文
3分钟阅读
📝
systems
•2025年
热门Tracy中lock-free MPSC队列零拷贝序列化高吞吐管道工程实践
Tracy多线程帧分析器中lock-free MPSC队列零拷贝序列化高吞吐管道，实现微秒级UI更新无阻塞捕获的关键工程参数。
阅读全文
3分钟阅读
📝
mlops
•2025年
热门使用序贯分析、护栏和bandit算法工程化低机会成本SaaS定价A/B测试
SaaS营收优化中，通过序贯测试降低A/B实验机会成本，结合bandit算法自适应定价，并设置工程护栏确保安全。
阅读全文
3分钟阅读
📝
systems
•2025年
热门将 Dillo 浏览器仓库迁移到自托管 Git：实现平台独立与最小化开发
针对轻量级浏览器 Dillo 项目，从 GitHub 迁移仓库到自托管 Gitea/Forgejo 的完整步骤、参数配置与风险规避策略。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门Milvus 云原生向量数据库：DiskANN 索引与亿级混合多向量过滤实践
Milvus 以 DiskANN 索引为核心，支持 hybrid search 和 multi-vector 过滤，面向亿级 AI 嵌入检索，给出工程化部署参数与监控要点。
阅读全文
3分钟阅读
📝
systems
•2025年
热门蚊子口器变身3D打印喷嘴：亚微米特征的流体动力学、防堵塞与精密沉积参数
蚊子口器内径仅20μm，结合生物支架解决机械强度与堵塞痛点，提供流体动力学参数、打印阈值清单，实现sub-micron级精密沉积，提升生物墨水增材制造分辨率。
阅读全文
3分钟阅读