Lasm 把普通 Lean 4 程序提前编译成 WebAssembly，同一份代码可产出 Node 服务器、Serverless/边缘函数、WASI/Fastly 模块或浏览器应用，并能在部署前证明代码性质。旗舰示例 Conduit（RealWorld 应用）含 117 条已证明定理。工具随 npm 分发并自带 Lean 4.35.0 与 Lake，只需 Node ≥ 24（或 Bun/Deno）。支持 Node、AWS Lambda、Lambda@Edge、Vercel、Netlify、Azure Functio…
推荐理由想在部署前用定理证明保证服务正确性的人，可直接 npm create @lasm@latest 跑通 Conduit…
开发者发布 Doomformer，把整数神经网络编译成 ZDoom 地图，在 ViZDoom 里运行。它用 DOOM 为额外玩家出生点生成的 voodoo doll 副本做算术，用扇区亮度和平面高度存中间结果。Python 从运行中的游戏读回每个值，与 NumPy 整数参考逐位比对，容差为 0，错一位即失败。速度极慢：小 MLP 比 NumPy 慢约 23000 倍（引擎时间），整次调用计时慢 65000 倍；手写数字识别在默认调度下需 163 秒实时 DOOM，加 --opt 3 后为 8 秒。项目支持 pip …
推荐理由一个可 pip 安装的极端工程玩具，能亲手验证神经网络在游戏引擎里逐位精确运行。
Baseten 旗下 Base Labs 发布 2B 决策模型 joey-1，它不生成文本，而是对每个问题返回标签和校准后的概率，面向高并发路由、分类和护栏检查。定价为每百万输入 token 0.01 美元，权重以 MIT 协议开源在 Hugging Face。模型基于 Qwen3.5-2B 全量微调，视觉编码器冻结，训练数据 621 万条决策样本。在 Jev Decision Index 0.4 公开集上得分 63.30，为 4B 以下最高，但比同系列 9B 的 elephant-1 低 8.94 分。平均 20…
推荐理由每百万 token 0.01 美元、20 ms 延迟，做分类和路由比调大模型便宜两个数量级
Prime Intellect 在 DeepSeek 开源 DeepGEMM 库的 Mega MoE 内核基础上补上了反向传播实现，使其可用于训练而非仅推理。在 Qwen3-30B-A3B 和 Qwen3-235B-A22B 上测试，完整训练步比 prime-rl 基线快 32% 到 34%，比 TorchTitan 快 48% 到 55%；单层前向最快提升 3.11 倍（12.0 ms 降至 3.9 ms），反向最差也有 1.24 倍。支持 Hopper 的 blockwise FP8 与 Blackwell 的…
推荐理由训练 MoE 可直接省 30% 以上 GPU 小时，代码在 prime-rl 里能换
开源工具 Overtone 发布，用一个 .overtone.json 文件存储每个词的发音时间和说话人，再按不同画幅分别切分字幕，默认支持 16:9 和 9:16，也可自定义任意比例。CLI 可从已有字幕、音频或视频生成该文件，离线运行不需要 API key 和 ffmpeg（需 Node.js 22.12+）；转录音频时默认调用 OpenAI 和 Azure AI Speech，--dry-run 可预估费用，--local 则改用 whisper.cpp 和 Ollama 离线处理。配套 video.js 插…
推荐理由做竖屏和横屏双版本字幕的人可以直接用，npx 一条命令就能重切现有 SRT，离线免费
Mistral 在 Hugging Face 上发布了 Mistral Large 4 的权重，这是该公司迄今最大的模型，昵称 Le Chonk。该模型支持文本和图像输入，输出文本和代码，总参数约 1 万亿，每步激活 520 亿。自行部署需要大量硬件：按 SGLang 文档，标准版需 8 块 Nvidia B300 GPU，高度压缩版需 4 块 GB300。经过三周强化学习训练后，Terminal-Bench 4.0 得分从 28% 升至 41%，略高于 GLM-5.3 的 40%；在 Artificial Ana…
推荐理由万亿参数、8 卡 B300 可跑，编码得分追平 GLM-5.3 且省 47% token，可评估自部署性价比
美国司法部正在审查英伟达计划收购开源平台 Hugging Face 的交易，同时也在关注英伟达的销售行为。原文信息有限，未披露审查的具体范围、时间表或是否涉及正式调查程序。
推荐理由Hugging Face 是开源模型分发的主要入口，这笔交易若受阻，将直接影响模型托管与生态格局。
Mistral 在 Hugging Face 和 API 上放出了万亿参数模型 Mistral Large 4（ML4）的权重，企业和政府机构可以自行下载、本地部署。该模型本月早些时候发布，绰号“Le Chonk”。Mistral 称，ML4 的性能与中国的开源模型 GLM-5.3 相当，但每个任务少用 47% 的 token，成本更低；在 Artificial Analysis 的 Coding Agent Index 上，它在 agentic coding 任务中排名所有开源模型第一。Mistral 科学副总裁…
推荐理由万亿参数开源模型，每任务 token 用量比 GLM-5.3 少 47%，做私有化安全部署可直接下载权重
语音 AI 公司 Deepgram 宣布收购 Daily，后者是开源语音 AI 框架 Pipecat 的开发与维护方。交易金额未披露，双方承诺 Pipecat 将永久保持开源和厂商中立。Pipecat 负责编排语音与视频流，并串联 STT、LLM、TTS 等环节以降低延迟；Daily 则提供语音和视频通话的托管基础设施。Daily 累计融资超 6200 万美元，投资方包括 Tiger Global、Nat Friedman 等；Deepgram 今年早些时候完成 1.3 亿美元 C 轮融资，估值进入独角兽行列。两家…
推荐理由用 Pipecat 搭语音 Agent 的开发者可以确认：框架继续开源且厂商中立
开发者发布开源权重模型 Subscription Ghost，读取用户的订阅清单，判断哪些属于「幽灵订阅」，并给出具体处理建议和可省金额。它把幽灵订阅分为四类：套餐层级过高（只用到捆绑包的一小部分）、已弃用（预付一年后不再使用）、几乎不用、价格悄悄上涨。在一个样本用户的 9 项订阅中，它找出每年 29056 卢比的隐性支出。模型完全在本地运行，免费，不要求用户提供银行登录信息。作者本人的案例是：Airtel Black 捆绑的 Prime 免费一年到期后自动续费 1499 卢比，而他只用 Prime 的配送服务，3…
推荐理由想用本地模型做个人财务分析，可参考它的四类订阅分类法和提示设计
Zig 嵌入式项目 MicroZig 于 2026 年 10 月 28 日生效新行为准则，全面禁止 LLM 与 AI 参与：不接受 LLM 生成的代码或文字，不允许用 LLM 改写、校对、翻译、头脑风暴、找 bug，甚至禁止在社区讨论使用聊天机器人或 LLM 服务。该准则适用于 Zig Embedded Group 的 GitHub 组织和 Discord 服务器，违规者将被移出社区。
推荐理由开源社区首个明文全面禁 AI 的准则，做开源维护或贡献的人可直接参考其条款边界
开发者发布两个 Swift 包：AnySpeechRecognizer 沿用 Apple 的 SpeechAnalyzer API，但可换用 NVIDIA Parakeet v3、Moondream 微调的 Parakeet Ultra 和阿里 Qwen3-ASR 等本地引擎，并新增说话人分离；AnyDecisionModel 用模型概率而非生成文本回答是/否、多选和评分问题，返回带概率的类型化结果，可跑在 MLX、Core AI、llama.cpp 或 Jev、Ollama 上。两者都能从 HF Mirror H…
推荐理由想在 iOS/macOS 上本地做语音识别和分类决策的开发者，改一行 import 就能换引擎
vLLM 宣布在发布当天支持 Mistral Large 4。这是 Mistral 的新一代 MoE 原生多模态模型，总参数 1 万亿，每 token 激活 49B（含嵌入和输出层为 52B）。架构为 72 层 MoE、128 个路由专家（top-4）加 1 个共享专家，采用 MLA 加 DSA 稀疏索引器（每 query 选 top 2048 个 key），并带有 Pixtral 视觉编码器和内置 DSpark 推测解码草稿器。提供 FP8 与 NVFP4 两种 checkpoint，默认使用 FP8 潜在 KV…
推荐理由想自己部署 1T 级开源多模态模型的人，可以直接用官方 Docker 镜像和现成启动命令，在 8 卡上运行 FP8
Hugging Face 联合卡内基梅隆大学、普渡大学、佐治亚理工、亚利桑那州立大学、乔治·华盛顿大学等机构发起 Project ProtoStar，推动公共资助科研的数据集、模型和代码以 AI 可用的机器可读格式开放。美国联邦政府每年研发投入约 1900 亿美元，但科研数据常分散在互不兼容的系统中，缺少元数据和溯源信息，AI 难以发现和复用。首个挑战赛由卡内基梅隆大学主办，11 月 2 日开放。
推荐理由做科研数据或 AI for Science 的人可以关注 11 月 2 日开放的首个挑战赛
Mistral 发布 Mistral Large 4（代号 Le Chonk），这是一个多模态、多语言的 MoE 模型，总参数约 1T、激活参数 49B，上下文窗口 100 万 token，支持文本和图像输入。官方提供 FP8 和 NVFP4 两个版本，Unsloth 与 llama.cpp 团队另做了 GGUF 量化版。许可为 Mistral Ecosystem Open-Weight License（MIT 衍生协议，对模型即服务有限制）。官方称其在网络安全、编码 Agent 和多模态上表现突出：Artific…
推荐理由1T 总参、49B 激活、100 万上下文，且权重可下载，做安全或编码 Agent 可直接自部署
Akai 尚未正式发布 MPC Sample Key，但已向开发者提前提供设备，并宣布其固件将开源。该设备沿用 MPC Sample 的软件，针对传统键盘、弯音轮和调制轮做了调整，没有打击垫，改用琴键触发采样。Akai 在 Instagram 短片中展示了多个由 vibe coding 生成的模组，包括 Native Instruments Massive、虚拟模拟合成器和 FM 合成器，其中一个模组运行完全自定义的操作系统。短片还显示，普通版 MPC Sample 也将获得相同的社区功能，并能运行由 Claude…
推荐理由音乐硬件厂商首次公开拥抱 AI 辅助模改，开源固件和 SDK 意味着开发者可以自己往合成器里装音源。
开发者 emmilco 发布开源项目 us-tax-model，把美国联邦个人所得税的表格与填报说明编码为公开、逐行带引用的 YAML 数据，并配一个引导式自助报税问答作为首个客户端。软件不提交、不签名、不传输税表，数据不出本机。编码的是 IRS 公布的填报流程，而非税法本身。项目自述主要由语言模型生成，因此设计了可独立核查的机制：每行须附文档、税年、修订版、定位符和归档页哈希，缺失即构建失败；2025 年报告含 2313 个锚点、1252 条引文。所有计算行只允许约 20 种原子操作，2384 行中 0 行使用逃…
推荐理由想看 LLM 生成代码如何靠引用哈希、封闭算子和构建期检查做到可审计，这个仓库给了完整样板
Nvidia 发布免费开源权重模型 Nemotron 3.5 Transcribe，支持最多 40 种语言的音频转录，可在 31 种语言与英语之间互译，能处理最长 1 小时的录音，并区分最多 8 位说话人。Nvidia 称其在 Hugging Face Open ASR Leaderboard 等基准上优于竞品。该模型有 300 亿参数，可单芯片运行，覆盖 Jetson AGX Thor、DGX Spark 和 Blackwell 数据中心芯片。同时发布开源语音数据集 Granary 第 2 版。局限是不支持实时直…
推荐理由300 亿参数可单芯片跑、支持 40 种语言转录，做会议或医疗转写可直接评估替换方案
开发者发布开源、可自托管的法务检索平台 CaseCite，直接对标刚融资 5 亿美元的 Harvey。平台提供研究问答、文档索引、合同审查与红线对比、长文起草、判例引用图谱、法官分析等八项功能，支持从 Google Drive、OneDrive、Box、Dropbox、Filevine、Clio 导入文档。所有文档、索引和聊天记录存在用户自有服务器，AI 调用走用户自己的 API key（BYOK），无遥测。iManage 与 NetDocuments 连接器仍为实验性。
推荐理由想自建法律 RAG 的团队可直接部署，文档和索引不出内网，AI 调用用自己的 key
开发者发布开源项目 Plushies，用 Three.js 在网页上渲染毛绒质感的 3D 角色，提供心形、星形、云朵等 17 种轮廓，带卷边接缝和毛发效果。这些角色可当作 AI 助手的跟随光标，用户能选择形状、面料和表情，代码实时更新，支持复制或分享链接。通过 npm i plushies three 安装。原文信息有限，未提及性能数据和采用情况。
推荐理由想给网页或 AI 助手加个 3D 光标，npm 装完就能用，17 种形状可调
Polymathic AI、普林斯顿大学、USC ISI、NYU 和 Flatiron Institute 的研究者发布 FlashMap 投机解码草稿模型，用连续流映射替代离散扩散草稿器，一次前向传播生成 16 个 token 的完整块。在 Qwen3-8B 上，GSM8K 任务报告最高 6.14 倍无损加速（temperature 0，接受长度 7.69 token）；最差情况是 Alpaca 在 temperature 1 下的 2.28 倍。草稿器参数量 0.5B（Qwen3-8B 用 500M，Qwen3…
推荐理由有 Hugging Face 权重和 vLLM/SGLang 插件，部署 Qwen3-8B 可直接试 6.14…
LlamaIndex 发布 Document Parsing Protocol（DPP）工作草案 0.1，共 140 条规则，覆盖文本、表格、表单、图表、示意图等，每条规则附示例页面和期望输出。DPP 源自 ParseBench 标注真值的约定，目标是给"正确解析的页面"一个统一定义。草案规定多行表头必须保留每一层为独立表头行并标注精确 colspan，Markdown 无法表达时改用 HTML 元素，例如表格一律输出为 HTML <table>。
推荐理由做 RAG 或文档解析的团队可对照 140 条规则检查自家解析器输出是否可复现
Paper Instruments 基于 GLM-5.3 Flash 用强化学习训练出 Ultramarine 1 Flash，在内部知识工作基准上得分 59.3，超过 Fable 5 的 57.8，单任务成本 0.13 美元对 8.19 美元，低约 98%。训练使用 Fireworks Training API，团队保留对数据、采样、损失函数和训练循环的控制。该模型在 6 个知识工作基准上平均比基座模型高 4.1 分，现已通过 Fireworks 无服务器推理开放试用。
推荐理由单任务 0.13 美元对 8.19 美元，做金融、法律类 Agent 可先测这个开源替代
加州大学伯克利分校 Sky Computing Lab 开源 LEANN 向量索引，它不在磁盘上保存 embedding，而是在查询时重新计算。仓库基准显示，6000 万条 Wikipedia 分块的索引从 201 GB 降到 6 GB；论文中 76 GB 语料的方案只需 4 GB，而 HNSW 需 188 GB。该论文获 MLSys 2026 最佳研究论文奖。代价是检索变慢：NQ 数据集上检索耗时 2.48 秒，HNSW 为 0.05 秒，端到端延迟从 20.95 秒升至 23.34 秒；在 Mac 上，Hotp…
推荐理由存储省 97%，代价是检索慢几十倍；在笔记本上跑个人数据 RAG 值得试
Liquid AI 发布 LFM3 系列，6 个开源权重模型共享同一底座，覆盖文本、视觉、音频、全模态和决策任务，每个模型都能在单张 GPU 上微调。LFM3-1.7B 有 1.73B 参数、256K 上下文，4-bit 量化后约 1 GB 内存即可运行，提供 GGUF、MLX、ONNX、FP8、NVFP4 权重。官方评测称其 29 项基准平均 49.37，高于 Qwen3.5-9B 的 47.24；IFEval 96.66，AutomationBench 41.29 对 15.10。短板是知识类：GPQA Dia…
推荐理由1 GB 内存跑 1.7B 模型，AutomationBench 是 Qwen3.5-9B 的 2.7 倍
开发者推出开源项目 Survival LLM，AI 模型和资料库全部运行在本地电脑上，断网后仍可使用，提问内容不会离开本机。内置资料包括医疗参考、FEMA 与 CDC 指南、生存手册、维修指南和约 93 万篇维基百科文章，每条回答都会列出所引用的文章，并高亮其中的具体段落。应用会根据电脑内存自动选择模型：128 GB 以上的 Mac 使用 NVIDIA Nemotron 3.5 Super（80 GB），32–96 GB 的 Mac 使用 Qwen3.8 27B（18 GB），32 GB 以上的 Windows P…
推荐理由断网应急场景可直接用，按内存选模型有明确对照表，Granite 版仅 6 GB 下载
一个由中国研究者组成的大型合作团队开发出可用自然语言提示生成指定功能蛋白质的工具，用户无需掌握蛋白质结构细节。原文称，若以产出可用蛋白质为标准，成功率不算高，但仍能完成任务。另据 Hugging Face 公告，其平台已托管一个在 DNA 层面做类似设计的工具。
推荐理由了解自然语言生成蛋白质的实际成功率与 Hugging Face 新托管工具，判断这条路线是否可用。
LangChain 发布博客，介绍其设计 Agent Content Studio 的构建方式。该 Agent 运行在 Slack 中，可生成符合品牌规范的视频、图形和演示文稿，项目已开源，博客同时介绍了支撑它的 harness 框架。原文信息有限，未披露具体模型、效果数据或使用方式。
推荐理由做 Agent 产品的人可以看 LangChain 如何把设计生成能力接入 Slack 工作流
DEV Community 发布了一篇对比文章，梳理 5 个开源 LLM 网关：Bifrost（独立 Go 网关，支持模型、MCP 和 Agent 流量控制）、Kong AI Gateway（在 Kong Gateway 内提供 AI 能力）、Agent Router（基于 Envoy Gateway 和 Kubernetes）、Apache APISIX（通用 API 网关加 AI 插件）、LiteLLM（专注模型路由）。文章提醒开源不等于全部功能免费或可自托管，采用前需核对许可证和功能边界，并给出选型维度：供应…
推荐理由选 LLM 网关前先看这张对比表，能省掉逐个查许可证和功能边界的时间
Opera 发布名为 WebAI 的新网页标准，让用户直接在浏览器里运行 AI 模型，无需依赖云端。该标准不绑定特定模型，支持 Google 的开放权重模型 Gemma，在 Mac 上还支持 Apple 的设备端基础模型。功能已在旗舰浏览器 Opera One 中以早期预览形式上线，需用户主动选择开启；Opera GX 和 Opera Neon 将随后支持。Opera 称开发者无需自建 AI 基础设施或按请求付费，用户无需订阅，数据留在本地设备。代价是本地运行会占用更多电脑资源，性能取决于硬件。
推荐理由浏览器本地跑模型，开发者可省掉推理基础设施和按次计费，隐私敏感场景多一个选项
vLLM Semantic Router 团队发布 d3-ultra，一个 27B 多模态决策模型，采用 Apache-2.0 许可。它不生成文本，而是读一次输入后，为每个问题的每个答案返回概率，可一次调用完成路由、分类、视觉定位和视频检查。参数 26.09B（dense，含 0.46B 视觉编码器），上下文 131,072 tokens，在 1 块 AMD MI325X 上以 BF16 测试，暂无官方量化版本。团队自建 SR-Text 测试得分 87.2，居 6 个决策模型之首；SR-Box 定位 10 个领域 …
推荐理由做模型路由或多模态分类的开发者可看：一次调用替代多模型，SR-Text 87.2 分居首
百度开源 Unlimited OCR 2，一个 3.34B 参数的视觉语言模型，可在单次请求中解析数百页书籍、财报和报告，权重以 MIT 协议发布，代码在 GitHub。核心改动是 SR-SWA 稀疏注意力，把文本-视觉注意力压缩到固定 512 token 的工作参考集，使解码每步延迟和显存几乎不随文档变长而增长。最大位置长度 131,072 token，每页 273 个图像 token，BF16 权重约 6.7 GB，单张 A800-80GB 可跑。百度自测 MPDocBench 得 84.6 排第一（Qwen3…
推荐理由百页文档场景下领先 Kimi-K3 达 43 分，MIT 协议单卡可部署，做长文档解析可直接试
Wraps 是一个开源的 Amazon SES 运营层，部署在用户自己的 AWS 账号内。它通过 EventBridge、Lambda、DynamoDB 捕获退信和投诉事件，每小时读取 SES 的退信率与投诉率，对照 AWS 的 5% 退信审查线和 10% 暂停发送线，接近阈值时通知账号管理员，到达暂停线时暂缓定时群发。审计功能一次检查 DKIM、SPF、DMARC、MX、TLS、BIMI 和 50 多个公共黑名单。Wraps 不存储任何 AWS 凭证，只通过可撤销的角色读取数据，并支持在安装前用 wraps em…
推荐理由自建 SES 发信的人可以用它提前收到退信率告警，避免账号被 AWS 暂停发送
Reddit 论坛 r/opensource 的版主于周六晚发布新规，禁止发布使用 AI、由 AI 构建或为 AI 设计的项目。新规还要求项目至少存在一年、处于活跃维护状态、有多名贡献者，并且不再接受非英语发帖，理由是版主无法判断文本是 AI 写的还是翻译的。批评者认为规则过于宽泛模糊，指出连 Linux 内核现在都包含 AI 生成的代码。版主 Wolvereness 列举了自动生成字幕等例外。随后出现了不排除 AI 的竞争论坛 r/TrueOpenSource。
推荐理由开源社区首次明确排斥 AI 项目，做开源工具的人需要知道这条边界和替代阵地 r/TrueOpenSource
Nace AI 发布面向 AI Agent 的检索层 Drex for Search，在 BrowseComp-Plus 上搭配 GPT-5 得分 92.05%，每题平均 12.6 次搜索调用。它通过 CLI、SDK、MCP 或 REST 接入 Claude Code、Codex、Cursor、OpenCode 等编码 Agent，可检索 100 万以上文件，支持托管云、自有 AWS/Azure 及本地离线部署。在 OfficeQA Pro 测试中，9 组 Agent 与模型组合平均多答对 6%、步数减少 62%、…
推荐理由做 RAG 或 Agent 检索的可以直接看：token 省 56%、步数减 62%，还支持 MCP 接入
开发者 Christian 发布 MIT 协议开源桌面应用 Hob，支持 Mac、Windows、Linux，可在本地文件上工作，功能对标 Claude 和 ChatGPT 桌面应用，但模型完全跑在用户自己的电脑上。目前使用 Gemma 4 和 gpt-oss 两个开放权重模型，聊天记录和文件不离开本机，仅联网搜索和 MCP 连接会访问网络，搜索可在设置中关闭。项目开发约两周，已在 Hacker News 获得 147 点热度。
推荐理由想要本地处理文件又不想上传数据的人，可以直接装这个 MIT 协议工具，模型用 Gemma 4 和 gpt-oss
一个名为 Earth Platform 的 Minecraft 模组在 Hacker News 的 Show HN 板块发布，它按 1:1 比例生成真实地球，一个方块对应一米。世界高度范围从 Y -16384 到 16383，珠峰峰顶位于海平面以上 8848 格。地形数据来自公开卫星与测绘数据：美国约 10 米精度、加拿大部分地区用 lidar、法国 1 至 5 米、日本 5 至 10 米、南极用 REMA。远景以体素绘制到约 94 公里，可在暂停菜单调到 201 公里，极限设置下可达 397 公里。支持创造模式下…
推荐理由想在自己电脑上爬珠峰、横渡大洋的玩家，按教程装 NeoForge 和 jar 即可开玩
清华大学与香港中文大学的研究者开源了 AKV，这是一个面向 LLM Agent 的 KV 缓存工程服务系统，基于 SGLang 构建，采用 Apache-2.0 许可。它的做法是不再摘要旧历史，而是直接丢弃选定的 KV 缓存条目，并继续复用其余部分。在 3 个模型和 4 个 Agent 基准上，平均成本下降 27.7%，平均任务得分提高 1.7 分。测试模型包括 GPT-OSS-120B、MiniMax-M2.7 和 MiroThinker-1.7-Mini，运行在 NVIDIA GPU 上，论文使用 8 张 A8…
推荐理由做 Agent 长任务可省 27.7% 成本，SWE-bench 单任务从 20 美分降到 9.7 美分
Freehire 在 Hacker News 的 Show 板块发布，是一个开源职位搜索引擎，从公司招聘页面抓取并去重，按技术栈、资历和地点打标签。官方页面显示当前收录 3,716,897 个唯一职位、549,963 家公司、379 个来源和 157 个 ATS 平台。它支持通过 MCP 接入 AI Agent，无需账号即可搜索；也提供终端命令行工具，安装命令为 curl 脚本，并附带 agent skills，Claude Code 等 MCP 宿主可直接调用搜索、读取筛选条件和推进申请。另有 Chrome 侧边…
推荐理由想给 Claude Code 等 Agent 加职位搜索能力，接 MCP 即可，370 万岗位免费无需账号。
开发者 JulienAvezou 发布开源项目 Slowth Money，这是一个本地优先的储蓄与财务目标规划桌面应用，作为 Hacktoberfest 开源 AI 挑战赛第三周参赛作品。应用基于 Electron + React + TypeScript 构建，用 SQLite 本地存储，敏感财务数据加密保存在本机；财务计算由确定性 TypeScript 代码完成，仅在需要语言推理时调用本地 Ollama 运行的 Gemma 3 12B 模型，公开信息检索用 SerpApi。目前仅支持加拿大市场，作者在 Appl…
推荐理由想了解本地优先 AI 应用如何划分公开数据与隐私边界，可参考它的架构和 Ollama + Gemma 3 12B 用法