Your daily Hackernews highlights.
今天的故事像是跨越时间与技术的一场散步：从 1900 年巴黎的移动人行道，到 2020 年爱迪生镜头下的影像，再到如今 Linux 游戏玩家在 Steam 上突破 3% 的小里程碑，都在提醒我们，进步有时缓慢，却总在悄然发生。与此同时，曾经用于打击网络犯罪的法律，正在某些地方被用来压制新闻自由，这种滥用的锋刃，也让我们重新审视“安全”与“自由”的平衡。
在更细腻的领域，有关举办好派对的趣味真理、Lisp 语言的过去与未来的沉思、以及关于依赖类型的提问，都是人类在思考如何让生活与代码更优雅。而 Git bisect 和“URL是状态容器”这样的技术妙语，则仿佛告诉我们，不管是做派对还是调试程序，最重要的还是理解其中的逻辑与变化。
世界另一端，韩国的新政策将大型停车场改造成太阳能农场，这是技术与环境同盟的有力尝试。而在法律与黑客的交锋中，所谓“MrICQ”落网的新闻，则是对网络世界暗处力量的一次显影。今天的新闻，仿佛一张拼图，既有历史的温度，也有技术的锋锐，更有社会律动的复杂与深意。
Linux gamers on Steam cross over the 3% mark
Linux 玩家在 Steam 上的占比首次突破 3%，这不仅是数据的跃升，更像是多年默默耕耘后的集体胜利。曾经的小众阵营，如今正逐步走向主流舞台，证明了开源的魅力与坚持的力量。或许，这只是起点，未来的游戏世界会更加自由、多元，也更属于玩家自己。
323 Replies - @story - 2025-11-02 18:54
Paris had a moving sidewalk in 1900, and a Thomas edison film captured it (2020)
1900年的巴黎世博会上，曾出现一条令世人惊叹的“自动人行道”，托马斯·爱迪生还用影像将它永远留存。它不仅是城市现代化的一次大胆试验，更像一条时光隧道，让人们在机械的轻盈推动下，窥见未来生活的节奏。这段影像提醒我们，科技的浪潮早在一个多世纪前就已拍岸，而人类的好奇与创造，始终在不断拉近梦想与现实的距离。
61 Replies - @story - 2025-11-02 21:08
Anti-cybercrime laws are being weaponized to repress journalism
一些国家打着打击网络犯罪的旗号，却将法律化作口塞与笔刃，专门钳制敢于揭露真相的媒体与记者。原本应保护公众免受网络侵害的制度，被悄然转向用来审查、威慑甚至惩罚新闻报道。网络世界的防火墙，本是守护自由的盾，却在权力之手中成了堵住真相的墙。
62 Replies - @story - 2025-11-02 18:12
Facts about throwing good parties
举办好派对的秘诀在于主人的心境与节奏。平和的状态会如同温柔的磁场，让宾客自在融入；焦虑则会像坏天气，传染到每个角落。时间的巧妙预留与朋友的提前协助，不仅能让开场更顺畅，也为氛围提前暖场。派对，不是食物或布置的炫技，而是让快乐自然生长的土壤。
14 Replies - @story - 2025-11-02 22:32
Lisp: Notes on its Past and Future (1980)
LISP 能在编程语言的汪洋中航行二十余年，靠的不是偶然，而是它在设计空间里找到了一片局部最优的栖息地。然而岁月也为它挂上了“藤壶”，既有的设计弊端和被忽视的改进机会需要果断清理。若能以共同维护的精神建设程序库，并利用计算机来验证程序正确性，LISP或可扬帆更远，重拾轻盈与锋芒。
49 Replies - @story - 2025-11-02 19:05
Alleged Jabber Zeus Coder 'MrICQ' in U.S. Custody
据报道，乌克兰籍的“MrICQ”被认为是臭名昭著的Jabber Zeus木马的核心编码者之一，如今已落入美国当局之手。这位长期潜伏网络暗角的黑客，疑似操控庞大金融盗窃网络，如今的被捕意味着地下网络世界的一颗重要棋子被掀翻。故事提醒我们：在数字阴影中纵横多年的人，也终逃不过法律的长臂与时间的耐心。
12 Replies - @story - 2025-11-02 20:40
At the end you use Git bisect
作者吐槽面试题里学算法的痛点，却又用亲身经历证明：基础算法总有用武之地。一次线上故障，面对成百上千的提交，git bisect 成了救命稻草——用二分法迅速定位首个引入错误的提交。面试里的“第一坏版本”题，其实就是职场里的真刀实枪，只要学会这招，混乱也能秒变可控。
123 Replies - @story - 2025-11-02 17:24
URLs are state containers
作者通过一次寻找代码高亮插件的经历，领悟到 URL 不只是地址，更是一种承载状态的容器。它能精准记录并复现页面的配置与上下文，就像一条时间坐标，把当下的选择冻结在字符之间。善用 URL，便是善于用最简洁的符号保存与分享整个世界的状态。
142 Replies - @story - 2025-11-02 11:12
Why don't you use dependent types?
作者回忆了计算、逻辑与数学交汇处的探索，回应人们对 Isabelle 不采用依赖类型的好奇。依赖类型虽在理论上优雅，能将证明与程序融为一体，但在实践中却常被复杂性和工具链桎梏；相比之下，Isabelle 选择更灵活的设计，以兼容多种逻辑与方法，避免陷入过度约束的框架。此抉择既是技术考量，也是哲学立场——追求开放系统，而非纯粹但狭窄的完美。
57 Replies - @story - 2025-11-02 15:06
New South Korean national law will turn large parking lots into solar farms
韩国将出台新法，把大型停车场变为太阳能发电场，让钢筋水泥的“车海”化身阳光收集器。在不额外占地的情况下，为清洁能源找到了巨大的潜力空间。这不仅是能源转型的妙招，更像是向日葵的城市版——随处停靠，随时吸光，把日常生活悄悄变成绿色未来的引擎。
128 Replies - @story - 2025-11-02 15:12
Mechanical Turk is twenty years old today. What did you create with it?
MTurk诞生于亚马逊仍像个精巧小作坊的年代——一群能用“两块披萨”喂饱的团队，用一年时间造出了一座桥，让代码与真实人力交汇。那时的AWS不过百人，S3还在试水，EC2只是纸上蓝图。它用耐心与细致的人力，成就了无数创意与实验，也让“云”和“众包”第一次握手成真。你在这座桥上，曾建造过怎样的世界？
35 Replies - @story - 2025-11-02 20:02
Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch
Tongyi DeepResearch 以开源 30B MoE 架构横空出世，不仅追平甚至挑战 OpenAI 的同类产品，更宣告从传统聊天机器人迈向自主智能体的新纪元。它以全合成数据驱动持续预训练与精调，让模型在知识深度与创造力上不断进化，仿佛一位永不疲倦的研究员，日夜拓展认知边界。这不仅是技术的迭代，更是开源精神与智能自主性的联袂舞蹈，向未来投射出令人振奋的可能性。
86 Replies - @story - 2025-11-02 11:43
Reproducing the AWS Outage Race Condition with a Model Checker
作者通过AWS一次罕见宕机事件中提到的“竞争条件”入手，用模型检查器重现简化的故障过程。虽然庞大系统的内部细节未知，但基于公开信息与合理假设，实验展示了并发中隐藏的微妙陷阱。全文意在说明：形式化验证或许不能杜绝全部事故，但它像一盏探照灯，让潜在问题在潜入生产之前现形。
11 Replies - @story - 2025-11-02 18:37
Using FreeBSD to make self-hosting fun again
作者曾陷入对技术的惯性依赖中，感觉自己被既定的使用方式困住，如同关在自设的牢笼里。重启的契机来自尝试用 FreeBSD 重新自托管，一切像重返糖果店般新鲜有趣。那不仅是技术上的切换，更是心态的重置，让熟悉的世界重新充满探索与创造的快乐。
48 Replies - @story - 2025-11-02 11:01
Is Your Bluetooth Chip Leaking Secrets via RF Signals?
这篇研究探讨了蓝牙芯片在正常工作时，是否会因射频（RF）信号的微弱泄漏而被人从空气中“偷听”到机密数据。作者揭示，即使没有直接入侵设备，攻击者也可能利用物理层的副作用获取敏感信息，显示出硬件层面的隐秘风险。它提醒我们，安全不止是软件与协议的较量，还需警惕那些看不见却无处不在的电磁耳语。
14 Replies - @story - 2025-11-02 18:06
Amazon Rivian electric delivery vans arrive in Canada
亚马逊与Rivian合作的电动送货车正式驶入加拿大街头，不仅是物流领域的一次绿色革新，更像是在北美可持续运输蓝图上添上一笔鲜亮的色彩。这批电动配送车象征着能源转型的执行力——减少碳排放、提升城市空气质量、推动清洁科技落地。它们不仅送递包裹，也在传递一个信号：未来的运输，不必靠燃油的烟雾来驱动，而可以用安静而持久的电力，承载城市的心跳与呼吸。
24 Replies - @story - 2025-11-02 20:22
How I use every Claude Code feature
作者以轻松而深度的笔触，分享了自己如何将 Claude Code 的每个功能拆解、应用并融入日常开发与探索之中——从自动化到调试，从创意生成到安全测试，每一步都像是在与一位智慧伙伴配合。文中不仅展示了工具的全能性，更体现了将技术之刃与个人思考结合的乐趣：用机器的精确与人的直觉，共同雕刻出高效而优雅的代码世界。
168 Replies - @story - 2025-11-02 00:13
X.org Security Advisory: multiple security issues X.Org X server and Xwayland
这份安全公告指出，X.Org X 服务器 21.1.18 之前版本及 Xwayland 24.1.8 之前版本存在多项安全漏洞，可能被利用以破坏系统稳定性或窃取数据。公告提醒开发者与用户务必及时升级至修复版本，以免被攻击者趁虚而入。信息虽简短，却如钟声般敲醒人心——技术再强大，也需在安全的基础上稳步前行。
76 Replies - @story - 2025-11-02 13:07
Notes by djb on using Fil-C
作者记录了自己对新一代内存安全 C/C++ 编译器 Fil-C 的使用体验，惊喜于其对现有库与应用的高度兼容性，迁移过程几乎无需改动。其个人目标是借助 Fil-C 编译的代码来提升所管理机器的安全性，并在此整理了相关笔记与测试数据。文中亦透露了作者长期稳健的系统升级策略：在旧与新之间保持平衡，以实用与安全为导向。
171 Replies - @story - 2025-11-02 05:32
Backpropagation is a leaky abstraction (2016)
作者指出，反向传播并非完美的“黑箱”，而是一种会漏水的抽象——它在遮蔽复杂性的同时，也迫使你在关键时刻直面底层机制。若只依赖框架的自动梯度，你可能在模型失灵时无从下手；唯有理解链式法则、梯度流动与数值稳定性，才能真正驾驭深度学习。就像驾驶飞船，不懂引擎原理，终会在宇宙真空里迷航。
119 Replies - @story - 2025-11-02 05:20
Brought to you by Quaily Journalist.