原标题：《How an MIT research project became a global programming language》 评分: 20 | 作者: theanonymousone 💭 连 JIT 缓存都没补上，就敢写全球语言神话？ 🎯 讨论背景 这篇文章讲的是 Julia（起源于 MIT 的开源动态编程语言）如何从研究项目成长为被科学计算和高性能计算社区广泛使用的语言。评论把焦点放在它最有名的矛盾：运行时很快，但 JIT（即时编译）带来的首次启动延迟常常让脚本体验变差。有人提到 Julia 1.14 将加入会话间缓存，以及现有的 PkgImages（Julia 的预编译包镜像机制）是否已能解决部分问题。讨论还延伸到它和 R、Matlab、Lisp、Fortran 及 C 的定位差异，以及 MIT 和 JuliaHub（Julia 的商业公司）到底谁更该被写进成功故事里。 📌 讨论焦点 JIT 启动延迟与缓存体验 有评论认可 Julia 的速度和生态，但认为真正影响使用的是 DX：脚本本身只跑几十毫秒，却要先花几秒做编译。评论里提到缺少有效的 JIT 缓存是最致
原标题：《Grep beats LSP? Why coding agents ignore your fancier tools》 评分: 22 | 作者: kaonashi-tyc-01 💭 有 LSP 还要 grep，难道这叫智能编程吗？ 🎯 讨论背景 讨论起点是一篇文章，主张 coding agents（如 Claude Code，Anthropic 的命令行编程代理）在查找代码时常更爱用 grep、find 和 ripgrep，而不是 LSP（Language Server Protocol，语言服务器协议）。评论里很多人把焦点放到现实工作流：LSP 依赖 IDE、配置和本地索引，任何一个环节坏掉都会让 agent 回到最朴素的文本搜索。有人把这种经验延伸到 Emacs（高度可扩展的文本编辑器）和 Neovim（可脚本化的终端编辑器），认为文本搜索、模糊选择和本地索引更符合 LLM 的工作方式。另一部分人则从已编译依赖、JAR、bytecode 和反编译的角度解释为什么 agent 经常回退到 grep、javap 这类直接工具。文章和评论一起指向一个问题：更“高级”的语言
原标题：《The largest electric aircraft just flew [video]》 评分: 240 | 作者: feb 💭 飞 125 英里后烧油，还算纯电吗？ 🎯 讨论背景 Heart Aerospace（YC W19 的瑞典电动飞机创业公司）这次公开飞行的是 X1 演示机，而不是其计划中的 ES-30 商业机型。X1 走的是纯电路线，ES-30 则设计成 30 座级 regional aircraft（支线飞机），纯电约 125 英里，混动约 500 英里。混动部分依赖两台由 sustainable aviation fuel（SAF，可持续航空燃料）驱动的 turbo generators，用来覆盖 reserve 和 diversion（备降）需求，因此评论里一直在讨论这到底算不算“电动飞机”。这场讨论也反映了航空业的老难题：battery energy density（电池能量密度）仍然很难与 Jet-A 燃油相比，但 clean-sheet airframe（从零开始设计的机体）和更简单的 electric propulsion（电推进）可能让短
原标题：《Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out》 评分: 137 | 作者: screm 💭 以后让 Agent 推荐产品，也要先买广告位吗？ 🎯 讨论背景 这篇帖子来自 Armature（YC P26 创业公司，一家面向 dev tools 的增长服务商）发布的一项研究，作者称自己在一个尽量接近真实工作流的环境里跑了近 17k 次 session，观察 Claude Code（Anthropic 的 coding agent）、Codex（OpenAI 的 coding agent）和 Cursor（AI code editor）在不同仓库、不同人物设定下会选哪些工具。评论默认读者已经熟悉这些 coding agent 会调用 web search、文件编辑和 shell 工具，也熟悉它们在开发流程里越来越像“决策者”而不只是补全器。很多人补充说，工具选择不只取决于模型，还可能被 system prompt、tool instructions、仓库上下文和
原标题：《A Mysterious Kidney Disease Has Arrived in Texas》 评分: 30 | 作者: johntfella 💭 难道高温、脱水、毒物都不算任何线索吗？ 🎯 讨论背景 这篇讨论围绕 Texas（美国德州）一篇关于“神秘肾病”的报道展开，指向的是在高温环境下工作的 Latino field workers（拉丁裔农场工人）中出现的慢性肾病。评论里反复提到 CKDu（慢性肾病不明原因）这种在 Sri Lanka、India 等地也见到的模式，暗示它并不局限于某个族群，而更像是热、脱水、体力劳动和环境暴露叠加后的职业病。有人把注意力放在 pesticides、herbicides、nitrites 等农业化学品上，也有人强调 Texas 的劳动保护和高温监管不足。另一个现实背景是医疗可及性：这些工人未必有稳定的血检、尿检或专科诊断路径，因此疾病往往在晚期才被发现。 📌 讨论焦点 高温工地/农场作业导致的慢性肾损伤 不少评论认为，这更像是长期高温作业引发的职业性肾损伤，而不是真正“神秘”的疾病。有人分享自己在炎热地区从事建筑工作的经历，提到
原标题：《Unusual Suspects》 评分: 131 | 作者: beeperboy95 💭 Cinnamoroll 都 88% ，这评分是抽签吧？ 🎯 讨论背景 《Unusual Suspects》是 neal.fun（一个以创意浏览器小游戏闻名的网站）上的一款网页游戏，玩家根据角色提示进行涂鸦，系统再按相似度给出分数。评论里很多人把它看成“猜画”或“画图识别”游戏，重点不在画得像不像，而在能否抓住目标角色的关键特征。围绕评分机制，大家猜测它可能用了 CLIP（图文对齐模型）或 embedding（向量表示）来比较用户涂鸦和目标图像。与此同时，讨论也延伸到移动端操作、Firefox on Linux 卡顿、自动播放音频，以及 Google 同意弹窗和追踪脚本等网站层面的体验问题。 📌 讨论焦点 搞笑猜画与涂鸦反差 很多人把这款游戏当成纯粹的搞笑体验，核心乐趣来自自己潦草的手绘和真实角色之间的巨大反差。有人把它类比成 Telestrations（接龙画图桌游），认为这种“画出来再揭晓”的机制天然适合制造荒诞感。评论里举了不少例子，比如把 Mr. Peanut 画成“芥末罐
原标题：《GPT-6 Astra》 评分: 1436 | 作者: kibae 💭 把自家 harness 调好就能宣布 AGI 了？ 🎯 讨论背景 这次讨论围绕 OpenAI 发布的 GPT-6 Astra 展开，官方把它定位为面向 ChatGPT、Codex、API 和企业用户的新一代模型，并给出了 ARC-AGI-3、DeepSWE、ExploitGym、SRE-Bench 等多项高分。争议核心在于 ARC-AGI-3（Fran çois Chollet 设计的第三代抽象推理基准）是否被 OpenAI 自家的 Responses API harness 和 compaction 机制“放大”了分数，而不是单纯反映模型本体能力。系统卡里关于 CoT、monitorability、sandbagging 和 sabotage tasks 的描述，又让安全与 deception 话题迅速升温。评论区同时把 OpenAI 之前对 AGI 的各种说法（远程同事、most economically valuable work、novel physics）拿来反复对照，试图判断这次到底是能力
原标题：《K2 Horizon: Frontier Performance, Radically Open》 评分: 268 | 作者: karimf 💭 先设登录墙，还叫 Radically Open？ 🎯 讨论背景 K2 Horizon 是 IFM（看起来与 UAE 的 Mohamed bin Zayed University of Artificial Intelligence 相关）的新一代 LLM 系列，主打 frontier performance 和“radically open”。发布页、Hugging Face（模型与数据集托管平台）和 GitHub（代码托管平台）里能看到不同尺寸的模型、数据集和部分代码，但有人指出 pre-training / post-training 仓库仍有 placeholder，完整 recipe 可能还没补齐。讨论因此迅速转向：什么才算真正 open，是否必须连 training data、数据来源和处理流程一起公开，以及这会不会撞上 copyright、privacy 和 license 的现实限制。评论还拿 OLMo（Allen
原标题：《New type of dice guarantees no tie when deciding who goes first》 评分: 21 | 作者: colinprince 💭 这都卖成商品了，还能算新发明？ 🎯 讨论背景 这篇讨论源自 CBC Radio（加拿大广播公司电台）关于 Go First Dice（用于无平局决定桌游先手的特殊骰子）的报道。故事里的核心人物 Eric Harshbarger（制作数学/艺术骰子的设计者）和同伴一开始就知道数学上有解，但真正难点是把它做成可生产、可投掷的实体骰子。评论补充说，早期理论方案曾夸张到每个骰子 1440 面，后来压到 120 面，并且还知道至少不能少于 30 面。项目后来还扩展出 3 人、4 人、5 人版本，而且已经有实体产品在售。 📌 讨论焦点 从数学可行到物理可制造 不少评论强调，这个问题不是“有没有数学解”，而是“能不能做成真正能掷的骰子”。有人提到，理论上早就知道存在解，但早期方案夸张到每个骰子要 1440 面，现实中根本无法生产。后来通过优化把方案压到 120 面，同时评论里还提到已知下界是 30 面，
原标题：《Gloria Steinem has died》 评分: 140 | 作者: mellosouls 💭 她一死，女权就只剩 CIA 和脑科学争论了吗？ 🎯 讨论背景 Gloria Steinem（美国知名女权主义作家、记者，第二波女性主义代表人物）去世后，NYT（纽约时报）讣告和 HN 评论区把她的历史定位重新翻出来讨论。她年轻时与 CIA（美国中央情报局）的关联、在冷战时期接触欧洲进步团体、以及后来对 CIA 的辩护，都被拿来当作理解她政治角色的关键背景。另一条主线是她关于把儿子像女儿一样养大的名言，引出脑科学、社会化、fMRI 和 social psychology 可重复性的争论。评论还延伸到 feminism 是否等同 human rights、何谓 victim-blaming，以及 HN 自身的 flamebait 文化。 📌 讨论焦点 CIA 与冷战软实力争议 评论不断追问她与 CIA（美国中央情报局）的历史关系，认为这不只是个人经历，而是冷战时期美国 soft power（软实力）的一环。有人把她描述为把女性主义从更偏社会主义的谱系中“去激进化”的中间人
