请启用 JS 并禁用任何广告拦截器
每日HackerNews RSS
Hacker News 的帖子讨论了 Meta 在抗议日短暂封禁 No Kings Instagram 账号一事。据报道该账号离线约 90 分钟，组织者表示管理员在额外数小时内被禁止发帖。评论者争论此次封禁是自动审核或举报滥用的误判，还是蓄意的政治压制。有人认为 Meta 过度依赖自动化，协同举报可以触发封禁；也有人认为其临时性表明并非有意去平台化。讨论还引发了更广泛担忧：私人平台控制政治言论、审核透明度、Meta 对其他政治账号的处理以及与其他平台的对比。部分评论者称没有证据表明存在政治动机，另一些人则指出 Meta 过去的模式及其与权势利益的关系。总体而言，该帖子聚焦于问责、平台权力以及依赖大型科技公司进行政治组织化的风险。
Vacuula 是一个一体化自定义服务器，用于修复和控制损坏的 Neato 机器人吸尘器。目前支持 Gen3 机型（D3–D7）和 Gen4 机型（D800、D8–D10），但不支持 Gen1（无 Wi-Fi）或 Gen2 BotVac Connected，后者计划支持。已完成功能包括设置/状态、地图、历史运行记录、调度、设置、区域/禁行线以及 Gen4 多区域；进行中的功能包括通知、Home Assistant 实体、拖拽清洁、自定义声音、体验改进、次日调度以及 Gen2/Gen3 多区域。处于“彩虹模式”的 Gen4 机器人可通过 Discord 获得维修帮助。服务器必须在专用硬件上持续运行，可通过 Home Assistant 或 Docker Compose 安装，并提供安装器来配置机器人。默认端口为 80（Web 应用/API）、443（Gen3）和 3443（Gen4）。已在 ARM64 和 x86-64 上测试，未来可能支持 32 位平台。
Hacker News 上题为“Custom server to revive neato bots”的帖子链接到 github.com/vacuula，有 63 点和 3 条评论。讨论包括逆向工程 Neato 激光雷达，以及 Gen3 机器人目前依赖 nip.io 和端口 443 的担忧。创建者表示 Vacuula 正在移除 nip.io 依赖，并在即将发布的 1.1.0-b1 版本中覆盖固件对端口 443 的依赖。
纽约宣布游戏所有权法案，要求拥有所有权而非许可 NY announces game ownership bill requiring ownership rather than licensing
21 天前
众议员里奇·托雷斯提出《玩家权利法案》，旨在通过指示联邦贸易委员会监管游戏所有权来保护玩家。该法案将授予消费者所购游戏的实际所有权，而非可撤销许可，并要求在服务器关闭前提供离线模式。它追随宾夕法尼亚州参议员约翰·凯恩的《保护我们的游戏法案》和“停止杀死游戏”运动。引用的例子包括育碧《The Crew》停服、《NBA 2K25》两年后下架，以及《守望先锋2》取代原版。索尼辩称购买的是许可，而非持久权利。该法案还可能涉及转让权，尤其是实体副本，但细节尚不清楚。倡导者说，盗版往往在无DRM的情况下提供更好的体验。该立法标志着终结游戏行业反消费者做法的重要一步。
Hacker News上的一篇帖子讨论了纽约州一位代表提出的一项联邦法案，该法案将要求视频游戏的所有权而非许可。评论者指出该法案仅已宣布，尚未正式提出，并对其通过机会提出疑问。讨论扩展到更广泛的版权改革、更短的版权期限、DRM限制、离线游玩、游戏保存和数字转售。一些人认为合理使用、更短的版权期限或源代码托管更能保存老游戏。其他人担心仅在线游戏、独立开发者负担、执法以及可能转向SaaS模式。支持者说支持离线、无DRM游玩是可行的，消费者应真正拥有购买内容，而批评者指出许可安排可以透明，数字转售可能扰乱市场。总体情绪混杂：对消费者所有权的兴趣很强，但对可行性、法案细节和实施仍持怀疑。
PNG 文件由块组成，每个块包含长度、类型、数据和 CRC。关键块包括 IHDR（图像元数据）、IDAT（压缩图像数据）和 IEND（结束标记）。解码时，拼接所有 IDAT 数据并用 zlib 解压，得到带滤波的扫描行。每行扫描行以一个滤波字节开头；反滤波将其还原以恢复像素。交错 PNG 使用 Adam7 存储七次逐步更详细的遍历。块名称编码块是关键/辅助、公开/私有，以及是否可安全复制。示例是一个 256×256 的真彩色 RGB 图像。
Hacker News 上的帖子讨论了一篇解释 PNG 每一步解码过程的文章。用户们辩论了 PNG 块元数据：关键块与辅助块、伽马/色彩空间的默认值、背景颜色，以及 IEND 尾块为什么是使文件自定界所必需的。评论者指出，许多查看器历史上忽略了物理尺寸，回退默认值仍然可能“足够正确”。其他评论分享了个人的 PNG 解码器项目和图形文件格式资源，还建议建立一个收集格式解码指南的网站。YC 申请页脚与此无关。
退休的宾夕法尼亚大学教授因阻挡 Uber Eats 送餐机器人被捕 Retired Penn professor arrested for blocking Uber Eats robot
22 天前
78岁的宾夕法尼亚大学退休教授卡罗琳·马文因在费城市中心人行道上反复拒绝警方要求，继续阻挡 Uber Eats 送餐机器人，而被以扰乱秩序罪逮捕。自这些机器人于3月推出以来，马文一直习惯站在它们前面，抗议企业用机器人取代人类送餐员。她计划以第一修正案为由抗辩该指控，并表示将继续抗议，将其视为公民参与和公民责任。她形容公众反应分化——有些人支持，有些人担心顾客——但认为机器人对送餐员的影响也应引起担忧。她小心不阻挡人类行人。此次事件是她持续数月抗议中警方首次介入。Uber 拒绝置评。
一名退休的宾大教授因反复阻挡 Uber Eats 送餐机器人而被费城警方逮捕，称其抗议企业取代人类工人。HN 评论者争论这是否是值得逮捕的正当公民不服从，还是非法阻塞公共人行道。有人认为第一修正案不保护干扰机器人配送；也有人认为机器人不应与行人共享人行道，或应给行人让路。讨论还涉及对紧急配送的可能影响、机器人在法律上被归类为行人的问题，以及自动化、公共空间和负外部性等更广泛关切。总体而言，该帖凸显了抗议权与商业机器人占用人行道之间的紧张关系。
JDK 28 JDK 28
22 天前
本版本将是 Java SE 平台第 28 版的参考实现，由 Java Community Process 中的 JSR 403 指定。状态：主线已开放，用于错误修复、小规模增强，以及通过 JEP 流程提议和跟踪的 JEP。在 GPL 下的早期访问二进制文件可在此处获取。特性。最后更新：2026/10/15 14:44 UTC。
Hacker News 上关于 JDK 28 的讨论涉及 Java 的加速演进及其在现代生态中的地位。评论者指出 Java 在过去 10–15 年持续改进，Java 8（lambda、stream）是转折点。Java 与 Kotlin 的争论持续：Kotlin 的类型系统和简洁性对比 Java 的运行时控制（虚拟线程）与框架生态（Spring、Quarkus）。在 AI 时代，Java 的冗长性不那么重要，而其快速、可扩展的运行时、深度遥测（JFR）以及 GC 选项（ZGC，几乎无停顿）是优势。Rust 对比出现：Java 常在复杂、长期运行的服务器应用中胜出，Rust 适合嵌入式和对冷启动敏感的工作负载，如 serverless。BEAM/Elixir 爱好者称赞其可观测性。JDK 28 的主要特性包括值对象（JEP 401）、结构化并发（JEP 543）、PEM 编码（JEP 542）和简单 JSON API（JEP 540），以及通过 AOT（JEP 544）和更快 ZGC（约 100ms）的启动改进。小型 Java 程序启动不到一秒；Spring 等重型框架会拖慢启动。Java 通过 Swing/AWT（内置）和 JavaFX（独立）支持 GUI。JSON API 的严格性（不支持尾随逗号/注释）引发了关于宽松与严格解析的争论。总体而言，Java 仍然是一个强劲且持续演进的平台。
24岁的ESPN制片人妮可·诺伦在该网络拥抱体育博彩后离开，包括失败的ESPN Bet应用以及与DraftKings的合作。曾以严格界限著称的ESPN如今大力推广博彩。诺伦曾因调查性报道获得重要奖项，她说赌博成瘾摧毁了她的家庭：祖父、父亲和兄弟都受影响，她的兄弟在拉斯维加斯无家可归时去世。她曾提出审查博彩公司和成瘾的报道，但未获批准或被弱化。她担心ESPN推广博彩使博彩正常化并伤害年轻受众，将其比作其他公共卫生危机。尽管ESPN发表了关于一名学生赌博成瘾的专题报道，诺伦说该网络避免审视自身的作用。她现在正在帮助发起一项聚焦公共卫生的体育博彩与赌博成瘾倡议。
页面围绕 Hacker News 上一则 ESPN 制片人因体育博彩辞职的讨论。最高赞评论称合法化体育博彩是美国政策的重大错误，认为它伤害穷人，且因利润丰厚而难以逆转。评论者抱怨博彩广告和赔率已充斥体育广播与内容，损害了对比赛的信任，并使下注常态化。一些人争论合法化是否比监控或去工业化等其他政策错误更糟，而另一些人强调成瘾影响所有收入层级，而非仅穷人。帖子还讨论了监管可能性——存款限制、仅线下投注、广告禁令以及阻止串关——同时也有怀疑认为禁止只会把活动推向地下。多名用户将博彩与投资相比较，提及预测市场和名人代言，并批评平台针对脆弱用户。总体而言，讨论将合法化体育博彩描绘为一个利润丰厚但社会腐蚀性的行业，其广告和可及性放大成瘾并侵蚀体育文化。
Haskell 的 kind 系统以类型分类值的方式分类类型：常规类型具有 kind `Type`，而像 `Maybe` 这样的类型构造器具有 kind `Type -> Type`。高阶 kind 类型将其他类型构造器作为参数；高阶 kind 数据（HKD）利用这一点，用构造器 `f` 参数化记录的字段类型。作者将 HKD 用于 Redis 配置类型，该类型可以是部分类型（`Last`）用于合并，或完整类型（`Identity`）用于默认值，避免重复定义。通过 `DataKinds` 创建的自定义 kind 将数据声明提升到类型级别；作者定义了 `ConfigField` kind，将每个配置字段的 redis.conf 键与其 Haskell 类型配对，防止两者脱节。这些特性共同让更多信息驻留在类型系统中，减少重复并实现更安全的代码。
帖子链接到一篇关于 Haskell 类型种类系统的文章。评论者讨论了高阶种类类型及其在 Monad 等抽象中的角色。有人说 Monad 比教程暗示的更简单，并与 Functor/Applicative 相关；另一些人则认为它们增加了复杂性，尤其是 Monad transformers 和 IO。关于 Haskell 是否适合生产环境存在争论：因其思想而受赞扬，但因其生态系统缺口而受批评，而 Idris、Lean 和 Agda 等语言提供了更简洁的依赖类型。C++ 模板被比作类似但类型化程度较低的机制。另一线程澄清了术语与值以及编译时类型检查。总体而言，讨论围绕类型系统抽象、其实用性以及它们如何在语言间传播。
在 macOS 上，较新版本的 Codex Desktop 出现 Crashpad 循环：browser_crashpad_handler 反复崩溃，并写入成对的 .dmp/_sidecar 文件，pending 目录以约每秒一份报告的速度增长到约 61 GB。转储显示 FATAL mach_port_request_notification invalid capability 错误，系统日志显示 EXC_BREAKPOINT/SIGTRAP。问题似乎与 Codex 的 browser/Chromium/Crashpad 路径有关；Browser Use/IAB 可用性可能相关，但重装和配置更改未阻止增长。临时解决方法是将 Crashpad 数据库设为只读/不可变，使 pending 保持为零，但这会阻止 Codex 写入崩溃报告。
Hacker News 用户讨论了一个 Codex Desktop 的 bug，它会持续生成 Crashpad pending dumps，消耗大量磁盘空间。评论者还报告 Codex 会留下过多的日志、worktrees、构建产物、测试和临时文件，造成磁盘压力以及内存/交换空间问题。建议的缓解措施包括删除日志、使用文件系统压缩或去重、写时复制 worktrees、使用 Mole 或 DaisyDisk 等清理工具、在 Docker 或虚拟机中运行代理、禁用 swap，以及添加清理脚本。部分评论还批评了 Codex 更广泛的可靠性问题，包括对话锁定和令人困惑的模式，并将其与 Claude Code 不利地比较。该帖子还包含对 AI 工具膨胀的更广泛抱怨，以及谨慎管理代理生成产物的建议。
Chrome 和 Edge 正在移除 XSLT：哪些会失效，哪些不会 Chrome and Edge are removing XSLT: what breaks and what does not
22 天前
503 服务不可用 服务器因维护停机或容量问题暂时无法处理您的请求。请稍后再试。此外，在尝试使用 ErrorDocument 处理请求时遇到了 503 服务不可用错误。
Hacker News 讨论了 Chrome 和 Edge 移除 XSLT 的话题。评论者指出客户端模板化的替代方案，例如使用 document.currentScript 的内联 JavaScript、XML 的 CSS 样式，或基于 WebAssembly 的 XSLT 处理器，同时强调服务端 XSLT 不受影响。Firefox 也预计移除 XSLT。担忧包括破坏 RSS/Atom 订阅源以及较旧的政府或 IIS 生成的 XML+XSLT 报告，以及失去无需 JavaScript 的渲染路径。支持者称 XSLT 强大且长期存在，而批评者指出其复杂、冗长、使用稀少，以及来自旧版 XML 库的安全和维护负担。讨论还重新审视了 XHTML 与 HTML5，有人认为严格 XML 可能改善解析和工具链，也有人表示宽容的 HTML 促成了更广泛采用。总体而言，多数人认为浏览器 XSLT 是小众且未维护的，但移除仍让用户感到沮丧，因为它们曾依赖它进行简单的 XML 到 HTML 渲染。