研究人员披露了 NVIDIA GA100 芯片上的电压故障注入（VFI）漏洞，可烧录任意 eFuse。通过 PWMVID 信号对显卡 VRM 进行 glitch，攻击可清除安全敏感的选项字（包括 OPT_SECURED_BURN_FEATURE_ENABLE），允许进行 Fuseless Fuse（FF）烧录，从而禁用 floorsweeping。这使 CMP 170HX 矿卡解锁至约 A100-80G 功能：80 GB 可用 HBM、120–126 个 SM、PCIe Gen4、NVLink、ECC 和 MIG，FP16 吞吐量约为零售 A100 的 1.2 倍。该方法需要针对具体芯片调整，glitching 耗时 1–48 小时。已提前向 NVIDIA 披露。
每日HackerNews RSS
这篇 Hacker News 帖子讨论了一篇博客文章：电压毛刺攻击可绕过 Nvidia CMP 170HX 以太坊挖矿卡上的熔丝，解锁远多于官方公开的 HBM；8GB 卡据报可达约 64GB，部分 10GB 型号约有 40GB。评论者争论被禁用的硅片是真正有缺陷还是出于市场原因被人为分段；多人指出 Nvidia 可能是因计算/逻辑故障而进行分级，而 HBM 良率仍较高，尽管部分解锁内存可能有故障。实际问题包括散热、噪音、功耗限制、RAM 错误，以及漏洞公开后转售价格急剧上涨。其他人提到之前的解锁、安全影响以及 NVIDIA 已被通知。整体而言，帖子将这次破解视为产品分段的戏剧性例子，也是在廉价挖矿硬件上获得类似 A100 内存容量的一种有风险但可能有价值的手段。
Zig 拥有强大的技术理念和出色的开发者，但文章认为，由于糟糕的项目管理，它正变得越来越难以推荐。它的 0.x 版本反复破坏兼容性，迫使用户重写代码并等待工具链更新。它的 AI 贡献政策过于严格，基于作品的生产方式而非质量来拒绝有用的工作。当 Bun 用 Rust 重写其代码库时，Zig 以敌对的公开攻击回应，而非建设性地参与。从 GitHub 迁移到 Codeberg 用一组问题换取了可靠性问题，以及一个对 AI 开发持有自身哲学判断的托管平台。Zig 还将 GitHub Sponsors 视为负债，使捐赠更加不便。总体而言，维护者似乎更专注于强加他们偏好的开发哲学，而非满足用户的实际需求。技术进步仍在继续，但缺乏稳定性、贡献者灵活性、更好的治理和可靠的基础设施，Zig 仍然难以依赖。
这篇 Hacker News 讨论串讨论了一篇被标记、可能由 AI 生成的、声称 Zig 正在停滞的文章。评论者大多批评该文章及其 AI 垃圾来源，同时辩论 Zig 的实际状态。主要主题包括：Zig 仍处于 1.0 前版本，故意破坏兼容性以改进设计；一些用户接受这种变动，另一些人担心它可能永远无法稳定。Zig 的反 LLM 贡献政策受到那些把 AI 视为学习或工具辅助的人的批评，但支持者说项目有足够的人类贡献者，并优先考虑其愿景。Bun 到 Rust 的迁移被许多人认为是不相关的证据。其他话题包括 Zig 迁移到 Codeberg、基金会治理、软件中的 LLM 和编程语言成熟时间线。总体而言，讨论串对该文说法持怀疑态度，并将 Zig 描述为一个有明确立场、处于早期阶段的项目，其选择是有意的，而非衰落的迹象。
叙述者与一位她希望可能成为伴侣的经济学家同游古巴，却意识到对方并不把她当作女朋友，尤其在他表示想要孩子而她已绝育之后。行程中，他情感疏离、专注工作，而她逐渐生病。在比尼亚莱斯，她发烧卧床，他则去攀岩；后来她虚弱地陪他喝一杯。回到纽约，她仍病着，参加他的朋友举办的新年前夜龙虾晚宴，全程咳嗽。宾客离开后，醉酒的经济学家在沙发上与她发生无保护性行为，让她感到自己并不被看见。她在凌晨两点离开，不知他的拒绝是否真实，或者这次亲密是否意味着改变，尽管它大多感觉 impersonal.
对不起
自2021年以来，戴夫一直在他的YouTube频道“Tornado Dave”上记录这类项目，该频道拥有超过32.6万订阅者。戴夫从多个角度拍摄了起重机被吊装就位的过程，包括使用一台在起重机位于地面时就安装好的GoPro风格相机从起重机本身拍摄。他说，他在参与电视节目《Guy's Garage》后决定开设自己的YouTube频道——该节目由主持人、前摩托车赛车手盖伊·马丁主持，盖伊驾驶了戴夫改装的一辆路虎。戴夫还经营仓储和制造业务，他用3D打印机制作了机身如何与花园下方现有地下房间连接的缩比模型。他计划为该项目申请溯及既往的规划许可，并希望在二月前完成。
Hacker News 上的一个帖子讨论了一篇 BBC 报道：一名男子将一段波音 737 机身吊入自家后花园，用于建造地堡。评论者就铝制机身能否经受掩埋展开争论，指出土壤水分带来的腐蚀风险，并强调需要采取防水、混凝土包裹、排水和阴极保护等措施。有些人质疑其工程设计，尤其是机身设计为承受向外的舱内压力，能否承受来自上方的荷载，尽管计划进行混凝土加固。其他人讨论规划许可：业主打算事后补办，评论者认为对于地下、乡村、低能见度的项目来说可能更容易。帖子还包含对实用性、防潮和安全的怀疑，以及 YouTube 视频链接和类似的自制地堡构想。总体而言，这个项目被视为一场不寻常的、由 YouTube 驱动的工程实验，而非标准或高度实用的地堡。
bo2-mac 是一个非官方的粉丝项目，可将玩家自己的 Steam 版《使命召唤：黑色行动 II》转换为原生 Apple Silicon 应用。它将游戏的三个 x86 可执行文件提前翻译为 ARM64 代码，与自定义 Win32 运行时链接，并通过 Metal 渲染 Direct3D 11，不使用 Wine 或 JIT。游戏在单个进程中运行；只有少量复制保护或遗漏代码序列使用 x86 解释器。在 M1 上，战役可达 51–60 fps，僵尸模式 57–60 fps，以及与机器人对战的多人模式 53–60 fps。僵尸模式和多人模式使用本地响应器而非在线服务，且匹配规则以干净室方式重写。它需要 Apple Silicon Mac、macOS 14+、Steam 所有权、约 20 GB 可用空间，M1 上转换约需 1 小时 45 分。不分发游戏文件或翻译后的代码；每个用户从自己的副本构建应用。它处于 beta 阶段，非官方，与 Activision、Treyarch、Microsoft 或 Valve 无关。
开发者借助 AI 辅助工具，将《使命召唤：黑色行动 II》静态重编译为原生 ARM64 macOS 应用。据报道，该项目可在无 Wine、CrossOver 或 Rosetta 的情况下，以约 60 帧每秒运行战役、带机器人的本地多人游戏以及 Zombies DLC。它使用 Remill 将 x86 代码提升为 LLVM IR，编译为 ARM64，并包含自定义的 Win32/Direct3D 11 到 Metal 运行时；只有隐藏或遗漏的代码在小型 x86 解释器中运行。开发者表示，该项目借助并行 Claude 会话耗时约四个月完成，并需要 Steam 版本。Hacker News 评论者讨论了技术细节、与模拟器的比较、AI 安全护栏、游戏保存与可移植性，以及对 README 和炒作的批评。
本网站正在使用一项安全服务来保护自身免受网络攻击。您刚刚执行的操作触发了该安全解决方案。可能触发此拦截的操作包括提交特定的单词或短语、SQL 命令或格式错误的数据。
这个 Hacker News 帖子讨论了 Amstrad 为什么使用 3 英寸软盘驱动器。用户回忆有猜测称 Amstrad 从失败项目中廉价采购了这些驱动器，但一位评论者更认同 Roland Perry 的解释：复用 5.25 英寸控制器/驱动器降低了成本。另一位指出，3 英寸驱动器在 Macintosh 使 3.5 英寸成为主流之前，就已在与索尼的 3.5 英寸驱动器竞争，其耐用性适合低端机器。评论者提到了多种使用 3 英寸磁盘的系统，包括 Amstrad CPC/PCW、Sinclair Spectrum +3、Oric、Tatung Einstein 和 Sega 扩展设备。个人经历描述这些磁盘可靠但价格高，并提到用户改装或翻转磁盘以使用两面。一些人比较了 3 英寸、3.5 英寸和 5.25 英寸驱动器，指出容量和成本差异。总体而言，讨论强调成本、时机、可用性和耐用性，而非单一明确原因。
多个开源项目禁止或拒绝 LLM/AI 生成的贡献，涵盖代码、文档、issue、测试、美术、翻译和拉取请求。政策从拒绝 AI 辅助内容到禁止任何 AI 使用不等，常点名 Copilot、ChatGPT、Claude、Cursor 和 Llama 等工具。受影响的项目涵盖游戏、操作系统、工具、搜索、图像处理和语言生态。执行手段从拒绝 PR 到封禁贡献者不等，部分仓库完全禁用 GitHub PR。共同目标是保留人类作者的高质量贡献，避免受污染或低质量的 AI 生成内容。
Hacker News 的一个帖子讨论了 osssaysno.com，该网站收录限制或禁止 AI 生成贡献的开源项目。评论者争论这类禁令是对低质量、大量“slop” PR 和维护者倦怠的务实防御，还是过于宽泛且可能无法执行。支持者认为维护者自己可以使用 AI，并希望贡献背后有真实的人类理解；批评者认为 AI 辅助代码有价值，禁令可能赶走贡献者，标准应是质量而非工具使用。其他担忧包括许可、版权、安全，以及 AI 是否有助于发现 bug。网站创建者表示该站具有信息性质且部分“vibe-coded”，并澄清许多列出的项目是“受限”而非完全禁止 AI。
蚂蚁在约6600万年前的小行星撞击之后在生态上变得占主导地位。一项由明斯特大学主导、发表在《Science Advances》上的研究发现，转座元件（或称“跳跃基因”）帮助推动了蚂蚁的多样化。转座元件最多的蚂蚁谱系如今物种最丰富，且在主要蚂蚁类群的祖先多样化前不久，发生了独立的转座元件活动爆发。研究人员认为这些可移动DNA序列充当了进化催化剂，可能增强了与化学通讯相关的基因家族，尤其是对社会性生活重要的气味受体。研究团队分析了12个亚科中的163种蚂蚁，并重建了1亿年来的转座元件活动。在灵长类和蝙蝠中也观察到了类似模式。
Hacker News 上的一篇帖子链接到明斯特大学的一项研究，研究发现转座元件（或“跳跃基因”）帮助蚂蚁在恐龙灭绝后进化并多样化。基因组中转座元件最多的谱系现在物种最丰富。评论者补充说，这些可移动DNA序列可能提供额外的进化探索路径，并帮助生物在环境变化时更快适应。
这个项目的目标是将虚拟机搭建到可以与当前 trilog 运行时进行比较的程度。它包含一个从 Prolog 到 ZIP 虚拟机的编译器，以及用 C 编写的 VM 本身。ZIP 是 Clocksin《Design and Simulation of a Sequential Prolog Machine》（1984）中的抽象机；相关论文在 doc/ 目录中。zipc 的目的是如果 MVP 成功就成为 trilog 的后端，或者仅作为更快的独立可编译 Prolog 运行时，我还不太确定。无论如何，trilog 使用 ABC 算法将子句解释为项，将它们编译为 ZIP 应该使相同程序以更少的指令和更少的内存运行，这应该有助于 trilog 的主要目标。编译器用 Prolog 编写，运行在 Scryer Prolog 上。它写入一个二进制镜像，由 src/ 中的 VM 加载并运行。
一个 Hacker News 讨论帖讨论了 trilog 的 ZIP 风格 Prolog 虚拟机。评论者争论 Prolog 是否有现代用途。多人认为有：它有助于填空式配置和类似约束的问题；结合 LLM，Prolog 可以建模系统并找出竞态条件或过期数据；Dialog 对交互式小说使用 Prolog 风格求值；Datalog 有实际应用，如 Rust 的 Polonius 借用检查器；Prolog 可能适合图数据库查询和不完整数据的路径查找；SWI-Prolog 支持业务后端、Web 应用和 GUI。其他人指出 Datalog 在语义和执行上与 Prolog 不同，尤其在否定和函数符号方面，尽管它本质上是没有函数符号的 Prolog。帖子还质疑 GOFAI 的相关性，一位评论者认为基于规则的系统应该支持更薄的 LLM 层以提高可靠性和安全性。总体而言，Prolog 仍然小众，但对逻辑、约束和数据建模有用，尤其是配合 LLM 辅助的事实生成。
作者搜索“废弃温室”，并发现了许多世界各地被遗弃温室的照片。例子包括 Chateau R、Alton Towers、Yonkers 的 Boyce Thompson Institute、Ohio 的 Otto’s Greenhouse，以及意大利和德国的地点。许多曾是商业或机构种植空间，现已被植物、藤蔓和衰败占据，显示出自然重新占领人类建造的结构。有些，例如 Villa Maria 的一个温室，后来已被修复。文章指出，废弃温室可能看起来充满活力而非腐烂，尤其是在冬季，雪景营造出宁静画面。最后推荐伦敦的 Kew Gardens，供欣赏保存良好的维多利亚时代温室的人前往。
Hacker News 上一个帖子讨论了一组废弃温室的照片合集。评论者欣赏这些图片，表示想要大型温室，尤其在北方冬季。有些人提到德国的例子，房子和花园被封闭在温室中以延长季节，但潮湿是个问题；其他人指责官僚主义阻碍扩建。有人询问如何清理被碎玻璃污染的土壤。一条较长的评论反对对城市探索地点保密，认为破坏通常来自已知地点的本地人，而非摄影师，而隐藏地点剥夺了他人欣赏衰败之美的机会。另一位评论者补充说，不提供补偿的保护法可能会鼓励忽视。总体而言，该帖子混杂了美学欣赏、实用温室问题、城市探索伦理以及财产/保护激励。