每日HackerNews RSS

退相干陷阱 The Decoherence Trap 5 小时前

本文将**退相干**定义为系统内局部有效但相互不兼容的模型的累积，使得变更代价高昂且容易出错。AI 正在以不可持续的速度加速这一过程：智能体在未完成工作的情况下生成更多代码与复杂性，而身处压力下的人类早已在增加退相干。与令人恐惧的智能爆炸不同，退相干阻止 AI 在孤立状态下自我改进，因为**相干性**——软件的适应性——只能通过现实世界的反馈来验证，而非在封闭环境中。这导致一种不同的威胁：**退相干崩溃**，即系统变得如此复杂，智能体能够维护它们却无法修复或简化它们，将社会锁定在逐渐衰退之中。本文敦促从快速、碎片化的变革转向重建相干性，强调开源协作是一种已被验证的模式，并警告若无此类努力，我们可能面临数年甚至数十年的停滞。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 退相干陷阱 ( maevyn.codes ) 11 分 by cassianoleal 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 年冬季批次！ 申请 开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

C# 现在在 WASM 体积上超越了 Rust C# now beats Rust on WASM size 6 小时前

NetWasm 是一个独立的 .NET 编译器、运行时和 SDK，可将 C# 和 .NET CIL 直接编译为小型独立 WebAssembly，无需附带桌面 CLR、Mono 或应用程序 DLL。它支持常规 dotnet CLI 工作流、已发布的 JS 模块/Web Workers、WIT/WASI Preview 2 组件、类型化互操作，以及 HTTP、JSON、XML、Regex、DI 等移植库。其紧凑的精确 GC 为 print-42 工作负载生成 47,798 字节的 WASI 组件，小于匹配的 Rust 配置，并且基准测试显示在某些工作负载上分配/GC 比 Mono AOT 更快。Blazor WebAssembly 大得多。NetWasm 提供多种 GC 策略、双目标定位、TUnit 测试以及 wasm32/wasm64 选项。它处于 1.0 前版本，有意采用更小的特性集：不支持广泛的运行时反射、动态加载或托管线程，且部分文件/套接字 API 尚未实现。核心库采用 MIT 许可；编译器/工具使用社区许可，符合条件的使用免费，并提供商业选项。使用 .NET 构建，使用 WebAssembly 主机运行。

Hacker News 上的一篇帖子声称 C# 现在在 WASM 二进制大小上超越了 Rust，并链接到一个 GitHub 项目。评论者认为比较不公平：C# 输出经过了后处理并针对 WASM 大小进行了优化，而 Rust 没有；而且 C# 无法使用 WASM 的 GC。尽管如此，几位用户觉得该项目令人印象深刻且很酷，认为偶尔出现 C# 的胜利值得欢迎。

查看详情

Composite objects and C++26 the std:polymorphic type 6 小时前

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 复合对象与 C++26 的 std::polymorphic 类型 ( mariusbancila.ro ) 10 分 由 jandeboevrie 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 usrnm 19 分钟前 [–] 15 年前，读到这些即将加入 C++ 的酷新特性，我会很开心；如今，我不再使用它，也不需要重新学习所有这些，我反而很开心。我变老了吗？ 回复 考虑申请 YC 2027 冬季批次！申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索：

查看详情

Launch HN: Alter (YC S25) – 多用户智能体的访问控制 Launch HN: Alter (YC S25) – Access control for multi-user agents 6 小时前

Alter（YC S25）是面向多用户 AI 代理的访问控制层，这些代理代表用户执行操作。核心问题：虽然用户会单独认证（例如在 Slack 中），但代理通常通过单个共享 API 密钥连接 CRM 或计费等外部系统，从而绕过用户级权限。Alter 充当代理，按请求管理下游凭证，每次操作都会考虑最终用户身份，强制执行细粒度的运行时策略，并生成符合合规要求的审计日志。 由 Srikar（前 Goldman Sachs）和 Kevan（二次创业者）创立，Alter 面向构建自定义多租户认证成本高昂的受监管行业。它支持数百个提供商，提供代理委派、用户归属，并即将推出带防护措施的 LLM 网关。用例范围涵盖内部 GTM 代理、SRE/后台自动化，以及隔离网络中的国防系统。定价按使用量计费，免费层最高支持 10k 请求。创始人询问其他人目前如何处理多用户代理的权限。

