PNG 文件由块组成，每个块包含长度、类型、数据和 CRC。关键块包括 IHDR（图像元数据）、IDAT（压缩图像数据）和 IEND（结束标记）。解码时，拼接所有 IDAT 数据并用 zlib 解压，得到带滤波的扫描行。每行扫描行以一个滤波字节开头；反滤波将其还原以恢复像素。交错 PNG 使用 Adam7 存储七次逐步更详细的遍历。块名称编码块是关键/辅助、公开/私有，以及是否可安全复制。示例是一个 256×256 的真彩色 RGB 图像。
每日HackerNews RSS
Hacker News 上的帖子讨论了一篇解释 PNG 每一步解码过程的文章。用户们辩论了 PNG 块元数据：关键块与辅助块、伽马/色彩空间的默认值、背景颜色，以及 IEND 尾块为什么是使文件自定界所必需的。评论者指出，许多查看器历史上忽略了物理尺寸，回退默认值仍然可能“足够正确”。其他评论分享了个人的 PNG 解码器项目和图形文件格式资源，还建议建立一个收集格式解码指南的网站。YC 申请页脚与此无关。
78岁的宾夕法尼亚大学退休教授卡罗琳·马文因在费城市中心人行道上反复拒绝警方要求，继续阻挡 Uber Eats 送餐机器人，而被以扰乱秩序罪逮捕。自这些机器人于3月推出以来，马文一直习惯站在它们前面，抗议企业用机器人取代人类送餐员。她计划以第一修正案为由抗辩该指控，并表示将继续抗议，将其视为公民参与和公民责任。她形容公众反应分化——有些人支持，有些人担心顾客——但认为机器人对送餐员的影响也应引起担忧。她小心不阻挡人类行人。此次事件是她持续数月抗议中警方首次介入。Uber 拒绝置评。
一名退休的宾大教授因反复阻挡 Uber Eats 送餐机器人而被费城警方逮捕，称其抗议企业取代人类工人。HN 评论者争论这是否是值得逮捕的正当公民不服从，还是非法阻塞公共人行道。有人认为第一修正案不保护干扰机器人配送；也有人认为机器人不应与行人共享人行道，或应给行人让路。讨论还涉及对紧急配送的可能影响、机器人在法律上被归类为行人的问题，以及自动化、公共空间和负外部性等更广泛关切。总体而言，该帖凸显了抗议权与商业机器人占用人行道之间的紧张关系。
JDK 28 JDK 28
2 天前
本版本将是 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
2 天前
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 渲染。
2024年8月，树莓派的RP2350引入了Secure Boot，并在DEFCON上受到挑战。作者构建了低成本的定制激光故障注入平台，以攻击准备好的Pico 2目标。RP2350裸片从背面暴露，使用导电环氧树脂修复接地，并安装在定制载板/I/O板上。红外激光脉冲在不触发毛刺检测器的情况下瞄准敏感裸片区域。通过在Secure Boot的固件哈希计算过程中定时一个脉冲，单个故障使SHA-256处理来自外部QSPI闪存的攻击者控制数据，而非RAM加载的固件，从而绕过ECDSA验证。该设置使用双闪存切换和FPGA监测的QSPI时序。调优后，该绕过允许执行任意固件并恢复受保护的OTP秘密。作者向树莓派披露了发现，树莓派确认了绕过并计划加固Boot ROM。
Hacker News 上的一个帖子讨论了针对 RP2350 的低成本激光故障注入装置。评论者解释，该技术可以在安全检查或内存清除时干扰芯片，从而提取密钥并逆向工程受保护设备，从军事硬件到个人设备皆可。其他人指出实际的消费者影响，如银行应用强制 SafetyNet 式证明，促使部分用户偏好网页界面。技术回复提到加固防御（掩码值、随机延迟、计数器）、硬件改进（GaN HEMT 驱动器）以及低成本精密运动平台如 OpenFlexure。帖子还链接了先前的讨论和 CCC 演讲。总体而言，该帖突出了激光故障注入的可及性与安全影响，以及社区对 DIY 硬件精密加工的兴趣。
卡耐基梅隆大学与微软推出了PRAISE项目，旨在培训微软初级软件工程师进行AI加速软件工程。参与者参加在线CMU计算机科学课程，同时接受微软资深工程师的指导，并将所学技能应用于日常工作。该计划是在微软Azure CTO Mark Russinovich指出AI工具对资深工程师有利但初级工程师需要更多支持之后启动的。课程包括生产环境中的机器学习与AI增强软件工程，未来还将开设DevOps与安全部署课程。证书可计入CMU软件工程硕士学位。领导者表示，该合作将学术专业知识与行业实践相结合，帮助初级工程师培养使用AI的判断力，并希望其成为其他公司的典范。
微软与卡内基梅隆大学启动了一个培训早期职业软件工程师的项目。HN评论者对此持怀疑态度，指出入门级岗位稀少，并认为这可能只是公关，或是培养更便宜、可替代开发者的模式。其他人认为，AI可能会减少对初级工程师的需求，同时增加对监督AI的高级工程师的需求，从而可能打破从初级到高级的人才培养路径。还有一些人担心AI时代的教育正在削弱基础能力。帖子还讨论了AI是否会在几年内完全自动化软件开发；怀疑者将这类说法比作被过度承诺的自动驾驶时间表，而其他人表示手写代码正在变得过时，但阅读、评估和指导代码仍然必不可少。总体而言，讨论反映了对AI对软件工作、教育，以及此类项目能否维持开发者人才管道影响的不确定性。
作者在经历漫长且需大量文件的归化流程后成为日本公民。在2012年和2018年放弃尝试后，他于2024年再次申请，并于2025年提交了包含个人、家庭、财务、税务、就业和旅行记录的大量材料。流程因海外旅行和官僚后续手续而拖延，他觉得部分个案工作人员的处理令人沮丧。最终，他的归化申请获批准并刊登于官报。他保留了原名，现以片假名记录，并被加入妻子的户籍。尽管流程不透明且要求苛刻，他认为这适度严肃，并为自己加入了所爱的日本而感到高兴。
Hacker News 上的一篇帖子链接到一篇关于美国人成为日本公民的博客文章。作者描述了要求苛刻的归化流程——大量文件、面试、语言要求，以及最终放弃原有国籍——但最终认为它恰当地严肃。评论者们辩论日本的无双重国籍政策、放弃国籍如何运作、永久居留权是否应先于归化，以及严格的移民规则如何影响人口结构。一些人认为日本的壁垒保护了文化但加剧了人口下降；另一些人说移民可以在文化适应的同时维持社会。额外的讨论包括西方对日本的迷恋、官僚障碍、身份认同，以及这类流程是否公平或具有排斥性。总体而言，该帖子将个人移民经历与关于公民身份、归属感、民族主义和日本未来的更广泛问题混在一起。