transcribe.cpp：一个 ggml 运行时跑完 16 个语音转文字模型家族
本地语音转文字的开发者，长期以来面对一个尴尬的现实：能用的推理栈屈指可数。OpenAI 的 Whisper 有官方 Python 实现和社区维护的 whisper.cpp，NVIDIA 的 Parakeet 和 Canary 必须跑在笨重的 NeMo PyTorch 框架上，想上 GPU 加速还要自己折腾 ONNX 转换。每换一个模型家族，就要重写一遍部署管…
标签: 开源
清除筛选
GPT-5.6用一段十页提示词，关闭凸优化30年的复杂性缺口
2026 年 7 月 10 日，OpenAI 在自己的 CDN 上放出一篇 PDF，声称 GPT-5.6 Sol Ultra 用 64 个并行子代理、不到一小时，证明了图论里悬挂了 50 年的 Cycle Double Cover 猜想。数学界在震动与质疑中展开了审阅。六天后，UC Berkeley IEOR 教授 Phillip Kerger 把 Open…
Moonshine Micro：80美分芯片跑完整语音流水线，500KB内存装下VAD+STT+TTS
一块售价 80 美分、SRAM 只有 520 KiB 的微控制器能干什么？Pete Warden 给出的答案是：跑完一条完整的语音交互流水线——语音活动检测（VAD）、语音识别（STT）、神经文本转语音（TTS），全部在端侧完成，不联网、不调云 API、不需要账号或密钥。这个名为 Moonshine Micro 的开源项目本周登顶 Hacker News，把…
LingBot-Map：用前馈3D基础模型做流式重建，20FPS跑完一万帧
LingBot-Map：用前馈 3D 基础模型做流式重建，20 FPS 跑完一万帧 把一段手持相机的视频丢进去，模型在 20 FPS 下边读帧边吐出相机位姿和稠密点云，序列超过一万帧也不崩——这是 Robbyant 团队开源的 LingBot-Map 交出的成绩单。它在 GitHub Trending 上日增 star 超 800，论文《Geometric…
B站在WAIC展出开源AI猫娘：能看懂屏幕、主动搭话的桌面伙伴
B站在WAIC展出开源AI猫娘：能看懂屏幕、主动搭话的桌面伙伴 7月17日至20日，2026世界人工智能大会（WAIC）在上海举行。在B站展台区域，一个名为「猫娘计划」（Project N.E.K.O.）的开源AI数字生命项目引起围观。需要先澄清一个容易误读的点：猫娘计划不是B站官方产品，而是B站UP主「W博士」（运营主体为喵可智能）主导的开源项目，它作为参…
Hallmark:一份写给AI编码助手的反AI味设计手册
用 Claude Code 或 Cursor 搭一个落地页,得到的东西十有八九长成这样:紫蓝渐变铺满 hero,Inter 字体通吃全场,三列等宽的功能卡片,每个卡片左上角一个圆角图标,中间一句斜体强调词,bottom 还要来一条 social icon 行。这套审美从 2023 年的 v0 和 Lovable 一直烧到 2026 年的各类 agent,凡是…
xAI 开源 Grok Build：Rust 编写的终端编程代理
什么是 Grok Build Grok Build 是 xAI 旗下 SpaceXAI 团队开发的终端编程代理。它运行在全屏 TUI 中，能理解代码库上下文、编辑文件、执行 shell 命令、搜索网页、管理长任务。支持三种运行模式：交互式 TUI、无头模式（用于 CI/CD 脚本自动化）、以及通过 Agent Client Protocol（ACP）嵌入到编…
F-Droid将Google ADV定性为恶意软件：40亿设备已被预装
什么是ADV Android Developer Verifier（ADV）是Google通过Play Protect植入安卓设备的系统进程，以root权限在后台运行，无法屏蔽、禁用或移除。如果你使用的是Android 8或更高版本，你的设备上已经有这个进程。全球约40亿台设备已被预装。 Android锁定概念图 9月30日起，ADV将在巴西、印尼、新加坡和…