查看详情

SaaS 已死 SaaS Is Dead 7 小时前

哪些开源项目替代哪些产品，始于 OpenAlternative 列表（CC0），加上我们自己每日搜索新的 GitHub 项目。星标、日期和许可证从 GitHub 实时读取。SaaS is dead 是一个独立项目，与 OpenAlternative 或此处命名的任何产品无关联。产品名称和徽标是其所有者的商标，仅用于识别。价格是我们在供应商网站上查询的标价；可能会变化。© 2026 SaaS is dead

一篇题为"SaaS已死"的Hacker News帖子引来一条评论，认为SaaS本身并未消亡，只是低质量SaaS在消亡。评论者表示自托管有吸引力，但企业仍避免自行管理邮件基础设施。他们认为"SaaS已死"的迷因实际意味着SaaS提供商不能再偷懒：产品必须设计良好、集成完善、支持到位且跨平台，具备自动化配置、细粒度RBAC和可定制的入职流程。随着功能护城河消失，主要防线是良好的用户体验、稳定性与总体拥有成本。他们还表示AI正在吞噬弱势企业，而非SaaS整体，并点名被泄露的密码管理器、定价激进的认证提供商以及类似脚本的技术平台为脆弱目标。其他评论仅称赞帖子的格式与钩子，并列出"1999-2026"。总体而言，讨论将SaaS定义为需要更高质量与更强价值，而非消失。

查看详情

发布你的解释器 Ship Your Interpreter 7 小时前

大语言模型正日益能够利用漏洞和编写经验证的软件，但扩展验证需要可信的形式化语义。Basis 的实验使用了一种扩展的 WHILE 语言：大语言模型编写了 Lean 语义，并证明其与 RISC-V 上编译后的 C 解释器匹配。仅靠测试会遗漏实现细节，例如 63 字节的 snprintf 截断，因此证明通过将二进制文件视为真值强制修正。精化定理确保语义既不许可也不遗漏解释器行为。证明内存推理需要为 malloc 提供分离逻辑。在已验证的语义之上，大语言模型构建了类型检查器、程序逻辑、抽象解释器和经验证的编译器。该团队现在计划将此扩展到 Lua、OCaml 和最终 CPython 等真实语言，使关键系统在设计上安全。

一篇题为“Ship Your Interpreter”的 Hacker News 帖子链接到 basis.ai，获得 8 点和 1 条评论。这条评论批评该帖的目标受众和过于解释性的风格，认为不熟悉的读者可能无法跟上解释器、形式化证明或汇编语言等话题，并指出用 LLM 撰写开篇段落是一个值得质疑的选择。页面还包含申请 YC Winter 2027 批次的提示以及标准 Hacker News 导航链接。

查看详情

阿里巴巴将DeepSeek V4 Flash 0731输出价格上调230% Alibaba hikes DeepSeek V4 Flash 0731 output prices by 230% 7 小时前

禁止 禁止 sin1::6plg5-1792564225663-ab09f7df88d4

据报道，阿里巴巴将旧版 DeepSeek V4 Flash 0731 模型的输出价格提高了 230%。评论者认为这可能是逐步淘汰旧版模型，而不是提高当前模型（如 1017）的价格，后者仍保持正常定价。一些人将此举归因于制裁带来的算力限制，并将其比作对生命周期末期软件版本收费。其他人批评该文章具有误导性或为博客垃圾内容，指出该模型已过时且能力低于新发布版本，并讨论了对补贴型 AI API 的依赖、质量下降以及中国可能实施开放权重模型出口限制等更广泛担忧。总体而言，此次提价似乎针对旧模型，而非普遍 AI 价格上涨。

