每日HackerNews RSS
Hacker News 上的一个帖子讨论了一篇关于《人类之子》的文章，称其为本世纪最佳科幻电影之一。评论者称赞其阴郁的反乌托邦世界、强烈的长镜头电影语言、情感冲击和希望的结局。讨论涵盖其与现代社会的相似之处、出生率下降、移民、不平等，以及影片是否具有预见性。一些人争论生育率下降的原因——经济、文化、宗教、发展——而另一些人则指出其基督教/诞生象征。总体而言，这部电影被记住为一个关于绝望、人类韧性和希望可能性的强大而技术精湛的故事。
CSIRAC是澳大利亚的第四台数字计算机，约在1950–51年成为第一台播放音乐的计算机。程序员Geoff Hill利用其扬声器（“hooter”）产生定时脉冲，克服了困难的内存时序问题，并编程了流行曲调。这些音乐当时从未被录制，但墨尔本大学团队后来重建了CSIRAC的硬件和软件，以真实还原这些音乐。最古老的计算机音乐幸存录音是BBC 1951年的Ferranti Mark 1。尽管CSIRAC开创了这一领域，Max Mathews常因后来在贝尔实验室的工作被称为计算机音乐之父。CSIRAC还执行了重要的科学和工程计算，并于1956年移至墨尔本大学。文章还指出，作曲家Percy Grainger曾从实验室附近经过，但从未与CSIRAC合作，这是澳大利亚计算机音乐的错失机会。
Hacker News 上的帖子链接到一篇关于澳大利亚在计算机上播放第一段音乐的文章，可能与 CSIRAC 有关。评论者回忆 CSIRAC 和早期澳大利亚计算，包括内存限制和相关历史视频。其他人争论哪些算作世界上第一台/早期数字计算机（Colossus、ENIAC、Manchester Baby、Z3）。一些人分享了用计算器和驱猫器产生音调的个人轶事。讨论还提到了澳大利亚电子音乐成就以及与电子/计算机音乐相关的链接。总体而言，这个帖子混合了计算历史、早期计算机的定义以及与音乐相关的趣闻轶事。
启用 JavaScript 和 Cookie 以继续
Hacker News 讨论串围绕《经济学人》一篇文章展开：该文认为人类将再也无法创建类似维基百科的项目，因为 AI 会吸收其内容，而很少有用户点击跳转。评论者用 SponsorBlock、DeArrow、OpenStreetMap、粉丝维基和 YouTube 等不断增长的众包项目反驳，认为协作仍在继续。另一些人同意催生维基百科的互联网时代可能正在消退：企业平台、版主割据、AI 抓取以及贡献者激励下降，使大型志愿努力更难进行。多人指出维基百科本身也面临偏见、编辑战和治理问题。围绕 GPL 与宽松许可证及企业使用的许可争论反复出现。一些人将 AI 视为共享资源的威胁；另一些人则将其视为可能催生新协作知识项目的工具。总体共识很微妙：维基百科的克隆可能不太可能出现，但人类协作并未死亡——其形式和激励正在变化。
malloc 通过一次性获取大内存块并在用户空间将其细分为小块，来隐藏昂贵的内核调用。glibc 使用 brk/sbrk 增长堆，用大小头部管理内存块，将释放的块缓存在空闲链表中，分割和合并它们，并可将堆顶内存归还内核。内存采用按需分页：虚拟大小立即增长，但物理内存仅在页面被写入时计费。大分配使用 mmap，并通过 munmap 单独释放。简单的 bump allocator 在每次请求都调用内核时很慢，且无法重用已释放内存；遍历长空闲链表也会损害性能。glibc 使用大小分级和线程本地缓存优化，以保留更多内存换取速度，并调整 mmap 阈值。因此，分配器需要在系统调用、重用、碎片化和内存驻留之间取得平衡。
围绕《What is malloc doing, anyway?》的 Hacker News 讨论探讨了 malloc 的实现及替代方案。评论者就仅栈语言（如 Goose）和 Zig 的显式分配器处理进行辩论，指出复杂度与性能之间的权衡。多人指出，jemalloc 和 mimalloc 等现代分配器使用 mmap 而非 brk，而文章描述的是更传统的方法。另一些人讨论内核级内存管理（SLAB）以及用户空间雕刻与内核页分配之间的分工。实用建议包括预分配内存、使用 arena 分配器，以及在长时间运行的 PHP worker 中强制垃圾回收。注重安全的评论者更偏好静态分配。还出现争论：研究 malloc 是揭示真实分配机制，还是只是内核/固件的封装。总体而言，该讨论强调没有一种分配器策略在所有情况下都最优；选择取决于用例。
本项目是一个从零实现的 C++/CUDA 大语言模型推理引擎，面向 Llama 3.2 1B Instruct。它展示了从提示词到生成 token 的完整路径：加载 BF16 safetensors 权重、Unicode BPE 分词，以及用于嵌入、RMSNorm、密集因果预填充、SwiGLU MLP、RoPE、分组查询注意力和绑定 LM 头 logits 的 CUDA 内核。解码使用带 16-token 页面、块表和 FP32 在线 softmax 注意力的分页 BF16 KV 缓存。引擎支持贪心生成、Instruct 格式、EOS/EOT 停止，以及在 2,048 token 上下文内的可配置输出长度。它还实现了静态和连续批处理，包含运行时大小缓冲区、每序列 KV 映射、基于页面预算的准入、FIFO 调度和保守的无抢占策略。要求包括 NVIDIA GPU、CUDA Toolkit、CMake 3.24+、C++17、ICU 和 nlohmann/json。使用 CMake 构建，然后运行 samir-vllm 并传入提示词和 max_new_tokens；分词器测试可用。说明和 PDF 保留所有权利，代码采用 MIT 许可。
Hacker News 上的一个帖子介绍 samirswr 面向初学者的 LLM 推理视频系列：超过 6 小时的 YouTube 视频和 85+ 页手写笔记。它带领观众用 C++ 和 CUDA 构建一个小型 Llama 3.2 1B 推理引擎，涵盖分词、嵌入、GPU 内存、CUDA/cuBLAS、Transformer 组件、预填充/解码、KV 缓存、批处理和分页注意力。创作者表示核心笔记和大部分代码都是自己写的，尽管 LLM 帮助生成了背景幻灯片和额外笔记。评论包括对努力的赞扬，以及指出部分幻灯片看起来像 AI 生成的批评。帖子还链接了 GitHub 仓库、YouTube、LinkedIn 和 X，作者询问 2027 年夏季的推理/MLE 实习机会。
人类导向智能体工程（HDAE）将人类定义的架构、约束、里程碑、验收标准和终止点，与自主的实现、执行、诊断和修订循环相结合。在 Ginux 案例研究中，一项持续 11 天的编程智能体任务创建了一个以 Rust 为主的 x86-64 内核，该内核通过 UEFI 启动，实现了核心操作系统机制和 Linux 兼容层，运行选定的未修改 Alpine 程序，并通过 systemd 启动 Rocky Linux 10 用户空间。它展示了对成熟系统机制的快速集成，但仍然是一个研究原型，兼容性和硬件覆盖范围有限，没有独立的安全审计，也不宣称具备生产就绪性或与 Linux 等效。
Ginux 是一个能够运行 Linux 用户空间的新内核，采用“Human-Directed AI Engineering”创建并作为研究原型发布。Hacker News 评论者争论该术语只是“vibe coding”的重新包装，还是描述了有人类规划与审查的代理式开发。其他人质疑 AI 生成代码是否受版权保护以及其 Apache 2.0 许可证是否有效，但有人认为许可证仍可适用于组合作品。技术评审者指出并发、锁和中断处理方面的问题，称其为玩具内核，但能运行未修改的 Linux 程序令人印象深刻。更广泛的讨论涉及信任、审查难度、潜在安全风险，以及 AI 生成的系统软件是有用还是仅仅是对现有成果的派生。作者作为 Rocky Linux 创建者强调，它不是 Linux 的替代品，兼容性、安全性、硬件支持和维护仍然是真正的挑战。
尝试 Gleam Try Gleam
1 天前
Gleam 是一种友好的、静态类型的函数式语言，目标平台为 BEAM 和 JavaScript，语法简洁，并能与整个 BEAM 生态系统互操作。它对 Rust 用户来说很熟悉：不可变变量、基于 Result 的错误处理、管道运算符、用于回调的 `use` 模式，以及用尾调用优化代替循环。它的类型是代数数据类型，BEAM 支持通过轻量级进程和 OTP 监督让并发、容错系统变得容易。代码也可以通过编译到两个目标平台而在前端和后端之间共享。缺点包括生态较小、刻意的简洁性（没有宏且缺少某些功能），以及 BEAM 尽管支撑大型系统却采用率小众。总体而言，作者喜欢 Gleam，并推荐一试。
Hacker News 帖子称赞 Gleam 是一种小巧、类型安全的语言，便于前端/后端代码共享，并指出大量使用 AI 可减少样板代码担忧。评论者讨论框架可用性与 Elixir 互操作：Gleam 可通过 externals 调用 Elixir，但 mix_gleam 以及宏/struct 仍是痛点。其他人辩论 AI 编程：有人说强类型和 BEAM 运行时有帮助，而其他人引用研究表明流行语言表现更好，尽管模型可以学习文档。语言人机工程学和缺少自动柯里化被讨论；Gleam 支持占位符部分应用。开发者体验普遍获赞，但有小工具缺口。旁支辩论涉及代码是否仍需人工审查。另一线程涉及 Gleam 社区的行为准则与主页上的政治信息；一些用户不喜欢编程社区中的激进主义，而其他人说这不影响语言使用。总体而言，Gleam 被视为有前景但小众，技术优势之外还有生态系统和社区方面的担忧。
Foldable Flight 是一个纸飞机网站，提供商店产品、折叠说明、比赛、博客以及 Kyle 的预约服务。用户可按难度、类型、设计师和纸张类型浏览和筛选飞机，然后点击任意飞机进行折叠。网站列出 109 款专属/推荐飞机，包括 Kyle Boyer、Evan Brus、Evan Smithson、Julian Chee、Michael LaFosse、Wang Chenghao、Will Barron 等设计师设计的飞镖、滑翔机、混合型、喷气式和特技飞机。每款飞机包含速度、滑翔和准确度评分，以及其性能或折叠挑战的简短描述。精选示例包括 Firefly 5、Unite、Arrowhead、Corsair 等更多机型。网站还推广折叠史诗级纸飞机，并包含联系方式和条款信息。
Hacker News讨论了Foldable Flight，这是一个展示纸飞机设计与视频教程的网站和YouTube频道。用户分享了童年回忆、Nakamura Lock等喜爱的设计、旧书和比赛经历。许多人称赞飞行平稳、设计简单，也有人表示进阶机型较难制作。创作者Kyle Boyer参与了讨论，感谢用户并回应反馈。部分评论者批评网站移动端可用性、反复出现的订阅弹窗、崩溃以及仅视频说明；其他人则为免费视频辩护，并将该站点与FoldnFly比较。讨论还涉及纸张尺寸（A4与Letter）、材料和工程趣闻。总体上，这是一场关于纸飞机设计的怀旧、积极讨论，并为创作者提供了实用反馈。
正在检查您的浏览器...需要 JavaScript
文章：约90%的时间胶囊会丢失。评论分享了装修时发现隐藏字条和惊喜、丢失的学校时间胶囊以及被破坏的风险。用户争论遗产与记忆——有人引用古代人物，有人认为大多数人都会被遗忘。数字永生与“上传意识”存在争议，而多位评论者强调接受死亡并重视当下生活。实际问题包括胶囊被遗忘、被施工破坏或被当作低优先级。总体而言，时间胶囊脆弱且常丢失；持久的名声不确定，渺小的人际联系更重要。
十月，纯电动车占英国新车销量的32%，几乎追上汽油车的37.2%。整体注册量上升5.4%，完全由插电式车型带动：纯电动车增长32.7%，插电式混合动力增长30.1%，而汽油车下降11.6%，柴油车下降15.9%。年初至今，纯电动车份额为26.6%（增长30.4%），汽油车降至41.1%。线性趋势显示，纯电动车与汽油车份额可能在2027年8月左右交叉，但12月通常的电动车销售高峰可能使纯电动车最早在本12月超越汽油车。然而，SMMT表示增长仍低于ZEV强制目标，并敦促削减，理由是大幅折扣。Electrek认为该强制政策正在起作用，因为它迫使电动汽车更便宜并推高需求。内燃机汽车的市场份额已从2021年的72.5%降至年初至今的45.5%。中国品牌在10月快速增长，而特斯拉的月度注册量急剧下降，尽管年初至今仍呈增长。关键问题是纯电动车是在12月还是2027年晚些时候超越汽油车。
Hacker News 上的一篇讨论涉及一篇文章，声称电动汽车将很快在英国 outsell 汽油车。评论者澄清这是指新车销量，而非道路上的总车辆——只有 4.9% 的汽车是纯电动汽车，而 87.8% 是汽油/柴油车。剩余份额包括混动、柴油、CNG/LNG 和氢燃料汽车。
辩论集中在趋势是否线性延续，可能因英国与欧盟对中国电动汽车关税的协调而受到干扰。然而，中国品牌仅占英国 BEV 销量的约 12%，影响有限。英国规定了逐步提高的 BEV 销售目标（今年 38%，明年 52%），而 12 月的峰值反映了制造商的 ZEV 合规截止期限。
用户讨论了二手车市场，一些人预测内燃机汽车会变得非常便宜，而另一些人则怀疑电动汽车无法与低价二手车相匹配。税收政策也被提及：没有新的内燃机税，尽管暂时的燃油税减免仍存在，而电动汽车将从 2028 年 4 月起面临每英里 3 便士的附加费。
总体而言，评论者同意电动汽车销量正在快速增长，但警告不要将新车销量与车队构成混为一谈。