犹他州的指控升级了全国范围的预测市场法律战。多个州已起诉 Kalshi 和 Polymarket，包括纽约、内华达、新墨西哥、华盛顿、康涅狄格、肯塔基等。亚利桑那州3月对 Kalshi 提起刑事指控，但联邦法官阻止了该案。CFTC 主张其拥有专属管辖权并反对州监管，尽管两个联邦上诉法院最近裁定平台试图规避州监管败诉。然而，第三巡回上诉法院4月裁定 CFTC 在新泽西州拥有专属权限，新泽西州已请求最高法院受理其案件。Kalshi 称犹他州的指控为“疯狂越权”，并表示将在法庭抗辩。
每日HackerNews RSS
犹他州指控Kalshi及其CEO非法推广在线赌博 Utah charges Kalshi and its CEO with illegally promoting online gambling
2 小时前
一篇 Hacker News 帖子链接到 Verge 文章，报道称犹他州已指控预测市场平台 Kalshi 及其 CEO 非法推广在线赌博。该帖引发关于赌博广告监管的辩论。一名评论者开玩笑说，一名特别探员的宣誓书类似个人体育投注调查。其他人质疑推广成年人自愿参与的赌博是否应构成犯罪，并引申到器官市场和贫困问题。还有人认为赌博具有成瘾性并带来社会成本，因此应进行类似酒精和烟草的监管，同时指出广告自由必须与公共健康相平衡。另有 AP News 来源被分享。
这段文本是包含对象定义和压缩流的原始 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 内部结构的片段，可能包含图形或布局信息，而非可提取的文本内容。
Hacker News 上有一篇标题为“IgE disruptor for food allergy with Claude-enabled antibody design”的帖子，来自 divergencelabs.com，获得 10 点和 3 条评论。评论讨论了 IgE 在靶向寄生虫中的作用，以及现代寄生虫暴露减少可能导致免疫系统对无害食物过度反应的观点，其中一位用户澄清了进化论中的“bored immune system”假说。
本项目将美国联邦个人所得税表单与说明编码为公开、可引用、可机器校验的YAML数据，并配以引导式自主申报访谈。访谈会提问、确定适用表单、计算数值、解释各项，并返回由用户自行提交的数值表；软件从不申报、签署或传输税表，数据也不会离开本机。它编码的是IRS发布的程序（而非《国内税收法典》），包括其中的判断。 由于编码主要由语言模型代理生成，项目构建为任何读者都能仅凭仓库自行验证。每条表单行记录包含表达式和对已归档IRS页面的引用；若任何引用缺失或无效，构建失败。计算行使用封闭的约20个原子词汇表；金额为精确整数美分；Lean形式化证明原子属性；两个独立求值器在1,648个案例上一致。独立构造（第二次转录、渲染比较、手工核对、盲预测）和三个外部税表引擎交叉核对结果。变异测试报告原始杀死率为94.4%；缺陷清单与提交守卫阻止未经测试的提交。覆盖率为68.6%的个人申报。这不是税务或法律建议；用户自行负责。
Hacker News 的一篇“Show HN”帖子介绍了一个概念验证项目，将美国国税局联邦税表形式化为代码。GitHub 仓库完全由“vibe coding”（AI 生成）完成，但作者基于以下原则构建：大多数税务软件的信任来自其维护者（如 Intuit、IRS），而 vibe-coded 软件缺乏这种可信度。因此，任何形式化都应包含可验证性，以及让用户和维护者将主张与解释追溯到权威源文件的机制。作者强调这是后台、被动项目，不适用于真实场景，目的是探索这种公共工具可能的样子。他们指出技术规范比 Claude 写的 README 更有信息量。版主评论链接了相关近期讨论。
被指控的中国间谍与英伟达老板黄仁勋有"密切关系" 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 帖子链接了一份报告，指控一名中国间谍与英伟达首席执行官黄仁勋关系密切。评论者对此表示怀疑，其中一人称其为抹黑，并指出该女子 Alice Huang（Huang Le）是中国公民，也是 Megaspeed 的高管；Megaspeed 是英伟达的云合作伙伴，为包括阿里巴巴在内的中国公司提供服务。其他评论则认为间谍会针对此类关系，或相关机构应在相关圈子中安插人员。该帖子有 41 个点和 4 条评论。
`dontallow` 是一个小型 macOS 代理，通过按“不允许”自动关闭重复的本地网络权限提示。它面向 macOS Sequoia 及更高版本的提示，特别是由 bundle 路径变化的应用重复触发的提示。它作为按用户 launchd 代理运行，需要辅助功能权限，并在空闲时保持低 CPU。命令包括 status、pause/resume、rules、uninstall 和 dry-run。它在关闭时通知，支持允许列表和宽限期，并记录可在系统设置中撤销的拒绝。它从不修改系统文件、禁用保护或选择允许。对于机群，通过 PPPC 授予辅助功能。它使用命令行工具构建，支持 Intel 和 Apple Silicon。在 Intel macOS 26.6 上测试；目前仅支持英语。
一篇 Hacker News 帖子介绍了一个小型 Swift 应用，可自动关闭 macOS 反复出现的“允许应用在本地网络中查找设备？”权限弹窗，并留一条通知。开发者表示该提示具有干扰性，且缺乏全局关闭选项。评论者讨论运行小型未经审计工具的安全风险，权衡便利性与潜在被入侵，并指出即使广泛使用的软件也可能存在漏洞。其他人将该弹窗比作 macOS 的 cookie 横幅，称赞 AI 赋予非专家构建小型实用工具的能力，并调侃仓库描述为一个 Swift 文件却实际有两个。一些人认为该功能应内置于 macOS，另一人则认为其行为可能是非故意的结果而非有意的产品决策。页面还包括标准的 Hacker News 导航和 Y Combinator 申请横幅。
作者认为，软件伦理应超越许可证，延伸到社区价值观。虽然作者曾优先考虑强著佐权许可证，但如今相信社区而非版权塑造项目真正的伦理。版权本身是压迫性体系；著佐权能做的有限。自由软件本身不能保证包容性、社区治理或拒绝生成式 AI 等榨取性技术。一个项目在技术上可能自由（例如采用 AGPL、CLA 与商业双重许可），却仍可能被公司控制且不道德。 评估项目时，应超越许可证：它是否有包容性的行为准则？是否禁止生成式模型？是否由公司控制？是否要求 CLA？是否认可专有平台？主要开发者重视什么？ 最终，项目周围的社区决定其伦理。作者敦促读者加入、贡献（包括非代码工作）、对不道德行为发声，并考虑组建软件合作社。例子包括 The Starlight Network 和 Polyphony。
Hacker News 链接到一篇关于软件社区重要性的文章。讨论褒贬不一：一名评论者认为许可证优先，称开源许可证让任何人都能建立社区，而专有软件让用户依赖创作者；另一名评论者说真正的自由软件应使用 Apache 2.0。多条评论批评 AI 生成的代码，认为它取代人类贡献者并削弱协作，提到 Ruby 和“AI slop”。一条回复讽刺地为 AI 支持者辩护，反对 Codeberg。总体而言，该帖讨论社区与许可证哪样更重要，并对 AI 对开源社区的影响持强烈怀疑态度。
editsqlite 是一款基于浏览器的 SQLite 编辑器，可在本地运行且不上传数据。它可打开 SQLite 数据库、SQL 转储文件和 CSV 文件，允许用户编辑单元格、行、列和表，并运行 SQL 查询。它通过重建而非修改原始文件来导出全新的、经校验的 SQLite、SQL 转储或 CSV 文件，以保持数据完整性。该工具包含自定义读取器、转储解析器、SQL 控制台和写入器；仅支持某些模式编辑以及中小型数据库，对 BLOB 和溢出页有限制。它被创建用于在不上传云端的情况下安全编辑标本目录。安全特性包括从不写入原始文件和完整性检查。常见问题解答涵盖信任、更小的导出、SQL 错误以及无直接服务器编辑。总体而言，它是一款注重隐私、支持离线的本地数据库编辑器。
一篇 Hacker News 帖子链接了 editsqlite.com，一个基于浏览器的 SQLite 数据库编辑器。评论提到可能的 GitHub 仓库、用它从 Android 应用提取数据，以及 tabdb.io 和 pglite 等相关工具。一位评论者称赞该工具采用重建而非原地编辑的方式，并配合完整性检查，对真实文件更安全，同时指出限制：尚不支持连接或 GROUP BY，不支持超过约 4KB 的行，存在内存限制，且某些架构对象作为重建脚本处理。他们仍建议在导出前后比较行数。
请启用JS并禁用所有广告拦截器。
Hacker News
新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
环球步行28年后，他快回家了
（nytimes.com）
22 点 由 rafaelc 1小时前
隐藏 | 过去 | 收藏 | 2 条评论
https://archive.ph/NCeML
帮助 重新连接 0 分钟前
下一页 [–]
Arthur Blessitt
38年5个月20天
https://en.wikipedia.org/wiki/Arthur_Blessitt
回复
fhdkweig 13分钟前
上一页 [–]
总结起来一个词：签证。
原来走几千里路才是容易的部分。
另一个来源：
https://www.msn.com/en-us/news/other/exhibition-charts-karl-...
和
https://en.wikipedia.org/wiki/Karl_Bushby
回复
考虑申请 YC 的 2027 年冬季批次！
申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
GHC 的政策允许借助 LLM 的贡献，但责任仍由人类作者承担。贡献者可以使用模型进行探索、调试、复现 bug、缩减测试或构建基准，但与评审者的直接沟通必须由人类进行。合并请求必须易于评审，具备清晰的目标、解释的设计、测试和可消化的变更。每项提交都需要一个可识别的人类，能够解释所有代码和文档；若经过仔细审查，生成的内容可以接受。直接生成的提交代码、文档、测试或其他材料必须在 issue/MR 描述和提交信息中披露，通常使用 `Assisted-By` 行；私有探索无需披露。自己撰写最终版本是强烈偏好，而非要求。该政策是合理的，因为它避免了无法执行的全面禁令，同时保护了稀缺的评审时间：只有当贡献者理解相关工作时，辅助性工作才是可接受的，而不是把思考负担转移给维护者。它适合 GHC 大量的积压工作和日常任务，同时仍允许维护者拒绝无法解释的补丁。
Hacker News
新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
GHC 的 AI 贡献
（
serokell.io
）
4 分
由
alexandersechin
52 分钟前
|
隐藏
|
过往
|
收藏
|
1 条评论
help
eschew
7 分钟前
[–]
似乎具有讽刺意味的是，一篇描述 GHC 的 AI 政策、由 GHC 贡献者撰写并表达同意该政策的博客文章，本身却直接违反了 GHC 的 AI 政策（P1 和 P4 点）！
回复
考虑申请 YC 的 2027 冬季批次！申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
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 下免费，并提供全部三个平台的发布版。
黑客新闻
最新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
我正在构建 LYNX，一个受 FL Studio 启发的开源 DAW，免费、跨平台（github.com/ka1-s）
6 分，作者 ka1s，31 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助 matt3210 24 分钟前 [–]
希望不会成为弃坑软件
回复
考虑申请 YC 2027 冬季批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：