这段文本是包含对象定义和压缩流的原始 PDF 文件内容。它包含多个 Form XObject 条目（对象 4、7、9、11、17、20、23、26、29、31、33、35），边界框均为 [0 0 100 100]，表单类型为 1，并使用 FlateDecode 压缩流。较大的对象 178 包含带有二进制数据的 FlateDecode 流。内容主要是无文本的结构化 PDF 标记，表示矢量图形或表单定义，而非文档文本。这些流似乎是需要解压才能解释的压缩二进制数据。总体而言，这是 PDF 内部结构的片段，可能包含图形或布局信息，而非可提取的文本内容。
每日HackerNews RSS
Hacker News 的一个帖子讨论了 Divergence Labs 关于食物过敏的 IgE 干扰剂的预印本/报告，该研究据称使用 Claude 设计。评论者质疑独立评审，并指出 Anthropic 将其作为进展引用。其他人争论过敏原因：一种观点认为 IgE 进化出来用于对抗蠕虫，现代卫生条件使其对无害过敏原过度反应；另一些人认为环境毒素或食物污染物可能起作用，但证据存在争议。用户还讨论重新引入寄生虫、多样化微生物暴露的益处以及进化权衡。另一个主要话题是 AI 安全：Claude Opus 5.5 据称因与生物学相关而阻止分析该论文，引发对过度宽泛防护措施和可能绕过方法的抱怨。总体而言，该帖引发了关于抗体设计、过敏病因以及 AI 科学工具访问权限的讨论。
展示 HN：IRS 联邦税表的概念验证形式化 Show HN: A proof-of-concept formalization of the IRS federal tax forms
17 小时前
本项目将美国联邦个人所得税表单与说明编码为公开、可引用、可机器校验的YAML数据，并配以引导式自主申报访谈。访谈会提问、确定适用表单、计算数值、解释各项，并返回由用户自行提交的数值表；软件从不申报、签署或传输税表，数据也不会离开本机。它编码的是IRS发布的程序（而非《国内税收法典》），包括其中的判断。 由于编码主要由语言模型代理生成，项目构建为任何读者都能仅凭仓库自行验证。每条表单行记录包含表达式和对已归档IRS页面的引用；若任何引用缺失或无效，构建失败。计算行使用封闭的约20个原子词汇表；金额为精确整数美分；Lean形式化证明原子属性；两个独立求值器在1,648个案例上一致。独立构造（第二次转录、渲染比较、手工核对、盲预测）和三个外部税表引擎交叉核对结果。变异测试报告原始杀死率为94.4%；缺陷清单与提交守卫阻止未经测试的提交。覆盖率为68.6%的个人申报。这不是税务或法律建议；用户自行负责。
Hacker News 的“Show HN”帖子强调了一个 GitHub 仓库中 IRS 联邦税表的概念验证形式化。作者表示该仓库完全凭感觉编码，但建立在可验证性之上：税软件通常依赖可信维护者，而 AI 生成代码缺乏这种信任，因此声明应可追溯到权威 IRS 文档。他们警告这是被动搁置项目，不用于真实使用，并指向规范而非 README。评论辩论年度维护和规则变化；有人建议 AI 代理可自动化更新，作者目标是常见个人申报者（约 80%）。一位评论者描述成功用 AI 从 IRS/州代码建模个人税务场景。其他人提到类似 OpenReturn 项目、被砍掉资金的 IRS 开源努力，以及这种形式化是否能揭示 IRS 不一致。总体上，这是一个探索性的、以可验证性为重点的税模型实验，关于可行性和风险有活跃讨论。
被指控的中国间谍与英伟达老板黄仁勋有"密切关系" Alleged Chinese spy had 'close relationship' with Nvidia boss Jensen Huang
17 小时前
美国情报官员据称监测了一名中国女商人Alice Huang（又名Huang Le），她与英伟达首席执行官Jensen Huang建立了密切关系。据《纽约时报》报道，Alice Huang——新加坡云服务提供商Megaspeed的高管——被认定秘密向北京传递信息。美国当局还在调查Megaspeed，指控其帮助中国企业规避美国出口限制并将先进英伟达芯片走私进中国。照片显示Jensen Huang在台北与Alice Huang喝酒用餐，尽管没有证据表明他知晓她涉嫌的间谍活动。特朗普总统大约一年前得到简报，但拒绝采取行动，担心扰乱英伟达的销售和贸易关系。一些特朗普高级官员现在怀疑Huang不可能不知情。英伟达反驳称，Megaspeed只是普通客户，其互动属于常规业务。中国大使馆否认了这些指控，称其为无根据的抹黑。
Hacker News论坛讨论一篇《纽约时报》/《纽约邮报》的报道，称中国公民、Megaspeed高管Alice Huang（Huang Le）与英伟达CEO Jensen Huang有"密切关系"，可能为间谍。评论者质疑证据，指出报道中的接触似乎仅限于商务晚宴，并讨论这是否构成间谍活动。许多人批评《纽约邮报》的耸动报道，而认为《纽约时报》可信；其他人则认为这是策略性泄密或抹黑，可能旨在向英伟达或特朗普施压。报道称特朗普大约一年前被告知此事但未采取行动；Megaspeed正因可能规避美国芯片出口管制而接受调查。评论者还讨论了"美人计"战术、地缘政治中美紧张关系以及媒体可信度。总体而言，该论坛对"密切关系"的表述持怀疑态度，认为该报道证据不足且带有政治色彩。
`dontallow` 是一个小型 macOS 代理，通过按“不允许”自动关闭重复的本地网络权限提示。它面向 macOS Sequoia 及更高版本的提示，特别是由 bundle 路径变化的应用重复触发的提示。它作为按用户 launchd 代理运行，需要辅助功能权限，并在空闲时保持低 CPU。命令包括 status、pause/resume、rules、uninstall 和 dry-run。它在关闭时通知，支持允许列表和宽限期，并记录可在系统设置中撤销的拒绝。它从不修改系统文件、禁用保护或选择允许。对于机群，通过 PPPC 授予辅助功能。它使用命令行工具构建，支持 Intel 和 Apple Silicon。在 Intel macOS 26.6 上测试；目前仅支持英语。
一位开发者发布了一款小型 Swift 应用，它会在 0.25 秒后自动关闭 macOS“允许应用在本地网络中查找设备？”的权限对话框，并留下一条通知，因为 macOS 缺少全局禁用选项。Hacker News 的评论者就其利弊展开辩论：此类权限提示可能会打断用户，且往往缺乏上下文，但它们起到隐私/安全警告的作用。有人说应用应解释为何需要访问；也有人认为开发者不应控制提示文本。用户报告称，由于 Chromium 浏览器将应用包复制到临时文件夹，导致 macOS 将启动视为新应用，因此该提示反复出现。还有建议对 IP 范围进行允许列表，以及关于剪贴板访问、蓝牙和应用数据访问等相关权限的讨论。总体而言，该讨论串突出了用户对权限疲劳的挫败感，并呼吁提供更清晰、更稳定、更贴合上下文的权限控制。
作者认为，软件伦理应超越许可证，延伸到社区价值观。虽然作者曾优先考虑强著佐权许可证，但如今相信社区而非版权塑造项目真正的伦理。版权本身是压迫性体系；著佐权能做的有限。自由软件本身不能保证包容性、社区治理或拒绝生成式 AI 等榨取性技术。一个项目在技术上可能自由（例如采用 AGPL、CLA 与商业双重许可），却仍可能被公司控制且不道德。 评估项目时，应超越许可证：它是否有包容性的行为准则？是否禁止生成式模型？是否由公司控制？是否要求 CLA？是否认可专有平台？主要开发者重视什么？ 最终，项目周围的社区决定其伦理。作者敦促读者加入、贡献（包括非代码工作）、对不道德行为发声，并考虑组建软件合作社。例子包括 The Starlight Network 和 Polyphony。
这篇 Hacker News 帖子讨论了一篇文章，认为在软件中社区比许可证更重要。评论者意见分歧：有人说许可证定义自由并允许分支，而另一些人说社区塑造项目价值，尽管许多项目由单个维护者维护。AI 主导讨论：一些人认为 LLM 不可避免，且对编码、研究和调试有用；另一些人称其在道德上有问题，集中权力，或促成企业对开源劳动的攫取。相关主题包括开源倦怠、自负、vibe coding，以及 AI 是否会使软件开发正常化或使其不稳定。一些人认为软件质量和用户最重要；社区只有在产出有用软件时才重要。另一些人警告 AI 可能使软件变得可抛弃，并减少人类贡献者。总体上，这个帖子是关于社区、许可证和 AI 在软件中作用的广泛而两极分化的辩论。
editsqlite 是一款基于浏览器的 SQLite 编辑器，可在本地运行且不上传数据。它可打开 SQLite 数据库、SQL 转储文件和 CSV 文件，允许用户编辑单元格、行、列和表，并运行 SQL 查询。它通过重建而非修改原始文件来导出全新的、经校验的 SQLite、SQL 转储或 CSV 文件，以保持数据完整性。该工具包含自定义读取器、转储解析器、SQL 控制台和写入器；仅支持某些模式编辑以及中小型数据库，对 BLOB 和溢出页有限制。它被创建用于在不上传云端的情况下安全编辑标本目录。安全特性包括从不写入原始文件和完整性检查。常见问题解答涵盖信任、更小的导出、SQL 错误以及无直接服务器编辑。总体而言，它是一款注重隐私、支持离线的本地数据库编辑器。
Hacker News
抱歉，我们无法如此快速地处理您的请求。
重新加载
请启用JS并禁用所有广告拦截器。
卡尔·布什比即将完成一次历时28年的环球徒步。Hacker News的讨论帖涉及他的旅程，包括签证障碍、穿越白令海峡和横渡英吉利海峡。评论者就他“不间断脚步”的说法展开争论，指出他曾暂停行程并在同一地点恢复，有时还以墨西哥为基地。其他人讨论他如何通过赞助和图书合约资助这次旅行，尽管当地居民常常提供款待。一个主要话题是批评布什比作为缺席父亲离开了8岁的儿子；支持者则指出，军方限制最初阻止他随孩子前往北爱尔兰，而且他与儿子后来已经和解。帖子还涉及评判他人私人生活的困难以及非凡耐力壮举的本质。
GHC 的政策允许借助 LLM 的贡献，但责任仍由人类作者承担。贡献者可以使用模型进行探索、调试、复现 bug、缩减测试或构建基准，但与评审者的直接沟通必须由人类进行。合并请求必须易于评审，具备清晰的目标、解释的设计、测试和可消化的变更。每项提交都需要一个可识别的人类，能够解释所有代码和文档；若经过仔细审查，生成的内容可以接受。直接生成的提交代码、文档、测试或其他材料必须在 issue/MR 描述和提交信息中披露，通常使用 `Assisted-By` 行；私有探索无需披露。自己撰写最终版本是强烈偏好，而非要求。该政策是合理的，因为它避免了无法执行的全面禁令，同时保护了稀缺的评审时间：只有当贡献者理解相关工作时，辅助性工作才是可接受的，而不是把思考负担转移给维护者。它适合 GHC 大量的积压工作和日常任务，同时仍允许维护者拒绝无法解释的补丁。
Hacker News 上的帖子讨论了 Serokell 关于 AI 对 GHC 贡献的博客文章。评论者争论该文是否违反 GHC 的 AI 政策，尤其是 P1 和 P4，可能在未披露的情况下由 AI 生成。一些人认为文风像 AI 生成，并引用 Pangram；另一些人说可能只是润色过的公关文。另一条评论指出 Serokell 网站似乎大量使用 Claude，作者可能不是英语母语者，而文章的历史细节类似 LLM 风格。其他评论强调人类交流而非 bot-to-bot 互动，并要求作者向读者解释 GHC 是什么。还有一条评论链接到 GHC 原始且更细致的 AI 指南。总体而言，该讨论围绕透明度、可能的 AI 作者身份以及维护以人为本的社区交流展开。
LYNX SHARE 是一款轻量级、跨平台（Windows/macOS/Linux）的 DAW，使用 C++20/JUCE 8 构建，具有 FL Studio 风格的工作流。它包含通道架、钢琴卷帘、播放列表、混音器、模式、自动化、录音、导出、主题、撤销/重做，以及 FL Studio 工程（.flp）导入/转换。其干净室原生引擎模拟 FL Studio 原生插件和许多流行第三方插件，在原件不可用时提供回退等效。它支持 VST3/CLAP（以及 AU/LV2）、沙盒、插件扫描、MIDI/音频录音和灵活的硬件输出。无锁、多线程的音频引擎会跳过空闲通道，并可快速渲染大型工程。LYNX SHARE 目前是 alpha 软件：它可以打开、播放和导出工程，但尚非日常主力 DAW。它在 AGPLv3 下免费，并提供全部三个平台的发布版。
Hacker News 的一个帖子讨论了 LYNX，这是一个受 FL Studio 启发的开源 DAW，具有 FL 风格工作流、项目导入、内置乐器和效果器、VST3/CLAP 支持以及跨平台计划。评论者讨论了其更名为 LYNX SHARE、与 UAD Luna 的比较，并质疑 AI 辅助开发是否会使其成为被放弃的软件。其他人则认为，只要进行适当的验证，就能构建出好软件。一位评论者表示，该项目需要除标准 DAW 功能之外更明确的差异化优势。作者将其描述为一个寻求测试者和贡献者的 alpha、长期开源项目。还有人询问作者的评论是否为 AI 生成，并引用了 HN 指南。
Blanets and Weird Worlds
19 小时前
Hacker News 用户讨论了「Blanets and Weird Worlds」。一位评论者描述了一个正在创作中的科幻设定：一颗地球质量的卫星被地球化，围绕一颗 Hycean 行星运行，并表示有兴趣从行星条件反推生物学。另一位解释说，blanets 是在大型黑洞周围的吸积盘中形成的行星，可能由吸积盘辐射或蓝移的宇宙微波背景辐射加热。