Old and new apps, via modern coding agents by Terry Tao
453 points • 5 days agoArticle Link

Terence Tao 长期使用交互式小程序作为数学研究和教学的可视化辅助工具。上世纪 90 年代末,他手工编写了几个 Java applets 来展示诸如 Besicovitch sets 和 honeycombs 等复杂数学对象。但随着网络标准演进、对原始 Java 的支持逐渐消失,这些工具也相应失效。最近,Tao 启动了一个项目,把自己的网站内容迁移到更可持续的存储库,并借助现代 AI 来恢复这些已过时的程序。

Ghostel.el: Terminal emulator powered by libghostty
306 points • 5 days agoArticle Link

Ghostel 是一个由 libghostty-vt 驱动的 Emacs 终端模拟器,与 Ghostty 共享同一引擎。它采用双层架构:用 Zig 编写的本地动态模块负责终端状态、渲染和本地 PTY 的输入 / 输出,Emacs Lisp 则负责用户界面、键位映射和进程编排。这样的设计使 Ghostel 能在 Emacs 中实现现代终端功能,包括对 Kitty 的 keyboard 和 graphics 协议、 OSC 8 超链接、真彩色和同步输出的支持。

Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase
162 points • 5 days agoArticle Link

Mindwalk 是一款创新的可视化工具,通过在代码库的 3D 地图上重放会话,帮助开发者直观理解自主编码代理的行为。传统的会话日志只是线性、文本化地记录代理的操作,无法反映代理对代码仓库的空间认知,也看不出某些文件对任务的重要性。 Mindwalk 把代码库渲染成一幅夜景地图——当文件被探索、读取或修改时会发光,开发者因此可以把代理的"思路"看成具体的空间形态。

What xAI's Grok Build CLI Actually Sends to xAI
537 points • 5 days agoArticle Link

对 xAI 的 Grok Build CLI(版本 0.2.93)进行的线级分析发现,该工具会以对普通用户不够透明的方式,将大量用户数据传回公司服务器。通过使用代理监控流量并可复现的拆解流程,研究人员发现 CLI 会主动上传单个文件的内容以及整个代码库的快照,这些传输经由两个不同通道进行:一是实时的模型交互通信(model-turn),二是将数据路由到名为 grok-code-session-traces 的 Google Cloud Storage 存储桶的独立存储上传进程。

How Doctors die. It's not like the rest of us (2016)
254 points • 5 days agoArticle Link

医生常常处在一种两难境地:他们在临终病人身上实施的医疗手段,是他们自己绝不会选择接受的。大众往往把越多的医疗干预等同于越好的照护,而那些了解现代医学局限性的医生则更倾向于在生命尽头选择更安静、侵入性更小的方式。因为他们深知,诸如心肺复苏或激进手术等高科技"壮举"往往对延长生命帮助有限,却显著降低生命质量,常常以痛苦、孤独的方式结束生命。

Weightlifting beats running for blood sugar control, researchers find (2025)
147 points • 5 days agoArticle Link

Fralin Biomedical Research Institute at VTC 的研究人员发现,对于控制血糖以及应对与肥胖和 2 型糖尿病相关的问题,力量训练可能比跑步更有效。虽然这两种运动的健康益处早已得到认可,但本研究提供了罕见的并列比较,以判断哪种运动在代谢改善方面更占优势。

Mesh LLM: distributed AI computing on iroh
347 points • 5 days agoArticle Link

现代大型语言模型通常被锁定在昂贵的集中式数据中心,用户因此失去对硬件、数据隐私以及不断变化的模型策略的控制。 Mesh LLM 挑战了这一现状:它将分布式机器上的现有 GPU 和内存资源汇聚整合为一个统一的整体,使用户能够在本地运行模型、与团队共享算力,甚至把大型模型拆分到多台设备上协同运行,同时通过熟悉的 OpenAI-compatible API 进行交互。

Stop Telling Me to Ask an LLM
243 points • 5 days agoArticle Link

人们对把复杂问题一概转给 Claude 或其他生成式 AI 的做法越来越不满。当向经验丰富的专业人士请教细微或棘手的问题时,得到的回答常常是建议去问 LLM 。这种建议往往忽视了一个事实:提问者在寻求人类意见之前,很可能已经尝试过这些工具了。

RISCBoy is an open-source portable games console, designed from scratch
208 points • 5 days agoArticle Link

RISCBoy 是一个从零开始打造的开源便携游戏机项目,设想如果在 2001 年就有 RISC-V 架构,掌机会是什么样子——可把它看作对 Gameboy Advance 的一种重构。项目覆盖完整的硬件栈:定制的 RISC-V 兼容 CPU 、光栅图形流水线、显示控制器,以及总线结构、内存控制器等必要的芯片基础设施。

Show HN: Ant – A JavaScript runtime and ecosystem
327 points • 5 days agoArticle Link

Ant 是一个高性能、轻量级的 JavaScript 运行时,旨在为现有环境提供更简洁的替代方案。与大多数依赖 V8 、 JSC 或 SpiderMonkey 等成熟引擎的现代运行时不同,Ant 采用自研引擎 Ant Silver 。整个运行时仅打包为一个可移植的 9 MB 二进制文件,免去臃肿的 50 MB 下载或复杂的工具链配置,同时与标准 JavaScript 工具及 WinterTC 标准保持 100% 兼容。