启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
这个Hacker News讨论围绕解决Project Euler问题45，该问题要求找到第一个三角形数、五边形数和六边形数。 几位用户分享了他们的解决方法和性能结果。
一位用户用Python实现了一个解决方案，检查数字是否满足与三角形数、五边形数和六边形数公式相关的完全平方数的条件。 另一位用户利用Haskell的惰性列表方法，合并三角形数、五边形数和六边形数的列表并进行比较——在几秒钟内获得结果。
与Haskell解决方案相同的算法的Rust实现速度明显更快，在M1 Pro上不到3秒钟就找到了相同的数字。 Haskell的进一步优化，切换到机器整数，将性能从旧处理器上的6分钟提高到35秒。 讨论还涉及Rust的具体细节，例如`wrapping_sub()`以及某些浏览器中的调试显示问题。
## LibrePods：释放 AirPods 的全部潜力
LibrePods 是一款免费开源应用程序，它将苹果 AirPods 的专属功能带到非苹果设备，主要是在 Linux 和 Android（需要 root 权限和 Xposed 框架）上。它允许用户访问诸如可定制的降噪控制、佩戴检测、准确的电池状态，甚至头部手势控制等功能——这些功能通常仅限于苹果生态系统。
目前完全支持 AirPods Pro（第 2 代和第 3 代），其他型号提供基本功能，LibrePods 提供诸如对话感知、定制通透模式和多设备连接等高级选项。用户还可以重命名他们的 AirPods 并自定义长按操作。
通过启用“充当 Apple 设备”模式，可以使用包括通过听力图输入进行助听器定制在内的先进功能。虽然仍在开发中，但核心功能已经稳定。Android 用户需要一台安装了 Xposed 的 root 设备，因为 Android 蓝牙协议栈存在限制。
请在项目的 README 中查找安装说明和完整的特性列表。
## IDEmacs：连接Emacs的桥梁
IDEmacs是一个Emacs配置，旨在提供类似IDE的熟悉体验，特别是对于从VSCode等图形化编辑器过渡或刚开始编程的用户。它面向程序员、初学者Lisp/Scheme开发者，甚至寻求用于Org、Markdown或LaTeX等强大编辑器的用户。
该项目承认Emacs的优势（尤其是在Lisp/Scheme方面与Sly/Geiser配合使用），但也解决了其陡峭的学习曲线。它优先考虑对流行的IDE习惯的“足够好”的模仿——包括按键绑定（目前专注于VSCode模拟）、鼠标支持以及免配置的设置——而不是完美复制。
目前，提供了一个VSCode配置，具有深色主题、文件浏览器（Treemacs）、标签管理以及用于编辑、版本控制和代码补全的综合软件包。虽然仍在开发中（存在“FIXME”区域），IDEmacs旨在降低Emacs的入门门槛，鼓励新用户探索其全部潜力。该项目欢迎用户反馈和开发者贡献，以进一步完善体验。
## 意外的古董电脑零件关税 作者最近在从欧盟卖家进口古董电脑零件时，遭遇了意外的高额美国海关关税——几乎是物品本身价格的两倍。尽管提供了准确的协调制度编码，UPS 最初评估了 711 美元的关税，而订单金额仅为 355 美元，理由是钢铝的 232 条关税。 经过令人沮丧的反复沟通，包括多次电话、电子邮件以及对 7501 表格的争议，UPS 更正了评估结果，并将费用归因于对欧盟商品的 15% 关税。虽然退款正在处理中（预计 2-6 周），但作者批评 UPS 最初的错误以及延迟通知高额费用，这给进口商带来了困境。 这次经历凸显了即使是“全新旧货”零件进口的复杂性，作者建议任何遇到类似问题的人*先支付关税，然后再提出申诉*，以避免仓储费或退货，并指出这不一定是政策反映，而是评估错误。
`fastknn` 包提供了一个名为 `knnExtract` 的函数，用于使用 K 最近邻进行特征提取。该技术基于数据点与其*k*个最近邻（*在每个类别内*）之间的距离生成新特征。具体来说，它计算每个类别到第 1、第 2、第 3…第 *k* 个最近邻的距离，从而产生 *k* * *c* 个新特征（其中 *c* 是类别的数量）。
为了防止过拟合，训练特征是使用交叉验证生成的。该过程还可以通过 `nthread` 参数进行并行化。这种方法受到 Kaggle Otto Group 产品分类挑战赛获胜方案的启发，有效地将非线性数据映射到线性空间，从而提高可分性。
通过 Ionosphere、chess 和 spirals 数据集进行演示，使用 KNN 提取的特征可以显著提高模型准确性（例如，在 Ionosphere 数据上使用 GLM 时，从 83.81% 提高到 95.24%），与仅使用原始特征相比，尤其是在具有复杂关系的数据集上。`knnDecision` 函数可视化了 KNN 特征如何创建更清晰的决策边界。
一个 Hacker News 的讨论围绕着一篇关于使用 K 最近邻 (KNN) 进行特征提取的最新文章展开。一个关键点是与 Leland McInness 关于降维的研究相关联，该研究将方法分为矩阵分解或基于 KNN 的方法。
几位评论员指出，较新的算法（PaCMAP、LocalMAP）倾向于使用 KNN 动态而非像 UMAP 这样复杂的数学方法，这表明 KNN 可能是该领域创新的未来。一位用户将其与“核技巧”相提并论，其中 KNN 距离被缩放并用作特征。
有人提出对 KNN 的计算成本的担忧，引发了对近似最近邻技术（如 HNSW）的讨论，这些技术可以将搜索复杂度显著降低到 O(log n)。有人指出作者忽略了 KNN 的计算复杂度，但也有人推测这可能是因为目标读者对该主题很熟悉。
## AsciiMath 概要 AsciiMath 是一种基于文本的数学表达式符号，旨在视觉上类似于标准的数学符号。它既提供直接的文本符号（例如 `oo` 表示无穷大），也提供 TeX 替代方案（例如 `sum` 代替 `\sum`），而无需为 TeX 命令使用前导反斜杠。 该符号涵盖了广泛的元素：基本运算（+、-、*、/）、关系（=、<、>）、逻辑符号（and、or、not）、分组括号（()、[]、{}），以及用于微积分（int、del、grad）、集合（subset、union）等的各种专用符号。 AsciiMath 还支持上标、下标、分数、根式以及 sin、cos 和 log 等函数。它处理矩阵、列向量和具有定义语法规则的复杂表达式，这些规则优先考虑正确的运算顺序（下标在 superscript 之前）。字体命令允许使用粗体、黑板和其他样式变体。建议用户在 `<` 和 `>` 字符之间留出空格，以避免 HTML 解析问题。
## AsciiMath 总结
Hacker News 的讨论围绕着 AsciiMath，这是一种使用 ASCII 字符书写数学表达式的记号。它旨在实现简单和可读性，特别是通过 MathML 在网页上嵌入。但它因不一致的空格处理和不寻常的语法选择（例如使用指数符号表示求和上限）而受到批评。
一些评论员指出 AsciiMath 的解析逻辑中可能存在的缺陷，并指出细微的语法变化可能导致截然不同的输出。Typst 和 mathup 等替代方案被提及，其中 mathup 特别通过输出标准的 MathML 来解决 AsciiMath 的实现不足，而不是依赖于特定工具的集成。
对话还涉及更广泛的数学记号领域，一些人提倡更逻辑、基于 S 表达式的系统，而不是从欧拉那里继承的传统（且视觉导向）记号。最终，讨论强调了在数字环境中平衡数学排版的表达力、可读性和一致性解析的持续挑战。
## 博灵公司与内华达州监管干预 - 摘要
《财富》杂志的调查显示，内华达州OSHA针对埃隆·马斯克的博灵公司进行的调查中存在重大的政治干预。在博灵公司隧道内的一次训练演习中，两名消防员遭受化学烧伤，内华达州OSHA开出了超过40万美元的罚款——这是十年来的最高罚款之一。然而，在博灵公司总裁史蒂夫·戴维斯致电州长乔·伦巴多办公室后，在与高级州官员会面后，这些引用的罚款被迅速撤销。
关键的是，这次会议的记录从公共文件中删除，案件档案中还发生了其他不规范行为。现任和前OSHA工作人员声称，由于“上级”的压力，该机构的标准程序被绕过，引发了人们对强大公司不当影响的担忧。虽然官员声称这些引用缺乏法律依据，并且政策已经更新，但四位律师和前监管机构认为州长办公室的干预非常不恰当。
该事件与博灵公司持续的安全问题相吻合，包括最近的工人受伤和“狂野西部”式的安全文化。员工报告称持续暴露于有害化学物质中，并担心因提出问题而受到报复，这表明存在一种优先考虑速度而非安全的模式。此案例凸显了当监管监督因政治压力而受到损害时可能存在的风险，尤其是在马斯克的公司扩大在内华达州的业务时。
## 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月下旬的财报发布之前不会有任何公告。
这一转变伴随着其他关键领导层的变动：前首席运营官杰夫·威廉姆斯在移交职责后退休，新的首席财务官凯文·帕雷克接替卢卡·梅斯特里。这些过渡表明苹果公司正在积极为超越现有高管的未来做准备，以确保到时候顺利交接。