Hotdry.

Latest Essays

最新见解 · 第 961 页

继续沿着时间线阅读近期的工程实践与技术观察。

已收录 21674 篇文章主题 317 个

最新见解

近期的思考与工程笔记。

LLM 定理证明中的 Z3 反馈校正

在多步定理证明过程中,引入迭代 Z3 反馈循环,实现动态错误检测与校正,提供工程参数与最佳实践。

2025-10-05ai-systems2025-10

Optimizing BitNet for ARM NEON Mobile Inference

探讨如何利用 ARM NEON intrinsics 优化 BitNet 框架,实现高效的 1.58-bit LLM 在移动 CPU 上的推理,包括量化矩阵操作的加速和内存足迹减少的工程实践。

2025-10-05ai-systems2025-10

FPGA键盘中的动态USB端点重配置

探讨FPGA-based机械键盘中动态USB端点重配置的技术,实现HID/CDC多接口支持与实时通信集成,提供工程参数与监控要点。

2025-10-05systems-engineering2025-10

Gleam 的 Parrot 中运行时查询执行优化

针对 Gleam 的 Parrot 库,探讨运行时查询执行的优化策略,包括连接池配置和自适应缓存机制,以实现跨 SQLite、PostgreSQL 和 MySQL 的高效类型安全 SQL 处理。

2025-10-05systems-engineering2025-10
上一页第 961 / 1084 页下一页