这段文本是包含对象定义和压缩流的原始 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 讨论了一篇关于食物过敏 IgE 干扰剂的报告，该报告据称使用了 Claude 辅助的抗体设计。评论者就过敏原因展开辩论：一些人支持卫生/寄生虫暴露假说，而另一些人则认为环境毒素和污染物可能起作用。该帖还涉及重新引入寄生虫是否会有帮助，对安全性和实用性看法不一。一些评论者质疑该工作的创新性、对照选择以及缺乏独立审查。其他人批评 Claude 与生物学相关的安全防护措施阻止了对论文的分析，认为科学工具的开放获取很重要。总体而言，讨论混合了科学怀疑、个人轶事和关于 AI 辅助药物开发的更广泛问题。
本项目将美国联邦个人所得税表单与说明编码为公开、可引用、可机器校验的YAML数据，并配以引导式自主申报访谈。访谈会提问、确定适用表单、计算数值、解释各项，并返回由用户自行提交的数值表；软件从不申报、签署或传输税表，数据也不会离开本机。它编码的是IRS发布的程序（而非《国内税收法典》），包括其中的判断。 由于编码主要由语言模型代理生成，项目构建为任何读者都能仅凭仓库自行验证。每条表单行记录包含表达式和对已归档IRS页面的引用；若任何引用缺失或无效，构建失败。计算行使用封闭的约20个原子词汇表；金额为精确整数美分；Lean形式化证明原子属性；两个独立求值器在1,648个案例上一致。独立构造（第二次转录、渲染比较、手工核对、盲预测）和三个外部税表引擎交叉核对结果。变异测试报告原始杀死率为94.4%；缺陷清单与提交守卫阻止未经测试的提交。覆盖率为68.6%的个人申报。这不是税务或法律建议；用户自行负责。
一篇 Hacker News 帖子链接了一个概念验证 GitHub 项目，用于形式化 IRS 联邦税表。作者承认它是凭感觉编码，但强调可验证性和与权威来源的可追溯性，目标是服务公共利益。他们指出规范比 README 更有用，并面向约 80% 的个人申报者。评论者就可行性展开争论：有人警告税规每年变化且需要持续资源；也有人认为 AI 能自动化更新，并已帮助解读 IRS 指引。一位评论者分享了用 AI 建模继承 IRA 提取及税务影响的个人项目。另一人指出类似开源项目 OpenReturn。一位批评者提到 IRS 曾开源税务软件，但经费终止，称凭感觉编码税务存在风险。整体而言，讨论串探讨了尽管存在维护与信任挑战，AI 辅助、可验证的税务形式化能否变得实用。
被指控的中国间谍与英伟达老板黄仁勋有"密切关系" Alleged Chinese spy had 'close relationship' with Nvidia boss Jensen Huang
2 天前
美国情报官员据称监测了一名中国女商人Alice Huang（又名Huang Le），她与英伟达首席执行官Jensen Huang建立了密切关系。据《纽约时报》报道，Alice Huang——新加坡云服务提供商Megaspeed的高管——被认定秘密向北京传递信息。美国当局还在调查Megaspeed，指控其帮助中国企业规避美国出口限制并将先进英伟达芯片走私进中国。照片显示Jensen Huang在台北与Alice Huang喝酒用餐，尽管没有证据表明他知晓她涉嫌的间谍活动。特朗普总统大约一年前得到简报，但拒绝采取行动，担心扰乱英伟达的销售和贸易关系。一些特朗普高级官员现在怀疑Huang不可能不知情。英伟达反驳称，Megaspeed只是普通客户，其互动属于常规业务。中国大使馆否认了这些指控，称其为无根据的抹黑。
一个Hacker News帖子讨论了报道称Nvidia CEO黄仁勋与Alice Huang（一名中国公民、Megaspeed高管）有"密切关系"，美国情报机构据称认为她可能是一名中国间谍。评论者质疑商务晚宴和会面是否构成间谍活动，指出缺乏不当行为的证据，并就媒体可信度、"蜜罐"风险、出口管制问题以及特朗普 reportedly 在被简报后 reportedly 决定不采取行动进行辩论。其他人将该报道视为耸人听闻或有政治动机，而有些人强调例行的企业情报收集以及黄仁勋在AI行业的高调角色。总体而言，这些指控仍存在争议且很大程度上未经证实。
`dontallow` 是一个小型 macOS 代理，通过按“不允许”自动关闭重复的本地网络权限提示。它面向 macOS Sequoia 及更高版本的提示，特别是由 bundle 路径变化的应用重复触发的提示。它作为按用户 launchd 代理运行，需要辅助功能权限，并在空闲时保持低 CPU。命令包括 status、pause/resume、rules、uninstall 和 dry-run。它在关闭时通知，支持允许列表和宽限期，并记录可在系统设置中撤销的拒绝。它从不修改系统文件、禁用保护或选择允许。对于机群，通过 PPPC 授予辅助功能。它使用命令行工具构建，支持 Intel 和 Apple Silicon。在 Intel macOS 26.6 上测试；目前仅支持英语。
Hacker News
抱歉，我们无法如此快速地处理您的请求。
重新加载
作者认为，软件伦理应超越许可证，延伸到社区价值观。虽然作者曾优先考虑强著佐权许可证，但如今相信社区而非版权塑造项目真正的伦理。版权本身是压迫性体系；著佐权能做的有限。自由软件本身不能保证包容性、社区治理或拒绝生成式 AI 等榨取性技术。一个项目在技术上可能自由（例如采用 AGPL、CLA 与商业双重许可），却仍可能被公司控制且不道德。 评估项目时，应超越许可证：它是否有包容性的行为准则？是否禁止生成式模型？是否由公司控制？是否要求 CLA？是否认可专有平台？主要开发者重视什么？ 最终，项目周围的社区决定其伦理。作者敦促读者加入、贡献（包括非代码工作）、对不道德行为发声，并考虑组建软件合作社。例子包括 The Starlight Network 和 Polyphony。
**摘要：** Hacker News 上一篇认为社区比软件许可证更重要的开源文章引发了讨论。评论者意见分歧：一些人重视社区与包容性，而另一些人认为好软件应优先，且许可证——而非社区——才是自由的信号。许多人指出 FOSS 项目常常是一人完成，"社区"一说被夸大了。AI/氛围编程主导了该帖：支持者称其使开发民主化并催生新社区（如定制固件），批评者则称其道德有问题、基于被盗数据训练、削弱开发者技能并集中权力。版权争论升温，一些人完全拒绝知识产权框架，另一些人则捍卫创作者权利。多位评论者预测 AI 使用将在软件开发中完全正常化，而反 AI 的坚守者可能会消失或仅存于小众。其他人警告 LLM 生成的"垃圾内容"侵蚀人类贡献与社区精神。总体而言，该帖反映出关于 AI 是帮助还是伤害开源文化，以及社区与代码质量孰轻孰重的深刻分歧。
editsqlite 是一款基于浏览器的 SQLite 编辑器，可在本地运行且不上传数据。它可打开 SQLite 数据库、SQL 转储文件和 CSV 文件，允许用户编辑单元格、行、列和表，并运行 SQL 查询。它通过重建而非修改原始文件来导出全新的、经校验的 SQLite、SQL 转储或 CSV 文件，以保持数据完整性。该工具包含自定义读取器、转储解析器、SQL 控制台和写入器；仅支持某些模式编辑以及中小型数据库，对 BLOB 和溢出页有限制。它被创建用于在不上传云端的情况下安全编辑标本目录。安全特性包括从不写入原始文件和完整性检查。常见问题解答涵盖信任、更小的导出、SQL 错误以及无直接服务器编辑。总体而言，它是一款注重隐私、支持离线的本地数据库编辑器。
Hacker News 上关于 editsqlite.com 的讨论，这是一个基于浏览器的 SQLite 编辑器。该帖获得了 71 个积分和 37 条评论。评论者关注的不是工具本身，而是 AI 生成文案的迹象，例如“loaded into the working model”、“Corruption needs something to touch”和“honest”等短语，以及长破折号。有些人觉得这令人反感，将其视为“vibe-coding”或“code smell”。另一些人指出网站似乎在浏览器本地运行，解决了隐私担忧，尽管有些人仍持怀疑态度。用户分享了实际的 SQLite 使用场景，包括从 Note Everything 提取笔记和同步数据库。评论者将其与 DB Browser for SQLite 和 pglite 等现有工具进行比较，质疑其新颖性，而另一些人则看重受限设备上的浏览器访问。还提到了移动端编辑的局限性。总体而言，该帖反映了混杂的反应：对便捷的浏览器内编辑器表示赞赏，但对 AI 风格的措辞有强烈批评，并质疑该项目是否在现有 SQLite 工具之外增加了价值。
请启用JS并禁用所有广告拦截器。
这个帖子围绕一篇《纽约时报》文章展开，内容是 Karl Bushby 在约 28 年的环球徒步后接近回家。评论者指出旅程并非连续：他曾暂停，飞往墨西哥，并在停下的地方继续。签证、赞助和许可是主要障碍；路线包括白令海峡和达连隘口。一些人争论他“不间断脚步”的说法以及旅行资金来源。其他人讨论他的个人生活：他离开过一个八岁的儿子，支持者引用军事限制和后来和解，而批评者认为他自私。其他评论提到当地人的善意、相关的长途步行者和 Hacker News 帖子动态。总体而言，帖子将对耐力的钦佩与对个人代价的批评混在一起。
GHC 的政策允许借助 LLM 的贡献，但责任仍由人类作者承担。贡献者可以使用模型进行探索、调试、复现 bug、缩减测试或构建基准，但与评审者的直接沟通必须由人类进行。合并请求必须易于评审，具备清晰的目标、解释的设计、测试和可消化的变更。每项提交都需要一个可识别的人类，能够解释所有代码和文档；若经过仔细审查，生成的内容可以接受。直接生成的提交代码、文档、测试或其他材料必须在 issue/MR 描述和提交信息中披露，通常使用 `Assisted-By` 行；私有探索无需披露。自己撰写最终版本是强烈偏好，而非要求。该政策是合理的，因为它避免了无法执行的全面禁令，同时保护了稀缺的评审时间：只有当贡献者理解相关工作时，辅助性工作才是可接受的，而不是把思考负担转移给维护者。它适合 GHC 大量的积压工作和日常任务，同时仍允许维护者拒绝无法解释的补丁。
Hacker News 上的一篇讨论 Serokell 博客文章关于 AI 对 GHC 的贡献。若干评论者指控该文章本身违反 GHC 的 AI 政策，可能由 AI 生成或 LLM 辅助而未披露；其他人则不太确定，认为它可能只是像 PR 文案。提到的证据包括 AI 检测工具、流畅的文笔，以及网站明显的 AI 重度风格。更广泛的观点包括人类沟通的重要性、指向更细致 GHC 指南的链接，以及要求解释 GHC 是什么的上下文。讨论聚焦于真实性、披露以及围绕 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 Studio 风格工作流、.flp 导入、内置乐器/效果器、VST3/CLAP 支持，以及 alpha 状态。作者请求测试和反馈。评论对密切模仿 FL Studio 的名称、颜色、UI 和 logo 表示担忧；质疑其是否为 AI 辅助或一次性软件；并争论其除熟悉功能外是否提供独特之处。一些人认为 .flp 导入可能有价值，而另一些人警告大型 AI 生成代码库可能难以维护。该项目被描述为免费、社区驱动，面向音乐人和 Linux 音频用户。
一个 Hacker News 帖子讨论 antipope.org 上题为“Blanets and Weird Worlds”的文章。一位评论者描述了一种计划中的硬科幻设定：一颗在三相水区中绕海王星质量 Hycean 行星运行的、地球质量的已地球化卫星，具有自转、磁层和来自主星的潮汐。他们好奇生物学如何从行星物理设计出来，并与似乎围绕角色构建的世界作对比。另一位评论者强调“blanets”——在黑洞吸积盘中形成的、由吸积盘辐射或蓝移宇宙微波背景加热的行星——并称这个想法令人脑洞大开。