查看详情

使用 Claude 降低代码的攻击面 Using Claude to reduce the attack surface of code 7 小时前

Anthropic 在对 25 个开源项目（总计超过 500 万行代码）进行自动化攻击面分析与缩减时测试了 Claude。Claude 使用三种方法发现了 493 个问题：默认配置下可达但不必要的代码、配置选项之间的风险交互，以及在认证等门控之前运行的安全敏感代码。它盘点了超过 17,000 个配置选项，其中 3,842 个与安全相关。发现包括门控项目中不必要的预认证攻击面、162 个风险配置组合（其中 94 个会静默禁用安全控制），以及一个 OpenSSH 问题，其中约 4,500 行 ML-DSA 代码在配置检查前可达；后续 OpenSSH 10.6 的修复解决了该问题。该方法通过让不必要的代码更难被触发来降低未知漏洞的严重性，但并不修复每个漏洞。Claude 的可复用技能运行三轮分析并根据测试验证修改，这种方法可能广泛改善软件安全性。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 使用 Claude 降低代码的攻击面 ( anthropic.com ) 7 分 由 dnw 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 年冬季批次！ 申请 开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

在 macOS 上设置支持 Touch ID 的 SSH 密钥 Setting Up SSH Keys on macOS with Touch ID 8 小时前

在 macOS 上，你可以使用 Secure Enclave 创建受 Touch ID 保护、不可提取的 SSH 身份。设置：使用 `sc_auth create-ctk-identity -l ssh-key -k p-256-ne -t bio` 创建；重启后使用 `ssh-add -K -S /usr/lib/ssh-keychain.dylib` 加载；并使用 `ssh-add -L` 获取公钥用于 GitHub。私钥永远不会离开 Secure Enclave，无法提取，且需要生物识别授权；如果 Mac 损坏，身份会丢失。底层上，`sc_auth` 创建 CryptoTokenKit 身份，而 `ssh-keychain.dylib` 作为 FIDO 风格提供者桥接 SSH 与 Secure Enclave：SSH 加载驻留公钥，Secure Enclave 签署认证挑战并触发 Touch ID。这提供了无需私钥文件的硬件支持 SSH 认证。

一篇介绍在 macOS 上使用 Touch ID 设置 SSH 密钥的文章引发了评论警告：取消密钥文件也会使密钥难以备份或转移。若 Mac 或安全隔区无法访问，SSH 密钥可能无法恢复，且失败访问尝试过多还可能将其擦除。评论者建议至少保留一个备份密钥或备用访问路径，以连接关键主机。

查看详情

Nexus-CLI – 纯 Go 桥接 DeepSeek R1/V3，支持 Claude Code 和 Ollama Nexus-CLI – Pure Go Bridge to DeepSeek R1/V3 with Claude Code and Ollama Support 8 小时前

Nexus CLI 是一款高性能 Go 工具与本地 API 代理，可让任何应用或编程代理通过免费网页账号使用 DeepSeek V3/R1，无需付费 API 密钥。它包含纯 Go 并行 PoW 求解器、带实时推理流的交互式 REPL，以及一次性/管道查询。内置代理（`nexus serve`）支持 OpenAI、Anthropic 和 Ollama API，可与 Cursor、Claude Code、Open WebUI 等工具集成。还支持结构化 JSON 输出、多账号轮换、基于 Chrome 的认证，以及 Claude Code、Codex、Aider 等的一键启动器。可通过 `nexus doctor` 进行系统诊断。需要 Go 1.20+；从源码构建并全局安装。采用 MIT 许可证分发。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Nexus-CLI – 纯 Go 编写的 DeepSeek R1/V3 桥接工具，支持 Claude Code 与 Ollama ( github.com/xamrayev ) 4 点 由 xamrayev 57 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC Winter 2027 批次！申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

更多