open-source

双语

Open Source Tax Engine outperforming GPT sol and Fable 5
3 months ago
- OpenTax是一个确定性的开源税务计算引擎，对于相同的事实产生相同的申报结果，每一行都可追溯到其法律条文。
- 它是市场上唯一开源税务引擎，采用AGPL-3.0许可证，在TaxCalcBench上达到了96%的精确申报率，这是有记录以来的最高分。
- 该引擎通过确定性处理数学和规则来增强任何AI模型（例如Claude、ChatGPT），而模型则负责读取和写入。
- 关键特性包括：引用的美国法典规则、用于可验证性的Merkle根证明、确定性的文档到事实编译，以及对超出范围查询的明确拒绝。
- 它支持29个州的联邦和州税（1040、1120、1041），并且可以审查申报表、计算季度预估、建模实体选举、发现税收悬崖以及处理法律变更（例如OBBBA）。
- 该引擎可通过MCP服务器、CLI或TypeScript库使用，并在https://opentax.invaro.ai/mcp免费试用。
I Regret Migrating to Codeberg
3 months ago
- 作者因GitHub的劣质化和微软的控制而离开，寻求一个自由、非营利的替代方案。
- Codeberg的新服务条款禁止了LLM驱动的和加密货币项目，作者认为这是背离自由的做法。
- 作者批评Codeberg认为独立开发者缺乏社区的观点，指出大多数FOSS项目都是单人努力。
- 作者担心全面禁令会为审查制度和意识形态执行的滑坡奠定先例。
- 作者提出了一个解决方案：采用标签和带有配额的分层基础设施，而不是完全禁止。
- 尽管不受禁令影响，作者计划离开Codeberg，因为条款在未经用户输入的情况下被更改。
Meta's AI Models Are Powering the First Wave of Genesis Mission Projects
3 months ago
- 劳伦斯伯克利国家实验室的先进光源（ALS）每年产生数十PB的数据，由于升级后的探测器每秒可捕获多达10万张图像，传统的人工分析已不堪重负。
- 由美国能源部主导的白宫倡议“创世纪任务”启动了SYNAPS-I项目，利用人工智能进行X射线和中子科学的实时数据分析，重点在于图像分割。
- SYNAPS-I使用Meta的开源SAM 3和DINOv3模型，在科学数据上进行微调，并部署在300个A100 GPU上，能在约15分钟内完成3D体积的分割。
- 该流程在葡萄树干旱响应研究中得到展示，将每个时间步长的分割时间从一个月缩短至15分钟，从而能够实时研究生物过程。
- Meta的开源模型允许在政府基础设施上安全部署，将通用人工智能适应到科学领域，SYNAPS-I旨在为国家实验室打造智能发现平台。
Internet Freedom is Here: FreeSocks v2
3 months ago
- FreeSocks v2 是一次重大升级,旨在规避先进的互联网审查,它采用基于 Convex (TypeScript) 的灵活系统,而非无服务器平台。
- 控制平面 (FCP v2) 是开源且可自托管的,处理访问密钥的完整生命周期,并支持可插拔的代理后端(主要使用 Xray,Outline 仍受支持)。
- 用户账户无需任何个人信息:只需一个 32 位数字的账户号,通过工作量证明验证码创建,无需邮箱、电话或密码。
- 系统实施严格的无 IP 记录政策:应用程序从不存储客户端 IP,代理服务器自动禁用访问日志。
- 为防范 CDN 监控,敏感数据使用 HPKE(混合经典/后量子)加密,请求使用持有证明 cookie 进行签名。
- FreeSocks v2 运行在位于密苏里州堪萨斯城的自有硬件上,从而完全控制网络堆栈和物理硬件。
- 用户可以选择反审查或隐私模式,选择服务器位置,或使用自动放置到最空闲的服务器。
- 提供英语、波斯语、阿拉伯语、俄语和简体中文版本;会员(每月 5 美元)可去除流量限制并支持服务。
- 捐赠用于为所有免费用户提供共享月度带宽奖励;支付系统不存储任何付款人信息。
- 整个平台在 GPL-3.0 下开源,提供自托管文档,安全问题应私下报告。
Nativ: Run frontier open models locally on your Mac
3 months ago
- Nativ允许在Apple Silicon Mac上本地运行来自Google、Cohere和Liquid AI的开放模型，并根据硬件提供定制化的模型推荐。
- 功能包括简洁的流式界面、支持Markdown、代码高亮、图像输入，以及性能监控（如令牌/秒和热状态）。
- 基于MLX-VLM构建，针对M系列统一内存和Metal进行了优化，无需封装或转换层。
- 支持多种任务：与LLM聊天、图像描述、视频摘要、代码自动补全以及语音转录/生成。
- 强调隐私保护：无需账户、订阅、积分或数据销售；完全由用户端到端掌控。
- 开源且采用MIT许可证，代码、模型加载器和遥测数据完全透明，鼓励社区分支和贡献。
- 通过提供本地端点与现有编程代理集成，保持熟悉的工作流程，无需付费墙或专有限制。
Ergonomic keyboard generator with hand scanning
3 months ago
- Cosmos通过手机摄像头扫描手部，并根据扫描数据定制键盘设计。
- 支持个性化配置，如轨迹球、触控板、编码器、OLED显示屏、多种开关、键帽及微控制器。
- 提供组装服务、DIY选项、专用PCB、多种外壳类型，并配备错误检测和自动修复功能。
- 包含对单键PCB、单键RGB、热插拔插座及经济型选项的一流支持。
- 可将模型导出为STL格式用于3D打印，或STEP格式用于CAD修改，代码95%开源，并提供专业功能以确保可持续性。
I argued with the father of open source for 2 years Now the AI fight is the same
3 months ago
- 作者在20世纪80年代与理查德·斯托曼就开源软件展开辩论，最初持有传统观点，认为专有控制是软件进步的必要条件，但最终被斯托曼说服，认识到软件作为知识体系在共享时会变得更加强大。
- 斯托曼的自由软件运动演变为开源模式，催生了如GCC和GNU/Linux等关键项目，这些项目如今支撑着大部分互联网，证明透明度和社区协作能增强安全性和创新，而非阻碍发展。
- 开源软件通过创建共享知识库加速了技术进步，教育工程师并支持由私营公司、大学和志愿者组成的微妙生态系统，许多成功企业建立在开放核心模式之上。
- 人工智能正日益走向封闭，前沿模型完全专有化，这可能导致科学进步被锁死，并创建一个受控的‘知识库’限制访问和理解，与推动过去软件进步的开放原则背道而驰。
- 封闭的AI模型带来更深层次的问题，因为依赖缺乏透明度的模型意味着用户无法审计或完全理解结果，导致人们信任未经检验的‘神谕’；尽管存在安全担忧，但具有适当监控和规则的开放模型可以在不扼杀创新的前提下管理风险。
- 运行模型的代码与构建模型的代码之间的区别至关重要；当前‘开放’的AI模型通常只发布可运行代码，而保留构建代码和训练数据，这使得它们不透明并依赖企业的善意，而非真正的开放性。
- 为支持开源AI，需要政府、私营部门和非营利组织的共同努力，包括公共计算资源资助、对大学的支持以及默认开放公共资助的AI成果，确保开放的替代方案保持可行并有利于社会进步。
Ollama: All Aboard Open Models
3 months ago
- Ollama 是一个开源的人工智能平台，能够简化在本地和云端运行及使用开源模型的过程。
- Ollama 由 Jeff 和 Michael 创立，他们此前因开发 Kitematic 和 Docker Desktop 而闻名；目前，该平台已为 890 万开发者提供服务。
- Ollama 倡导自主性、经济性与隐私保护，允许模型在用户硬件上运行，无需 API 密钥，且数据无需离开本地设备。
- 该平台已被 85% 的《财富》500 强公司采用，支持 GLM、Nemotron、DeepSeek、Kimi 和 MiniMax 等多种模型。
- Ollama 近期获得了 8800 万美元的融资，以推动混合推理、新模型支持及云可访问性的发展，同时保持平台的开放性。
Half a Second – a book about the XZ backdoor
3 months ago
- 2024年3月，一名微软工程师在注意到登录延迟半秒后，发现了广泛使用的Linux压缩工具XZ Utils中隐藏的后门。
- 这一后门通过操纵一名心力交瘁、独自维护的志愿者，历时两年多被植入，凸显了开源基础设施的脆弱性。
- 此事件揭示了一种结构性失衡：关键但不显眼的软件组件通常依赖无偿且过度劳累的志愿者，而重要部分则获得企业资助。
- 《半秒钟》一书是为普通读者撰写的叙事性非虚构作品，以通俗语言解释技术细节，并提供免费的网页版、PDF和EPUB格式下载。
Transcribe.cpp
3 months ago
- transcribe.cpp 是一个基于 ggml 的开源语音转录库，支持多种自动语音识别模型，并提供数值验证和词错误率测试。
- 它解决了在跨平台语音转文本应用分发过程中遇到的挑战，通过 Vulkan、Metal、CUDA 和 TinyBLAS 提供 GPU 加速支持。
- 该库支持超过 16 种 ASR 模型系列（涵盖 60 多种模型），支持流式转录和批量转录，几乎是 whisper.cpp 的即插即用替代品。
- 它包含了由维护者支持的 Python、JavaScript/TypeScript、Rust 和 ObjC/Swift 绑定，以便于广泛分发。
- 其动机源于对可靠、可嵌入的库的需求，以确保在 Mac、Windows 和 Linux 系统上实现推断准确性和性能。
- 主要特性包括针对参考实现的数值验证、CPU/Vulkan 的基准测试结果，以及开源贡献。
- 该项目旨在让本地语音转文本技术更加易于获取，实现在 RK3566 等设备上的实时转录，无需依赖云端服务。
- 特别感谢 Mozilla AI、ggml 贡献者、Modal、Blacksmith 和 Hugging Face 在开发和测试过程中提供的支持。
Fable 5 finds major bugs in 10 year old open source game networking libraries
3 months ago
- Claude Code Fable 5 已在 netcode、reliable、serialize 和 yojimbo 等开源库中发现了严重漏洞。
- 这些库是众多游戏不可或缺的组成部分，建议用户立即升级至最新版本。
- 为确保游戏安全，必须避免使用旧版本。
- 开发者在压力之下，历时两周完成了紧急升级和修复工作以加强安全性。
GitRoot
3 months ago
- GitRoot是一个轻量级、功能强大的Git锻造工具，仅需一个可执行文件即可运行。
- 所有数据都以纯文本文件的形式直接存储在Git中，而非单独的数据库里。
- 访问控制通过.gitroot/users.yml文件管理，按分支限制编辑权限。
- 用户可以创建分支并推送更改；只有所有者能合并到默认分支。
- 插件独立且可选，支持自定义功能如看板或网页界面。
- GitRoot目前处于Alpha版本，尚不建议用于生产环境。
- 该项目在GitRoot实例上自托管，提供文档以便贡献代码。
- 未来目标包括实现网页界面、议题管理和拉取请求等功能。
Microsoft Comic Chat is now open source
3 months ago
- Microsoft Comic Chat是一款将对话转化为漫画分格的IRC客户端，现已在GitHub开源。
- 该软件于1996年首次发布，引入了Comic Sans字体，并运用类AI规则根据文本生成角色表情和姿态。
- 由David Kurlander及其团队开发，Jim Woodring负责美术设计，它代表了早期网络时代创新而富有玩趣的实验精神。
- 此次开源发布了原始代码及AI驱动的现代化示例，为社区探索保存了软件历史遗产。
- Comic Chat体现了1990年代互联网的乐观精神，鼓励在线交流中突破常规的创造力。
Let's Build PlanetScale from Scratch: Infrastructure
3 months ago
- 作者正在开发Homescale，这款工具能够从不可变快照创建可写入数据库实例和时间点分支，无需完整数据库副本。
- Homescale采用类似Docker的镜像、容器和分支模型，支持Postgres等多种数据库引擎。
- 它通过存储与计算分离的设计，在存储层利用写时复制技术实现分支功能，使不同分支间能共享未更改的数据。
- 底层存储基于Ceph的RBD模块提供不可变快照和可写入的写时复制克隆功能，并通过Kubernetes和Rook集成部署。
- Homescale以Kubernetes作为控制平面管理PVC和VolumeSnapshot等资源，并规划支持本地与云端部署方案。
XBill!
3 months ago
- XBill 是一款玩家扮演系统管理员、保护计算机免受伪装成Windows系统的病毒侵害的游戏，网络病毒会通过电缆传播感染。
- 该游戏最初于1994年夏季由Brian Wellington和Matias Duarte开发，经过多次修订不断演变，2.1版本是最新的。
- 游戏欢迎改进的新想法，尤其是图形增强方面，并提供Java小程序版本、源代码及RPM下载包的访问。
The State of Open-Source LLM Inference
3 months ago
- 从使用前沿模型API转向构建自己的开源大语言模型推理堆栈，通常始于财务、法律或工程方面的考量。
- 初始决策点在于选择从托管推理提供商处购买服务，还是利用开源权重和自有硬件构建解决方案。本文主要聚焦于构建路径。
- 从一个使用vLLM、SGLang或TensorRT-LLM等推理引擎的单一副本开始，通常效果不错，可以有效处理批处理和KV缓存管理。
- 副本内部的优化包括量化（例如采用FP8可提升14%的吞吐量）和推测解码（如EAGLE），但理想的默认设置仍在发展演进中。
- 随着并发量增加，延迟可能在‘拐点’处急剧恶化，需要多个副本以及考虑KV缓存的智能路由来维持性能。
- Prefill/解码解耦（如Mooncake中的设计）将计算密集型阶段与内存带宽密集型阶段分离，允许使用异构硬件以提高成本效益。
- 大小模型混合使用时，需要借助网关（如LiteLLM、RouteLLM）进行智能路由，以便在保持不同请求质量的同时管理成本。
- 跨存储层级（从HBM到NVMe）的前缀缓存和响应缓存等策略有助于减少重复计算，并在流量增长时降低成本。
- 全栈可观测性仍具挑战，指标分散在各组件中；像OpenTelemetry和Langfuse这样的工具提供了部分解决方案，但缺乏端到端的可见性。
- 关键差距包括集成的集群管理、面向工作负载的工具以及能替代经验法则的更好默认配置，同时多模态推理服务也带来了额外挑战。
You Cannot Defend What You Cannot Inspect
3 months ago
- CIRCUIT 是一个开源的 AI 可解释性治理框架，其发布旨在弥补当前 AI 治理实践中的不足。
- 当前的 AI 治理侧重于风险分级、注册机制和输出监控等外部控制，将模型视为黑箱，未解释模型做出决策的原因。
- 该框架强调可解释性，以在事件发生时提供帮助，使得能够理解模型的决策过程，而非仅仅关注所有权或部署细节。
- CIRCUIT 包含基于可检查性的成熟度上限（例如，开源模型比 API 或供应商嵌入式模型有更高的上限）以及与《欧盟人工智能法案》和 NIST AI RMF 等法规的对应关系。
- 它采用一份包含 29 个问题的供应商问卷，以凸显透明度差距，旨在在安全社区内推动对可检查模型的协调需求。
- CIRCUIT 在 Apache 2.0 许可下发布，开放供集体采用和贡献，并呼吁从业者针对实际部署进行测试和完善。
Modern Implementation of Notational Velocity
3 months ago
- nvnv是一款笔记应用，拥有统一的搜索界面，允许即时搜索标题和正文内容，使用单一字段进行搜索和创建笔记。
- 设计强调以键盘操作为中心，无按钮，自动保存，并在搜索、创建和编辑笔记之间实现连续流畅的操作，所有功能均在一个纯文本窗口中完成。
- 核心原则包括无需手动保存、以搜索为主要界面，以及使用极简方法实现无缝导航和编辑，全程无需离开键盘。
- 基准测试显示高性能表现：搜索速度快（例如，在10,000条笔记上进行广泛缓存搜索仅需13毫秒），文件系统操作高效（例如，热元数据扫描仅需438毫秒）。
- nvnv确保数据持久性，无供应商锁定，支持文件监视和外部编辑，采用一次性索引，基于MIT许可证，灵感来自Notational Velocity。
I tried NetBSD as a desktop,it felt like stepping into the 90s in a good way
3 months ago
- NetBSD 是一款源自 BSD 的开源操作系统，其起源可追溯至贝尔实验室开发的原版 Unix。
- 它被移植到多种架构上，因此有了这句口号：'它当然能运行 NetBSD'。
- 安装过程采用基于文本的设置界面，类似于 90 年代早期的系统，适合熟悉 MS-DOS 或技术性 Linux 发行版的用户。
- 默认情况下，NetBSD 是基于控制台的；需要手动安装 X Window 系统及 Xfce 等桌面环境。
- 软件管理使用 pkgin 包管理器来安装二进制文件，支持安装 Vim 和 Firefox 等工具。
- NetBSD 可作为桌面操作系统使用，尤其适合熟悉技术性发行版或老旧非 x86 硬件的用户。
- 它突显了 BSD 家族在互联网历史上的作用，并为开源爱好者提供了除 Linux 之外的另一种选择。
Garnix Is Joining Shopify
3 months ago
- Garnix 将加入 Shopify，其托管服务将于 2026 年 7 月 15 日关闭。
- Garnix 的代码库将被开源，允许用户迁移到他们自己或共享的实例上。
- 所有用户数据（包括构建产物）将于 7 月 15 日删除，因此用户应在此之前下载所需内容。
- Garnix 团队对多年来社区的支持和反馈表示感谢。
- 鼓励有兴趣运营公共社区实例的用户与团队联系。

open-source

Open Source Tax Engine outperforming GPT sol and Fable 5

I Regret Migrating to Codeberg

Meta's AI Models Are Powering the First Wave of Genesis Mission Projects

Internet Freedom is Here: FreeSocks v2

Nativ: Run frontier open models locally on your Mac

Ergonomic keyboard generator with hand scanning

I argued with the father of open source for 2 years Now the AI fight is the same

Ollama: All Aboard Open Models

Half a Second – a book about the XZ backdoor

Transcribe.cpp

Fable 5 finds major bugs in 10 year old open source game networking libraries

GitRoot

Microsoft Comic Chat is now open source

Let's Build PlanetScale from Scratch: Infrastructure

XBill!

The State of Open-Source LLM Inference

You Cannot Defend What You Cannot Inspect

Modern Implementation of Notational Velocity

I tried NetBSD as a desktop,it felt like stepping into the 90s in a good way

Garnix Is Joining Shopify