Token Ring 是由 IBM 支持的网络技术，1985 年推出，在 1980–90 年代与以太网竞争。它通过在节点间传递令牌避免冲突，并能很好地处理饱和，但所有网卡必须以相同速度运行（4 或 16 Mbps）；速度不匹配可能使整个网络崩溃。以太网主要因为便宜得多——大约三分之一成本——且更早扩展到更高速度（100 Mbps，然后千兆）而获胜。Token Ring 网卡与以太网相似，但通常使用 DE-9 连接器（而以太网使用 15 针），尽管两者后来都在 RJ45 线缆上运行，但引脚定义不同。速度标识（4/16 对比 10/100 Mbps）有助于区分；品牌不可靠，因为 IBM、Intel 和 3Com 都制造两者。如今这些网卡比 MAU（Token Ring 的交换机等效设备）更容易保存，而桥接到以太网很困难。IBM 在严肃计算领域的主导地位使 Token Ring 尽管以太网是开放标准仍获得早期优势。
每日HackerNews RSS
Token Ring 是一种由 IBM 支持的遗留网络技术，通过在环中传递令牌来避免冲突，不同于以太网基于争用的访问方式。评论者回忆它曾在 1990 年代至 2000 年代出现在银行、医院、学校和认证考试中，常使用同轴电缆或 IBM 布线，MAU 噪声大且硬件昂贵。以太网凭借更低的成本、更简单的芯片、可扩展性和 UTP 集线器获胜；Token Ring 逐渐衰落，但相关的确定性/令牌传递思想仍在利基应用中存活，例如 10base-T1S 虚拟令牌环和某些实时系统。该话题混杂了怀旧、技术比较以及关于布线、速度和标准的纠正。总体而言，Token Ring 现在主要已成为历史技术，仅在概念性或专用应用中生存。
被盗的雷诺阿画作在水泥砖墙后被发现，隐藏且受损 Stolen Renoir paintings found hidden, and damaged, behind cinder block wall
2 天前
由皮埃尔-奥古斯特·雷诺阿创作的两幅印象派画作日前在法国卡涅叙尔梅尔某博物馆被盗后找回，总体保存较好但有轻微损坏。作品《科洛娜·罗曼诺夫人肖像》和《井边的年轻女子》在克莱蒙特莱罗村一处住宅的墙后被发现，此前警方逮捕了6人。一名29岁嫌疑人被指控。盗窃者在9月的入室盗窃中放弃了另外两幅雷诺阿画作；四幅画作总估价约1000万美元。一幅画作的画框略有损坏，另一幅画布上连衣裙处有撕裂，需要修复。法国官员称赞这次追回，而此事件发生于法国博物馆盗窃案频发的背景中。
被盗的雷诺阿画作被发现藏在一面水泥砖墙后，且已受损。Hacker News 评论者讨论了为何尽管买家有限，名画仍会被盗，推测窃贼可能等待数年、利用中间人，或瞄准预先安排好的买家。其他人指出，即使盗窃罪的诉讼时效已过，出售被盗艺术品仍然是犯罪，而配合调查或追回作品可以减轻刑罚。帖子还讨论了安保、有组织犯罪和国际层面，以及一个关于雷诺阿绘画风格的 ongoing 笑梗。一些评论者引用了关于被盗艺术品市场和伪造出处的播客与纪录片。总体而言，讨论强调，高价值艺术品盗窃往往涉及长期持有、可信网络和法律复杂性，而非快速转售。
RFC 8950 使 IPv4 路由能够通过 IPv6 BGP 会话、使用 IPv6 下一跳进行传输，因此 IPv4 可以在无隧道的情况下原生运行于仅 IPv6 的核心网络之上。这使得大型网络、传输提供商和 IXP 能够将 IPv4 保留为边缘/客户功能，同时在骨干网中运行仅 IPv6，从而降低 IPv4 的配置开销。在控制平面，MP-BGP 通告带有 IPv6 下一跳的 IPv4 前缀；IPv4 数据平面流量在 NDP 解析下一跳 MAC 之后，仍然通过以太网使用 IPv4。演示使用 FRR 路由器 C1–C2 和 R1–R3：C1 在 WAN 侧为仅 IPv6，并发起 10.0.0.0/24；R1/R2 为仅 IPv6 但承载 IPv4 路由；R3 连接仅 IPv4 的 C2，使用 100.64.0.0/24。C1 成功通过 IPv4 访问 C2，确认了 IPv4 在仅 IPv6 骨干网中的连通性。
Hacker News 讨论了 RFC8950，它允许 IPv4 路由使用 IPv6 下一跳，使仅 IPv6 的网络核心在接口上无需 IPv4 即可承载传统 IPv4 流量。评论者解释这有助于运营商简化骨干网，同时保留 IPv4 边缘可达性，并将其与 MP-BGP、NAT64/CLAT 等过渡机制联系起来。该话题还讨论了更广泛的 IPv6 迁移挑战，包括 ULAs 与 GUAs 的地址选择、前缀撤回时的本地连通性、多宿主与故障转移、扩展头和 NAT。一些人称赞仅 IPv6 的核心与单栈管理；另一些人认为过渡仍然混乱，标准尚未完全解决现实中的互操作性。总体而言，RFC8950 被视为在 IPv6 基础设施上承载 IPv4 的又一个兼容工具，而非 IPv4/IPv6 共存的完整解决方案。
正在检查您的浏览器...需要 JavaScript
一个 Hacker News 帖子讨论形式化数学，尤其是使用 Lean 等证明助手。评论者们就用 AI 学数学展开辩论：它能回答问题并充当导师，但可能自信地错误解释，因此学习者仍需要教科书、仔细阅读和有成效的探索。其他人指出，形式化数学应保留的不只是定义，还有证明与联系，而一些人建议更好的界面或经过策划的“头文件式”库。讨论还涉及哥德尔不完全性定理：它们并不使已经证明的结果的形式化无效，尽管“所有数学”被松散理解。研究者将 AI 描述为揭示技巧很有用，但在创建良好定义方面较弱，同时提出对论文数量、同行评审和职业基础设施的担忧。总体而言，讨论将形式化与 AI 视为数学的有前景的伙伴，但不是捷径。
Waymo正在将全自动驾驶网约车服务扩展至多伦多，首批乘客预计在2028年。公司将开展人工驾驶、高精地图制作和安全验证，由训练有素的专家适应当地条件。Waymo与位于多伦多的Element Fleet Management合作提供车队服务，并计划在车队维护、验证驾驶、客户服务和运营等领域创造数百个岗位。Waymo表示其在运营城市已有超过4亿公里自动驾驶里程，严重伤害事故比人工驾驶少95%。公司还与无障碍和出行倡导组织合作。Waymo称该服务将补充多伦多的交通选择，并邀请居民注册获取更新。
Waymo 宣布计划将自动驾驶出租车服务扩展到多伦多，预计 2028 年开始运营。Hacker News 上的讨论既热情又有怀疑。支持者称赞 Waymo 的安全性、便利性和“未来感”，并引用了在旧金山、奥斯汀和菲尼克斯等城市的积极体验。批评者则担心冬季驾驶、被雪覆盖的车道标线、多伦多街车、交通、岗位流失、监控/隐私，以及让一家大型美国科技公司获得更多权力。评论者争论机器人出租车是否会比人类驾驶服务更便宜，一些人警告动态定价和平台劣化，另一些人则认为竞争和安全收益更重要。多人指出 Waymo 谨慎的驾驶有时会减慢交通或造成阻碍。还有一些人质疑它能否应对多伦多的天气和城市环境。总体而言，该讨论 thread 反映了对自动驾驶技术的乐观态度，同时也存在关于监管、劳动、基础设施和在雪多复杂城市中的实际表现的未解问题。
StarSkirmish v0.2 通过给每个 LLM 一小时编写一个 C++《星际争霸：母巢之战》神族机器人来评测 LLM。机器人按对固定阵容中的竞争性人类与演示机器人进行五次运行的平均胜率评估。GPT-6 Astra 领先，GPT-6.1 Sol 紧随其后；Gemini 4 Argon、Claude Opus 5.5 和 Claude Fable 5.1 紧随其后。GPT-6.1 Sol 因性价比突出，而即使最强模型对顶级人类机器人也只有 7% 胜率。运行使用各实验室第一方 CLI harness，最大推理，无网络访问，上下文压缩。分数与对抗强机器人的练习相关；Gemini 显示高运行间方差。与 v0.1 不同，评分使用固定阵容胜率而非 Elo，并且结果更追踪 Vals IOI 和 WeirdML，而非更广泛的基准套件。
Hacker News 讨论了 StarSkirmish Bench，LLM 在时间限制下编写《星际争霸：母巢之战》机器人。刷新后的基准将旗舰模型排名为 GPT-6 Astra > GPT-6.1 Sol > Gemini 4 Argon > Claude Opus 5.5 > Claude Fable 5.1 > Claude Sonnet 5.5。评论者指出其他基准也有类似排名，争论这是否表示通用智能，并强调 harness、工具和推理设置会显著影响结果。一条详细评论解释 Astra 如何通过简化策略——代理狂热者 rush、然后黑暗圣堂/timing attacks——击败人工编写的机器人，但仍然输给 Pluto。其他人讨论模型是否记忆开源机器人、星际争霸的后勤重点、APM 限制，以及直接让 LLM 玩或神经网络训练是否更有意义。帖子还涉及种族选择、机器人锦标赛和基准设计问题。
MLX 是一个用于 Apple silicon 的开源数组框架，让开发者能够在本地、私密地运行 AI 模型。使用搭载 M5 Ultra 的 Mac Studio，MLX 可以通过 Thunderbolt 上的 RDMA 在多台 Mac 上运行 Muse Spark Open（816B 参数）等前沿模型。单台 M5 Ultra Mac Studio 相比 M3 Ultra，首字生成时间提升最高 4.6 倍，解码速度提升 1.6 倍，同时保持能效。较小的模型，如 Qwen 3.8 27B 和 Mistral Medium 3.5 128B，可以装入一台 512GB 的 Mac Studio。Muse Spark Open 在 NVFP4 下需要约 493GB，必须使用流水线或张量并行在多台机器间拆分；四台 M5 Ultra 可达每秒 36 个 token 以上的解码速度。MLX 还支持面向智能体 AI 工具的本地服务器。这些进步结合了神经加速器、统一内存和快速的 Mac 间通信，使桌面端大规模模型推理成为可能。
苹果的帖子展示在本地用 MLX 运行 Meta 近万亿参数 Muse Spark Open，从一台 Mac Studio 扩展到 RDMA 链接的集群，并在四台 Mac Studio 上达到约 36 tokens/sec。评论者争论实用性：硬件昂贵，256GB Mac Studio 起价约 9,499 美元，使云 API 对许多用户更便宜。其他人认为本地推理仍因隐私、合规和本地部署而重要。帖子还讨论苹果作为本地 AI 硬件卖家而非前沿模型竞争者的定位，Apple Silicon 的内存和能效是关键优势。技术评论涵盖量化、MoE 行为、上下文限制以及与 Qwen、GLM、Mistral 等模型的比较。一些用户报告 macOS 后台进程和发热问题，而另一些人赞扬 Mac 性能。总体而言，讨论围绕在昂贵的 Apple 硬件上本地运行超大规模开放权重模型，与云推理相比是否经济合理。
研究人员发现一个约37年的OpenBSD SysV共享内存整数溢出：有符号16位附着计数器回绕，即使有KARL/SMAP/SMEP，也能实现本地权限提升。利用通过fork使计数器回绕，将IPC_RMID与附着操作并发竞争，通过越界写破坏ip_moptions计数器，然后使用原子递减使PTE自映射可被监督者访问并执行内核代码。修复作为errata 026和018发布。建议的缓解措施包括安全解链、随机化递归PTE映射、分配器基址/运行时随机化、数组边界检查器和Alloc Tokens。OpenBSD确定性分配器和可预测的早期分配有助利用；更广泛的加固可以提高攻击者成本。
Hacker News 链接了一篇 calif.io 关于利用一个 37 年历史的 OpenBSD 内核漏洞的文章。一位评论者描述该漏洞利用为映射 127 个 SysV 共享内存段、取消映射，并 fork 259 个进程以绕过附加计数。讨论争执文章是否由 AI 生成以及其简短程度。其他人指出 NetBSD 似乎在 1999 年就修复了此问题。评论者质疑 OpenBSD“深度审计”的声誉，指出其开发者基数小、服务默认禁用以及“只有两个远程漏洞”的口号。一些人认为 C 缺乏内存安全是根本原因；另一些人建议形式化验证、C 扩展，或认为运维问题更重要。还有评论比较 OpenBSD 与 Linux/BSD，并质疑安全声明；有人认为 AI 图像令人反感。总体而言，该帖突显了一个长期存在的内核漏洞以及关于审计深度、语言安全和操作系统安全态势的更广泛争论。
Anthropic 在代码变更从 2026 年5月每天约 2,500 次激增至9月每天超过 30,000 次后，构建了自定义的集中式源代码控制系统 Scion。此举应对巨大规模：主分支历史约 100 GB，压缩工作副本 25 GB，以及每天 2500 万次 CI 检出。一个七人团队在五个月内完成从 Git 的迁移。Scion 借鉴了 Google Piper 和 Meta Sapling/Mononoke 等先前系统，并且缺乏离线支持，因为 Claude 是其主要用户，且必然在线。Anthropic 还使用 "Antique" 进行代码审查和对抗性 AI 审查，这很有效，但可能目光短浅，需要工程师防止过度工程化。
一个讨论 Anthropic 源码控制重设计的 Hacker News 帖子。主要主题：
- **过度工程：** Claude（尤其是 Opus）缺乏"足够好"的意识，为了关闭假设性的边界情况而堆叠类与复杂度，而非简化。
- **速度与质量：** 对每日约 30k commits 的怀疑——是真实生产力提升，还是失控的混乱隐藏着意大利面条式代码。更多提交可能也只是更多训练数据。
- **人类瓶颈：** 代码审查跟不上代理的速度；AI 写的解释往往比代码本身更难理解。
- **价值与体量：** 评论者认为大部分价值在于护城河与客户粘性，而非代码规模——大约每行 1000 美元——因此大量 token 输出不一定是生产力。
- **工艺退化：** 担心开发者正在失去极简主义纪律，接受臃肿、难以维护的 AI 生成代码。
整体情绪：高提交速度与 AI 辅助有风险造成不可管理的复杂度稳态，怀疑当前实践是否反映真正的工程卓越。
在广为转载的《神经古怪的男人》之前，M. R. Keep牧师在1861年的一篇文章描述了麦达瓦斯卡的跳跃法国人。Keep估计该地区四分之一到三分之一的法裔加拿大人是跳跃者，会不由自主地跳跃、尖叫、打击和投掷，失去自我控制。虽然他们有时为了娱乐而互相跳跃，受害者却害怕它。文章结尾是一起事件：一名被跳跃的工人意外用斧头击中折磨者的面部和眼睛，使他失能两周；后来的转载有时把“Blake”改为“Blade”。
Hacker News 关于《Men with Queer Nerves: The Jumping Frenchmen of Maine》的讨论中，包含一条自称有相同病症的个人评论。他们描述了家族特征，如对大声的夸张惊吓反应、对亲人需求的回避或强迫性地为亲人修小问题，以及与神经多样性、感官敏感、自身免疫问题和代际家族功能障碍的可能联系。他们不确定遗传与环境各占多少，并除了阿卡迪亚血统外，怀疑与伐木业的联系。另一位评论者推荐了《Cutover Capitalism: The Industrialization of the Northern Forest》一书，给对东北部历史感兴趣的读者。帖子本身有21分和两条评论。