## 博灵公司与内华达州监管干预 - 摘要
《财富》杂志的调查显示，内华达州OSHA针对埃隆·马斯克的博灵公司进行的调查中存在重大的政治干预。在博灵公司隧道内的一次训练演习中，两名消防员遭受化学烧伤，内华达州OSHA开出了超过40万美元的罚款——这是十年来的最高罚款之一。然而，在博灵公司总裁史蒂夫·戴维斯致电州长乔·伦巴多办公室后，在与高级州官员会面后，这些引用的罚款被迅速撤销。
关键的是，这次会议的记录从公共文件中删除，案件档案中还发生了其他不规范行为。现任和前OSHA工作人员声称，由于“上级”的压力，该机构的标准程序被绕过，引发了人们对强大公司不当影响的担忧。虽然官员声称这些引用缺乏法律依据，并且政策已经更新，但四位律师和前监管机构认为州长办公室的干预非常不恰当。
该事件与博灵公司持续的安全问题相吻合，包括最近的工人受伤和“狂野西部”式的安全文化。员工报告称持续暴露于有害化学物质中，并担心因提出问题而受到报复，这表明存在一种优先考虑速度而非安全的模式。此案例凸显了当监管监督因政治压力而受到损害时可能存在的风险，尤其是在马斯克的公司扩大在内华达州的业务时。
每日HackerNews RSS
## libwifi：简明总结 libwifi 是一个快速且简单的 C 库，专为在 Linux 和 macOS 上轻松操作 802.11 无线帧而设计。它提供用于**解析**现有帧和**生成**新帧的功能，优先考虑简洁的代码、跨架构支持和强大的错误检查。 **解析**通常涉及捕获原始数据包数据（例如使用 libpcap），然后使用 `libwifi_get_wifi_frame` 验证和分类帧。特定的解析器，例如 `libwifi_parse_beacon`，然后将详细信息提取到专用结构体中（例如，信标帧的 `libwifi_bss`），从而可以访问 SSID 和信道等数据。 **生成**通过向 `libwifi_create_beacon` 等函数提供必要的数据来简化。然后，库会计算所需的缓冲区大小，并允许将帧转储为原始字节格式，适合于传输或保存到文件。 要使用 libwifi，请记住链接 `-lwifi` 并确保已安装共享库。源代码中提供了示例，用于实际实现。
## libwifi：802.11 帧解析库 - Hacker News 讨论
一个新的 C 库，**libwifi**，用于解析和生成 802.11（Wi-Fi）帧，已发布在 Hacker News 上。虽然该项目看起来很有希望，但讨论很快转向了它的开发状态。上次发布和提交是在 2023 年，这引发了对其完成度的质疑，尽管作者表示它已经满足了自己的需求。
用户指出项目网站上列出的计划功能尚未完成，并且存在未关闭的错误报告。一些人建议在处理更新的标准之前，专注于完成核心功能并遵守现有标准。
其他讨论点包括该库的潜在用途（模糊测试）、代码效率（特别是零拷贝解析）以及对项目域名（.so TLD）的担忧。一位评论员还强调了谷歌的 Fuchsia 项目，并将其基于 Rust 的网络堆栈作为一种潜在的有趣替代方案。
流行的建议“优先使用组合而非继承”源于“四人帮”的《设计模式》一书，提倡一种“黑盒”复用方法，即通过接口组合对象，而不是通过继承暴露实现细节的“白盒”方式。这种区别在Smalltalk等语言中尤其重要，但现代语言提供了更多对可见性的控制，模糊了界限。 核心论点在于灵活性：继承是静态的且由语言支持，最初容易实现但难以更改；组合是手动实现的，需要更多努力，但允许在运行时通过交换对象赋值进行修改。 此外，芭芭拉·利斯科夫关于类型子类型的研究表明，组合使设计者摆脱了严格的接口兼容性限制，尤其是在关系并非自然层次化时。然而，作者指出这个格言是不完整的——它忽略了其他替代方案，例如将过程/函数作为一等类型使用（如lambda），这可以提供与组合类似的优势，并且可能在设计环境中更可取。最终，最佳方法取决于在设计过程中识别关系的时间以及编程语言提供的工具。
## 倾向于组合而非继承：Hacker News 总结
一场 Hacker News 的讨论探讨了开发者们*何时*开始在软件设计中优先考虑组合而非继承。 大家的共识是，人们越来越认识到深度继承层次结构中固有的问题——即复杂性增加、紧密耦合以及由于变化的级联效应导致代码难以维护。
一些评论员指出，像 Python 这样的语言，其中一切都可以被覆盖，会加剧这些问题，而另一些人则指出 C++ 的 `virtual` 关键字提供了更多的控制。 讨论涉及芭芭拉·利斯科夫与 CLU 的工作，该工作有意避免了继承，以及抽象数据类型的重要性。
许多人同意，组合，通常被描述为“具有-a”与继承的“是-a”相对比，可以促进更模块化和可维护的代码。 然而，一些人警告不要教条地坚持任何一种方法，而是提倡根据特定项目需求做出务实的选择。 讨论还涉及现代工具和像 Rust 和 Go 这样的语言的作用，它们为传统的继承提供了替代方案。 最终，该讨论强调了理解权衡并优先考虑代码清晰度和适应性的重要性。
苹果公司正在加速首席执行官继任计划，据《金融时报》最近报道，蒂姆·库克的最终继任者已成为董事会和高级领导层的重点。虽然尚未做出最终决定，但目前硬件工程高级副总裁约翰·特纳斯被认为是领跑者。
这种加强的计划与当前业绩无关——苹果预计iPhone销量强劲——而是主动的、长期的过渡。预计在1月下旬的财报发布之前不会有任何公告。
这一转变伴随着其他关键领导层的变动：前首席运营官杰夫·威廉姆斯在移交职责后退休，新的首席财务官凯文·帕雷克接替卢卡·梅斯特里。这些过渡表明苹果公司正在积极为超越现有高管的未来做准备，以确保到时候顺利交接。
准备去做某事，和真正去做某事不是一回事。安排时间去做某事，和真正去做某事不是一回事。为某事列出待办事项清单，和真正去做某事不是一回事。告诉别人你要去做某事，和真正去做某事不是一回事。给可能或可能没有在做某事的朋友发消息，和真正去做某事不是一回事。写一条关于你要去做某事的精彩推文，和真正去做某事不是一回事。因为没有去做某事而责怪自己，和真正去做某事不是一回事。 责怪已经做过某事的人，和真正去做某事不是一回事。 责怪阻碍你去做某事的事情，和真正去做某事不是一回事。 幻想一旦你做了某事会得到的所有赞美，和真正去做某事不是一回事。阅读如何去做某事，和真正去做某事不是一回事。阅读其他人如何做某事，和真正去做某事不是一回事。阅读这篇文章，和真正去做某事不是一回事。 唯一能做某事的方法，就是去做某事。
## 黑客新闻讨论：“没有在做事情的事情”
一篇来自strangeloop.io的文章引发了黑客新闻的讨论，核心观点是准备和计划常常被误认为是真正“在做事情”。主要论点是，过度关注目标*周围*的任务——例如研究、待办事项列表或会议——可能会变成拖延症，阻止实际进展。
许多评论者表示同意，提到了“Pressfield的《艺术战争》”等概念，以及仅仅*开始*的重要性。然而，也有人反驳说，仔细的准备至关重要，尤其是在复杂的任务中，并且定义“事情本身”也可以是做事情的一部分。
这场辩论突出了个人工作方式以及计划与行动之间的平衡。一些人认为过度思考会导致瘫痪，而另一些人则强调彻底性的价值。一个反复出现的主题是认识到准备何时变成逃避，以及克服对不完美执行的恐惧的必要性。最终，这场讨论强调了“在做事情”的主观性，以及在识别非生产性模式中自我意识的重要性。
Show HN: Unflip – 一个关于正方形XOR图案的益智游戏
Show HN: Unflip – a puzzle game about XOR patterns of squares
11 天前
下一步 > 我会创建更多关卡，包括每周挑战关卡。加入我们的Discord以获取最新信息。获取更新和每周谜题。继续游戏
## AMD 在 2025 年第三季度尽管市场停滞，仍对英特尔取得进展
根据 Mercury Research 的数据，AMD 在 2025 年第三季度继续扩大了所有 x86 处理器领域的市场份额，代价是英特尔的市场份额下降。尽管英特尔最新的产品更具竞争力，减缓了 AMD 的增长速度，但仍取得了一些关键里程碑：AMD 现在占据了所有 x86 CPU 出货量的 25% 以上，以及桌面 x86 CPU 市场的 33% 以上。
值得注意的是，整体 x86 CPU 出货量环比异常停滞，违背了典型的季节性增长。这主要是由于英特尔在物联网/SoC 和入门级移动处理器出货量方面出现下降，因为它优先考虑服务器生产。
AMD 在桌面市场取得了特别的成功，其 Ryzen 9000 系列产品推动了创纪录的收入。随着英特尔面临供应限制，移动 CPU 也取得了进展。在服务器市场，AMD 的份额略有上升，这得益于对其 EPYC 处理器需求以及转向更高价格的型号。
尽管英特尔仍然是整体市场领导者，但 AMD 的收入增长明显快于其销量增长，这表明其在利润最高的领域中的地位正在加强。这一趋势表明市场平衡正在继续逐步向 AMD 转变。
## AMD 在英特尔面前取得进展
AMD 持续增加其在 x86 CPU 领域的市场份额，引发了关于其工程支持能力的讨论，尤其是在笔记本电脑方面。 过去，一些人认为笔记本电脑制造商严重依赖英特尔在 PCB 布局和散热管理方面的工程协助，这是 AMD 最初无法比拟的支持水平，AMD 主要专注于 ATX 主板和游戏主机。 然而，最近的评论表明 AMD 在这方面有所改进。
对话还涉及 AMD 在游戏主机市场的成功，为大多数当前游戏主机提供 CPU 和 GPU。 用户们争论 CPU 选择方法，一些人提倡基准测试，而另一些人则优先考虑性价比。 人们对基准测试的可靠性以及苹果集成硬件/软件生态系统的吸引力表示担忧。
许多评论员强调 AMD 的芯片let架构是一项关键创新，允许其在各种市场中实现可扩展性。 虽然 AMD 在高性能领域表现出色，但在目前由英特尔 N 系列处理器主导的低端市场仍然存在差距。 讨论还提到了英特尔在视频编码和更低的空闲功耗方面的优势。 最终，AMD 的增长归功于强大的工程技术和对多样化市场的战略关注，从而挑战了英特尔长期以来的主导地位。
## 使用 Morphlex 进行 DOM 变形：摘要
传统的网页更新方法（例如使用 Phlex 后端渲染 HTML）——页面重载或 JavaScript 替换 `outerHTML` —— 会丢失宝贵的客户端状态（焦点、滚动位置等）。DOM 变形旨在通过智能更新现有 DOM 而不是重建它来解决这个问题。
核心挑战是 *节点身份*：确定旧 DOM 中的一个节点是否对应于新 DOM 中的一个节点。像 Idiomorph 这样的库使用 ID 集合来帮助识别，但在缺少 ID 时会退回到效率较低的标签名匹配，导致级联更新。
**Morphlex 1.0** 提供了一种新的方法。它采用多阶段匹配算法，优先考虑精确匹配、ID、ID 集合、属性，最后是标签名。至关重要的是，它计算最长递增子序列以优化插入、删除和排序，从而最大限度地减少不必要的变形。
Morphlex 优先考虑保持状态，甚至可以通过可配置选项处理修改后的表单输入。虽然直接的性能比较很复杂，但它被设计为高效的，能够处理整个文档的变形。它以 MIT 许可证发布并可供使用。
## Morphlex：更高效的DOM转换总结
开发者joeldrapper推出了一个新的DOM转换算法“Morphlex”（可在drapper.me获取），寻求反馈以改进现有方案。讨论的重点在于DOM转换与完整重新渲染或React等客户端框架的使用场景。
虽然React很受欢迎，但一些开发者更喜欢服务器端渲染和DOM更新，以提高性能和简化开发，尤其是在Phoenix LiveView、Ruby on Rails的Hotwire Turbo和HTMX等技术中。Morphlex旨在优化“提交阶段”——将元素附加到DOM的过程，这通常比初始渲染更慢。
对话强调了诸如保持DOM状态（表单输入值、焦点等）以及可能比完整重新渲染更快更新等优点。一个演示，展示了每帧更新12k个divs（checkboxes.andersmurphy.com）。一个用于测试Morphlex的游乐场也可用（dm.rt.ht），初步基准测试表明它优于diffHTML。然而，关于模板身份和选择性更新是否在许多情况下可能是一种更有效的方法，仍然存在争论。
启用 JavaScript 和 Cookie 以继续。
## 咖啡与心房颤动：摘要
一项最新研究（DECAF试验）调查了持续摄入与减少咖啡因对心房颤动（房颤）复发的*电复律后*影响（电复律是一种恢复正常心律的程序）。令人惊讶的是，研究发现，习惯喝咖啡的人如果被建议每天至少喝一杯咖啡，**房颤复发率（47%）**低于被建议戒咖啡的人（64%）。
然而，该研究侧重于*已经*经历过房颤并接受过电复律的患者，并且仅适用于那些没有因咖啡因引发发作的患者。参与者不一定是重度咖啡饮用者——过去五年内喝过咖啡即可。
Hacker News评论区的讨论强调了不同咖啡制备方式中咖啡因含量的差异，以及咖啡中的其他化合物（除了咖啡因）或生活方式因素（如水分补充和饮食）的潜在作用。许多评论者分享了他们关于咖啡因和房颤的个人经历，并注意到了个体反应以及酒精的影响。
## 阿基米德：用于硬件工程的 Python 工具包
阿基米德是一个新的开源 Python 框架，旨在弥合快速算法开发与控制系统可靠硬件部署之间的差距——效仿 PyTorch 在机器学习领域的成功。认识到现实世界的工程既需要创造性的“黑客”精神，也需要严谨的工作流程，阿基米德使工程师能够利用 Python (NumPy, SciPy) 的生产力，同时为嵌入式系统生成优化的 C 代码。
其核心创新是自动 C 代码生成，允许用户在 Python 中开发和分析算法，并无缝地将其部署到硬件上。这消除了手动翻译成 C/C++ 或依赖于昂贵、被厂商锁定的生态系统的需要。其特性包括编译成高效的 C++ 计算图、自动微分以及对镜像物理系统的结构化数据类型的支持。
目前处于“公开测试版”，阿基米德提供模拟、优化和求根工具，并持续开发混合模拟、改进的硬件支持以及扩展的物理建模能力。该项目欢迎社区通过 GitHub 提供反馈和贡献。
## Hacker News 上关于阿基米德工具包的讨论
一个名为阿基米德的新 Python 工具包，旨在用于硬件工程（特别是控制系统），在 Hacker News 上引发了讨论。用户指出该工具包通过 Casadi 生成 C 代码，使其适用于嵌入式系统。
虽然该名称最初让一些人期望支持 Arm 架构的硬件，但其重点是为模拟和卡尔曼滤波等任务提供 MATLAB 和 Simulink 等工具的开源替代方案。 许多评论者表达了对 MATLAB 的不满，并欢迎这个新选择。
讨论还涉及到一个易于使用的界面（如 Simulink 的拖放 UI）以真正竞争的需求，并提到了 Julia/Modelica 和 Pathsim 等相关项目。 有人指出，在关键应用中，在微控制器上运行纯 Python 存在局限性，但该工具包可以使 M5Stack 等平台的用户受益。