SQLite 向量搜索中产品量化的优化
针对内存受限场景,调优产品量化码本大小与重建阈值,提升 SQLite 向量扩展的存储效率与近似最近邻搜索性能。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
针对内存受限场景,调优产品量化码本大小与重建阈值,提升 SQLite 向量扩展的存储效率与近似最近邻搜索性能。
针对 Moondream3 的分组查询注意力,工程自定义 CUDA 内核,实现边缘 GPU 上 2 倍加速的实时推理,提供无精度损失的低功耗参数与监控要点。
针对定理证明形式语言的学习,实现交互式运行时,支持增量解析和实时类型反馈,实现1-2小时高效学习。
深入分析超20万星标public-apis项目的三层架构设计、数据管理策略和自动化维护流水线,探讨大规模API集合系统的工程实践要点。
针对异构家庭设备如手机和手表,使用 Exo 框架进行故障容忍、低延迟的分布式 AI 推理编排,给出动态负载均衡和任务迁移的工程参数。
面向 Litex 可学习形式语言,给出轻量级解析器和类型检查器的工程化参数与实现要点,支持验证管道中的快速原型设计。
探讨 Gemini CLI 的核心架构,支持流式响应、动态工具调用和 MCP 插件扩展,实现无缝 CLI 集成。提供工程化参数和配置指南,帮助开发者构建高效的终端 AI 工作流。
针对高吞吐 API,优化 Gin 中的 HttpRouter radix-tree 路径匹配和中间件链,提供工程化参数与基准测试要点。
探讨 Dolphin 模型中异构锚点融合工程技术,用于文档图像的布局解析与多模态线索整合,实现表格提取和表单理解的精确性,提供可落地参数和监控要点。
基于 LightRAG 的 RAG-Anything 框架,通过模块化管道实现 hybrid dense-sparse 检索、重排序和 LLM 生成,支持可插拔索引与评估钩子,用于构建可扩展 QA 系统。
探讨工程传感器运动管道,结合模仿学习从人类演示获取初始技能,并用强化学习优化,实现人形机器人在动态非结构化环境中的精细操纵,提供实用参数和策略。
在 Neon serverless 数据库中,通过 Elephantshark 工具进行实时查询分析和性能调试的非侵入式方案,包括关键参数配置与监控要点。
针对Moondream 3的视觉推理任务,介绍GQA机制与内核融合的集成,实现边缘设备上50+ tokens/sec的吞吐量优化,同时保持准确性。
通过 Wireshark 插件 Pgshark 拦截 Postgres 线协议,实现实时查询日志和性能指标监控,无需修改应用或数据库。
针对 Moondream 3 管道,工程化量化感知训练和 GQA 以实现移动边缘设备上的亚秒级延迟 OCR/VQA,提供参数配置与监控要点。
面向开源 GPT 模型的对齐训练,给出低内存 RL 管道的 Unsloth 实现、量化 LoRA 参数与分布式配置要点。
基于 Gemini Cookbook 的官方示例,探讨如何通过提示链实现多模态输出管道,集成视觉语言模型,并使用 grounding 和 batch mode 进行评估,确保 AI 系统的高可靠性和可扩展性。
PDF增量更新易被用于伪造签名,本文提供对象流分析检测方法及自动化验证参数,实现数字取证链式保管。
本文探讨如何利用 SimpleFold 构建高效批处理管道,实现药物发现工作流中的大规模蛋白质结构预测。重点包括分布式推理配置、HPC 集成和性能优化参数,确保高通量和可靠性。
探讨 Rerun 如何集成 MCAP 格式,实现多传感器机器人数据的高效存储、schema 感知和零拷贝回放,提供可视化参数与最佳实践。