Haskell 的 kind 系统以类型分类值的方式分类类型：常规类型具有 kind `Type`，而像 `Maybe` 这样的类型构造器具有 kind `Type -> Type`。高阶 kind 类型将其他类型构造器作为参数；高阶 kind 数据（HKD）利用这一点，用构造器 `f` 参数化记录的字段类型。作者将 HKD 用于 Redis 配置类型，该类型可以是部分类型（`Last`）用于合并，或完整类型（`Identity`）用于默认值，避免重复定义。通过 `DataKinds` 创建的自定义 kind 将数据声明提升到类型级别；作者定义了 `ConfigField` kind，将每个配置字段的 redis.conf 键与其 Haskell 类型配对，防止两者脱节。这些特性共同让更多信息驻留在类型系统中，减少重复并实现更安全的代码。
每日HackerNews RSS
一篇 Hacker News 帖子链接到一篇关于 Haskell 种类系统（kind system）的文章。评论者讨论种类级别的抽象如何帮助解释 monad，称赞 Haskell 的理念进入主流语言，并分享一个探索不寻常特性的个人 Haskell 编译器项目。该帖子有 6 个积分和 3 条评论；页面还包含标准的 Hacker News 导航和一条 Y Combinator 申请广告。
在 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 消耗过多磁盘空间。原帖作者说，Codex 创建了数千张截图和验证测试，但没有清理，吃掉了 Windows 虚拟机 90GB 和 Mac 330GB，并称 Claude Code 或 Antigravity 不会这样。评论者分享类似经历：一个做 3D 世界的用户看到数千个截图产物；另一个指出 Rust 构建众所周知很大，建议共享构建缓存；还有人说 Claude 最近留下了多 GB 的 jj 工作区，不得不通过 agents.md 指示它避免这样做。原帖作者质疑，尽管 OpenAI 吹嘘超级智能，却为何无法修复这个 bug，并链接了一个 GitHub issue；一个回复开玩笑说，他们需要一位真正的数学家来验证声称的证明。总体来说，这个帖子突出了 AI 编码工具生成并保留大量不必要的构建/测试产物，用户敦促更好地清理和问题分流。
Chrome 和 Edge 正在移除 XSLT：哪些会失效，哪些不会 Chrome and Edge are removing XSLT: what breaks and what does not
7 小时前
503 服务不可用 服务器因维护停机或容量问题暂时无法处理您的请求。请稍后再试。此外，在尝试使用 ErrorDocument 处理请求时遇到了 503 服务不可用错误。
一个 Hacker News 帖子讨论了一篇关于 Chrome 和 Edge 移除 XSLT 及其可能破坏内容的文章。该文章站点似乎不可用，返回 503 错误。评论回顾了 XSLT 的历史，包括其在 XHTML 时代组件模块化方面的潜力，以及 HTML5 之后的衰落。一些用户批评 XSLT 1.0 规范，而另一些人则哀叹从基于 XML 的 Web 标准转向 HTML5/JavaScript/CSS 技术栈。评论者还提到了 JavaScript 客户端模板替代方案、关于移除 XSLT 的 GitHub 讨论，以及名为 SWET 的模板提案。一名评论者指出 Edge 实际上就是 Chrome。
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 进行低成本激光故障注入的文章。评论讨论了实际用途，例如注入故障使安全检查失败、绕过防护、提取密钥以及逆向工程设备，包括一个 Android SafetyNet 示例。其他人提到诸如掩码值、随机延时和计数器等防御措施；提到功耗分析和 GaN HEMT 驱动器的想法；并表示对 3D 打印定位平台感兴趣。一位评论者指向了之前的讨论。总体而言，该讨论串强调，低成本激光故障注入可以攻击防护不足的芯片，而稳健的设计可以抵抗它。
卡耐基梅隆大学与微软推出了PRAISE项目，旨在培训微软初级软件工程师进行AI加速软件工程。参与者参加在线CMU计算机科学课程，同时接受微软资深工程师的指导，并将所学技能应用于日常工作。该计划是在微软Azure CTO Mark Russinovich指出AI工具对资深工程师有利但初级工程师需要更多支持之后启动的。课程包括生产环境中的机器学习与AI增强软件工程，未来还将开设DevOps与安全部署课程。证书可计入CMU软件工程硕士学位。领导者表示，该合作将学术专业知识与行业实践相结合，帮助初级工程师培养使用AI的判断力，并希望其成为其他公司的典范。
微软与卡内基梅隆大学合作培训职业生涯早期的软件工程师。Hacker News 评论者普遍表示怀疑，认为该举措是公关，或在裁员背景下用内部人员填补岗位。该帖引发了关于 AI 对软件开发职业影响的辩论。一些人认为，取消初级岗位会威胁到培养经验丰富的高级工程师的渠道，而这些高级工程师仍需要监督和验证 AI 输出。另一些人则认为，手写代码正在变得过时，未来岗位将转向产品工程、架构和代码审查。评论者还讨论了杰文斯悖论——更便宜的软件可能增加需求和就业——以及 AI 进展是否会进入平台期。多人指出，尽管模型进步迅速，基础仍然相关，而阅读和评估代码仍需要实践经验。总体而言，讨论反映了 AI 是否会在数年内完全自动化开发，或只是重塑开发者所需技能的不确定性。
作者在经历漫长且需大量文件的归化流程后成为日本公民。在2012年和2018年放弃尝试后，他于2024年再次申请，并于2025年提交了包含个人、家庭、财务、税务、就业和旅行记录的大量材料。流程因海外旅行和官僚后续手续而拖延，他觉得部分个案工作人员的处理令人沮丧。最终，他的归化申请获批准并刊登于官报。他保留了原名，现以片假名记录，并被加入妻子的户籍。尽管流程不透明且要求苛刻，他认为这适度严肃，并为自己加入了所爱的日本而感到高兴。
Hacker News 用户讨论一篇关于在日本归化的帖子。评论者辩论日本的居留与公民身份要求，包括是否应先获得永久居留再归化，以及日本不承认双重国籍的问题。他们还指出大量文件要求，如地址历史和放弃原国籍证明，以及可能的无国籍风险。一些人比较英国、美国和澳大利亚的移民官僚程序。其他人提到日本规则最近变得更严格，使归化更难。帖子还包含关于该话题是否属于 Hacker News 的争论，辩护者引用其智识好奇心。总体而言，讨论强调了成为日本公民所涉及的复杂性、 paperwork 和不断变化的门槛。
curl "https://api.thingstodoapi.com/v1/search?q=comedy+in+san+francisco+this+weekend" { "标题": "变装喜剧", "类别": "艺术", "开始时间": "2026-10-19T02:00:00.000Z", "本地": { "日期": "2026-10-18", "时间": "晚上7:00" }, "场地": { "名称": "Cobb's Comedy Club", "城市": "旧金山" }, "链接": { "来源": "https://www.ticketmaster.com/dragup-comedy-san-francisco-california-10-18-2026/event/1C0064D823FC0B87", "门票": "https://ticketmaster.evyy.net/c/253185/264167/4272?SharedId=DoStuff&u=https%3A%2F%2Fwww.ticketmaster.com%2Fdragup-comedy-san-francisco-california-10-18-2026%2Fevent%2F1C0064D823FC0B87" } }
Show HN 介绍了 Things to Do API，这是一个用于本地活动（如快闪店、一次性活动和音乐会）的 API/MCP，目前覆盖旧金山湾区。创建者在为个性化和推荐应用寻找集中化活动数据时遇到困难后构建了它；目标是提供比按需抓取或代理网页搜索更快的数据。其方法识别有影响力的发布者，并通过共同发布活动进行扩展。提供 MCP 端点。创建者正在考虑扩展到其他城市，并征求对有用性和期望覆盖范围的反馈。评论者称赞速度和活动质量，指出维护挑战，还有一位用户正在构建类似的低成本公共服务替代方案。
请启用 JavaScript 和 Cookie 以继续
Hacker News
新帖 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
意式咖啡机可以运行《毁灭战士》
（gamespot.com）
12 分，speckx 发布于 2 小时前 | 隐藏 | 过去 | 收藏 | 3 条评论
帮助
timhh 发布于 33 分钟前 | 下一条 [–]
《毁灭战士》太老了，你真得费尽心思才能找到无法运行它的 MCU。
回复
buran77 发布于 17 分钟前 | 父评论 | 下一条 [–]
到这个程度，“能运行《毁灭战士》”已经成了一种梗，而且它正在失去热度。
回复
reaperducer 发布于 2 分钟前 | 上一条 [–]
想象在由意式咖啡机构成的 Beowulf 集群里藏一台秘密电脑。
回复
考虑申请 YC 2027 冬季批次！申请截止到 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
作者最初对 Kubernetes 持怀疑态度，随后总结其核心概念。Kubernetes 运行打包的工作负载，处理放置、扩展、自愈和服务发现。其主要价值来自控制循环（控制器持续协调期望状态）和 Services（稳定 IP/DNS，通过每节点 kube-proxy 进行负载均衡）。工作负载从手动创建的 Pod 发展到用于副本维护的 ReplicaSet，以及用于滚动更新的 Deployment。存储从短暂的 Pod 卷扩展到持久卷，以及具有稳定名称和有序生命周期的 StatefulSet。作者认为 Services 和控制器尤其可靠，但质疑集群可能永远无法稳定、缺乏内置自定义指标自动扩缩、网络/存储的树外方案与内置云提供商支持的关系，以及过度依赖 Helm 等字符串/YAML 模板工具。
Hacker News 的一个帖子讨论了某位怀疑者初次使用 Kubernetes 的体验。评论者围绕 Kubernetes 对 YAML 的重度依赖、Helm 字符串插值以及分层配置流水线展开争论，认为基础设施工具往往缺少主流软件中的类型与安全性。有人推荐替代或补充方案：Kustomize、JSON、保持简单的 Helm、jsonnet、Pkl/KCL、Dhall、Cue、Tanka、Pulumi、Crossplane 或 SDK。还有人指出 Kubernetes 支持 HPA 自定义指标，KEDA 是节点层面的等效方案。讨论还涉及基础设施与应用软件的区别：基础设施需要管理许多外部系统，因此常默认使用最低公分母文本格式。总体而言，Kubernetes 被视为强大的协调引擎，但其配置生态复杂且易出错，通常更适合用更简单或类型化的工具管理。
AI 编码代理提高了开发速度，但高 AI 采用率与更多 bug、更长的 PR 审查时间以及更多事故相关。自动化软件验证被提出作为解决方案。方法范围从有纪律的代理式工作流（如 Superpowers）和通过 RoboRev 进行的本地持续审查，到 Claude、Codex、Copilot 和 Cursor Bugbot 的托管式 AI PR 审查器。一个全面的流水线增加了确定性检查——linting、类型检查、构建、测试、SAST、密钥和依赖扫描——加上代理式审查、基础设施与迁移检查，以及架构评估，覆盖 pre-commit、push、PR、预生产和生产阶段。大型科技公司的 AI 软件工厂自动化了大量实现工作，而人类仍然是守门人。作者的工作流结合了 spec 迭代、计划性实现、模型交叉审查、分层测试、人工审查和有针对性的手动检查。核心信息是：随着 AI 使代码生成变得廉价，验证必须成为软件工程的核心，人类对最终决策负责，尤其是在高风险变更上。
Hacker News 上关于“AI 能写代码，谁来验证它？”的帖子讨论了如何验证 AI 生成的代码。建议包括生成时的防护措施、将 AI 输出与编译器输出进行比较，以及传统 QA 支持。一位评论者提出“智能体测试”以捕捉模糊的系统意图，并使用指标和日志进行“智能体部署验证”。其他人强调 CI/CD 只有在测试和理解足够好的情况下才有价值，警告 AI 可能只是让测试通过。有些人报告跳过人工审查，或让模型自动开单并修复问题。最后一条评论开玩笑说 AI 可以编写、审查、设计、产品化、宣传并消费软件。总体而言，讨论凸显了验证仍是一个开放挑战，并在自动化与人工监督之间存在分歧。