跳到正文

主题:开源项目

今日 7 条
10月16日周五
  1. Lobsters34

    rust-djinn:用规格说明让 LLM 写出可证明正确的 Rust 代码,gzip 解码反超 libdeflate

    rust-djinn 让开发者用精确规格描述函数行为,由 LLM 生成可证明符合规格的 Rust 代码。其 gzip 解码器在基准测试中达到 787 MiB/s,略高于 libdeflate 的 657 MiB/s 和 zune_inflate 的 652 MiB/s,且仅用 277 行人工编写的规格代码。该项目目前仍是研究代码,作者计划完善 IDE 与 LSP 支持以推向生产环境。

10月15日周四
  1. Reddit r/SideProject41

    用 Claude Skill 把专家博客变成 2 分钟播客课,作者在 GitHub 免费开源

    一位开发者用 Claude Skill 做了一个学习工具:输入主题后,它会搜索该领域专家的博客、书籍和研究并抓取内容,生成一份学习手册,再用 NotebookLM 做成播客风格的音频课。课程为 2 分钟播客对话,配一页可阅读的幻灯片,音频由 ElevenLabs 生成。该工具已在 GitHub 上免费分享。

  2. Hacker News Show HN57

    arcKode:用 SQLite 为低显存本地模型提供全代码库上下文

    作者开源了本地优先的 AI 编码 Agent arcKode,用 Tree-sitter 解析代码库构建符号图,再据此裁剪模型需要看到的代码,以适配低显存环境。它通过 Ollama 调用本地模型,推荐默认 qwen2.5-coder:7b,数据不出本机,支持 11 种语言,索引存于 .vc/vcdb.db。项目采用 AGPL-3.0-only 许可,需 Python 3.12+ 和 uv 安装。

  3. V2EX 最新主题22

    UU889-Drama 本地导演台项目 1015 更新:锁定台词与人物画风,优化接戏

    UU889-Drama 本地导演台项目发布 1015 更新,分镜时长改为按台词计算,生成时锁定台词以防止模型补台词胡言乱语,并锁定人物外观、场景与画风以减少飘移。新增人物站位字段,同场景下一镜自动用上一镜结尾画面开场,对话按正反打与 180 度轴线处理;视频制作右栏可分别开关,批量生成时同场景镜头按顺序生成。

  4. Hacker News Show HN45

    Hugging Face 上开源 SPEV:30B 全模态决策模型,专为轮次检测训练

    Hugging Face 上出现开源权重模型 SPEV,一个 30B 参数全模态决策模型,可对文本、音频、图像和视频中的问题打分,一次前向传播返回每个选项的概率与最高概率答案。其骨干为 Qwen3-Omni-30B-A3B Thinker 加 LoRA 适配器,采用 Apache-2.0 许可,Sprag 托管 API 免费至 2026 年 10 月。

10月14日周三
  1. Hacker News 首页40

    Show HN:用 TypeScript 从零构建 LLM 的教程

    一份在 Node.js 和 TypeScript 中从零构建大语言模型的教程,从第 2 章开始,逐层实现注意力机制、transformer block、GPT 和训练循环,不使用黑盒。每章在 @node-llm/chapters 包中都有可运行入口,代码托管在 GitHub;@node-llm/playground 包的 WebGPU 交互式演示即将上线。

  2. Reddit r/SideProject28

    Spliit Cloud v2.7.0:开源分账应用 AI 收据扫描提速约 5 倍

    开源分账应用 Spliit Cloud 在 v2.7.0 中重做了 AI 收据扫描流程,大额收据处理时间从约 80 秒降至 14 秒(约 5 倍),小额收据约 6 秒完成。新流程改用专用 OCR、更快的纯文本模型提取费用明细,并用独立轻量模型做分类,同时支持 PDF 发票等文档格式,扫描出的单项条目会随费用一起保存,便于按条目分账。

  3. Reddit r/SideProject45

    SiteWake:在网站真实用户会话内运行的 AI agent,已开源可自托管

    SiteWake 是一款在网站访客当前会话内运行的 AI agent,用户已登录的页面上下文无需在新浏览器中重建。它把“完成”定义为校验结果页状态或业务结果,而非仅点击最后一个按钮,并可将成功任务转为可独立回放验证、可发布复用的 capability。当前版本自托管且开源,执行、会话、站点知识与 capability 验证已可用,学习与失败恢复仍需更多真实站点测试。