📝
web
•2025年
热门Boing：Canvas实时Verlet物理引擎实现弹力球互动
基于HTML5 Canvas的Verlet积分物理引擎，支持约束、碰撞检测与实时互动弹力球，提供核心参数配置与性能优化清单。
阅读全文
3分钟阅读
🔥每日更新技术干货 · 已更新 8132 篇文章
欢迎来到
Hotdry Blog
技术热点，干货分享。 专注云原生、CDN、AI等前沿技术的实战经验和深度思考
8132
技术文章
156
技术分类
365
天更新
∞
持续学习
📝最新文章
查看全部📝
security
•2025年
热门用 ?boobs=1 探测 CDN 后端伊朗主机：绕过缓存的地理位置确认
附加查询参数 ?boobs=1 探测 CDN 站点后端：伊朗内容过滤器阻挡关键词，返回 403 绕过缓存，在无 IP 泄露下确认主机地理位置。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门LangJam 自举最小解释器：直接用生成语言实现游戏引擎
7天LangJam挑战中，自举栈机解释器，用自定义语言编写游戏循环与Canvas图形原语，提供工程参数与监控要点。
阅读全文
3分钟阅读
📝
compilers
•2025年
热门Langjam 自举最小解释器：玩具语言到游戏逻辑
Langjam 7 天游戏 Jam 下，自举最小树遍历解释器实现玩具语言解析与游戏逻辑求值，聚焦词法语法评估器工程参数、GameJam 时间约束优化与简单 Roguelike 示例。
阅读全文
3分钟阅读
📝
systems
•2025年
热门浏览器内交互式N体模拟器：Velocity Verlet积分处理三体混沌
浏览器实现N体引力模拟，聚焦Velocity Verlet与RK4积分算法的参数优化，处理三体问题混沌动力学，实现实时3D渲染与交互。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门Bytesauna 思考模型基准：谜题轨迹分析真推理能力
通过 Bytesauna 提出的谜题任务与轨迹分析，基准测试 o1 类思考 LLM 的真推理 vs 模式匹配，提供工程化评估参数与清单。
阅读全文
3分钟阅读
📝
systems
•2025年
热门CachyOS：可定制高性能 Arch 衍生发行版
基于 Arch Linux 的 CachyOS，通过 BORE 调度内核、LTO 编译与 x86-64-v3/v4 优化，支持游戏和工作站模块化高性能构建。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门ChatGPT Mac App 工程剖析：Native Cocoa、多窗口流式与拖拽上下文实现
ChatGPT Mac 原生应用工程实践：Cocoa 系统快捷键劫持、拖拽上下文、多窗口流式响应、剪贴板持久化参数与监控要点。
阅读全文
3分钟阅读
📝
systems
•2025年
热门用 Chrome Kiosk 模式和 Ozone/Wayland 后端替代窗口管理器
利用 Chrome kiosk 模式、Ozone/Wayland 后端及扩展，实现平铺布局、服务器端渲染和输入处理的 WM 替换，提供启动参数、扩展清单和监控要点。
阅读全文
3分钟阅读
📝
ai-systems
•2025年
热门Claude 中 Markdown 包裹提示工程：结构化 XML 输出、工具调用可靠性和工件生成
在 Claude 中运用 Markdown-wrapped 提示，实现可靠的 XML 结构化输出、工具调用稳定性，并生成工件避免 JSON 解析脆弱性，提供工程参数与清单。
阅读全文
3分钟阅读
📝
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