← Back to Latest

Hacker News Posts - Week 2025-19

Last updated: 5/9/2025, 8:18:49 PM

为什么说 536 年是“活着最糟糕的一年”:冰川揭示的火山爆发事件

文章探讨了公元536年被称为“活着最糟糕的一年”的原因。研究表明,冰岛火山爆发导致欧洲陷入黑暗,气温骤降,引发饥荒和瘟疫。通过对瑞士冰川冰芯的分析,科学家们确认了536年、540年和547年多次火山爆发,并揭示了这些灾难对欧洲社会经济的长期影响。冰芯记录还显示,在经济复苏后,640年铅含量激增,标志着白银开采的复兴。

冒险游戏的发明 (1984): _Adventure_ 和 _Rocky's Boots_ 的设计

这篇文章是关于冒险游戏的发明,主要探讨了早期电子游戏的发展。它追溯了从基于文本的冒险游戏 _Colossal Cave_ 到动作冒险游戏 _Adventure_ (Atari 2600 平台) 的演变,并介绍了教育模拟游戏 _Rocky's Boots_。文章详细介绍了游戏设计中的关键元素,如玩家输入、对象、生物、迷宫以及构建机器等。此外,还讨论了游戏设计灵感、空间感和生物行为模拟等问题,并附有程序结构说明。

新工具:lsds - 一站式列出所有 Linux 块设备及其配置

文章介绍了新工具 **lsds**,一个用 Python 编写的命令行工具,用于一站式查看 Linux 块设备及其配置信息。 **lsds** 直接从 sysfs 读取数据,避免了运行多个命令和关联输出的麻烦,例如 `lsblk`、`lsscsi` 等。文章展示了 **lsds** 的基本用法,包括查看设备信息、自定义显示列、以及使用 `--pivot` 和 `--verbose` 选项。此外,文章还探讨了不同类型 SSD 的写入缓存模式和 FUA 标志,以及该工具在不同环境下的输出示例。

Odin:一种务实的 C 语言替代品,带有 Go 的风格

Odin 是一种务实的 C 语言替代品,强调简单、性能和可读性。它内置动态 maps 和数组,并提供丰富的开箱即用功能,旨在提升编程体验。Odin 语法简洁,借鉴了 Jai 的设计,并采用 Go 的错误处理方式。与 Jai 相比,Odin 更注重实用性而非元编程;与 Zig 相比,Odin 更注重简洁和用户体验。虽然文档和社区建设有待加强,但其务实的设计和对开发人员的关注,使其成为一个值得关注的 C 语言替代方案。

利用网络科学“猜测”教皇:在主教会议的网络中

文章探讨了网络科学如何应用于分析教皇选举。研究者构建了“梵蒂冈网络”模型,通过分析枢机主教间的关系,包括官方合作、主教传承和非正式关系,评估其“突出地位”。模型关注地位、信息控制和联盟建设能力三个关键因素,并结合年龄因素,预测潜在的“准教皇”人选。研究结果揭示了梵蒂冈网络中的中心人物,并强调了该模型作为理解选举背景的工具,而非预言。

Rollstack (YC W23) 正在招聘 TypeScript 工程师 (美国/加拿大 远程)

Rollstack (YC W23) 正在招聘远程 TypeScript 工程师,地点位于美国/加拿大。该公司致力于报表自动化,通过连接 BI 工具,自动生成和更新数据驱动的幻灯片和文档。技术栈包括 TypeScript、React、Node.js、Prisma、Temporal、OpenAI API 等。 工程师将参与构建新功能、优化数据同步、集成 BI 工具和内容平台。 薪资范围为 14 万至 20 万美元,并提供股权。 申请者需具备 2-6 年相关工作经验,2 年 TypeScript、Node.js 和 React 经验。 面试流程包括技术和匹配面试。

The Anarchitecture Group:对建筑的反思

文章介绍了 **The Anarchitecture Group**,一个成立于1970年代纽约的艺术家团体。该团体批判现代主义建筑的僵化,成员包括艺术家和建筑师。他们通过匿名合作、文字游戏和照片等方式,探讨城市、居住方式和财产等问题,揭示建筑在资本主义中的角色。成员之一 **Matta Clark** 的“建筑切割”作品,是对废弃建筑的改造,进一步深化了团体的理念,评论社会对物质财富的追求。

Show HN: Oliphaunt – 一款 macOS 原生 Mastodon 客户端

本文介绍了 macOS 原生 Mastodon 客户端 Oliphaunt 的 beta 测试,需要通过 TestFlight 应用参与。文章详细说明了 TestFlight 的使用方法,包括安装、测试 beta 应用、提供反馈、管理自动更新等。用户需先安装 TestFlight,然后通过邀请或公开链接加入测试,并可提交反馈。文章还强调了隐私保护,开发者仅能使用收集到的数据改进应用,且不能与第三方共享。

Show HN: BlenderQ – A TUI for managing multiple Blender renders

BlenderQ 是一款基于终端的用户界面 (TUI) 工具,用于管理本地 Blender 渲染任务。它允许用户将多个 `.blend` 文件添加到队列中,并在终端中监控渲染进度。该工具使用 Node.js (TypeScript) 构建,具有交互式界面、主题支持,并提供简单的导航和状态跟踪。目前处于 Beta 阶段,需要 Node.js (v20+) 和 Blender (v3.5+) 作为先决条件。用户可以通过 npm 或 pnpm 全局安装,并使用命令行添加 `.blend` 文件或指定目录。作者选择 Node.js 是因为其开发效率和 Ink 框架的优势,使其能快速构建功能完善的 TUI。

Sorbet 类型语法的过去、现在和未来

这篇文章回顾了 Sorbet 类型语法的设计演变,探讨了其在 Stripe 的起源和发展。文章分析了多种类型语法设计方案,包括 TypeScript、头文件、JSDoc 和 Python 的方法,最终选择了 DSL 方法。文章强调了类型是表达式的特性带来的约束,如语法冲突和前向引用问题,并讨论了通过块延迟评估等方式解决这些问题。最后,文章展望了未来 Sorbet 语法可能的变化,旨在提升用户体验。

Show HN: 一个与后端无关的 Ruby 框架,用于构建响应式桌面应用

这是一个基于 Ruby 的框架,名为 Hokusai,用于构建与后端无关的响应式桌面应用程序。它使用 Raylib 或 SDL2 作为后端,并提供示例计数器应用程序。开发需要安装 xmake 和 Ruby,并按照步骤构建和运行。该项目使用 Peer Production License 协议。

前最高法院大法官David Souter去世,享年85岁

前最高法院大法官 **David Souter** 去世,享年85岁。他于1990年由 **George H.W. Bush** 总统任命,2009年退休。**Souter** 在任期间出乎意料地加入了法院的自由派阵营,与保守派立场有所不同。他毕业于 **Harvard**,生活低调,喜欢回到新罕布什尔州,抵制现代科技,并以其智慧和对公共服务的奉献而闻名。

由于计算机系统故障,整个BART系统瘫痪

由于计算机系统故障,整个BART系统曾一度瘫痪,现已恢复服务。但由于早前的列车控制问题,预计所有目的地的服务将出现重大延误。文章提供了BART的各种服务信息链接,包括时刻表、行程规划、车站详情、使用指南、新闻、关于BART的信息以及联系方式等。

ALICE 探测到在 LHC 中铅到金的转化

ALICE 实验在 LHC 中观察到铅原子核在高能碰撞中转化为金。这种转化是通过强电磁场诱导的,导致铅原子核失去质子。研究团队量化了这种转化过程,发现LHC每秒产生约89000个金原子核。尽管实现了炼金术士的梦想,但产生的金的量极少,仅为29皮克,远不足以用于实际应用。这项研究也验证了电磁解离的理论模型,对理解和预测LHC的性能有重要意义。

itter.sh – 终端下的微型博客

**itter.sh** 是一个基于 **SSH** 的极简主义社交媒体平台,用户通过终端进行交互。它没有网页界面、**JavaScript** 和算法推荐,专注于纯粹的文字分享。用户通过 **SSH** 注册、登录,发布短消息("eets",180字符限制),并使用简单的命令进行互动,如查看时间线、关注用户等。该平台使用 **Python**、**AsyncSSH** 和 **Supabase** 构建,旨在提供一种摆脱喧嚣的社交体验。

Show HN: Hyper – 首重标准的 React 替代方案

文章介绍了 Hyper,一个首重标准的 React 替代方案,旨在通过使用 HTML、CSS 和 JavaScript 等 Web 标准,构建简洁、可扩展的用户界面。Hyper 强调简单性,减少抽象,并提供解耦的设计系统,与 React 的单体架构形成对比。文章通过对比 React 和 Hyper 在简单和复杂组件、设计系统和可扩展性方面的差异,展示了 Hyper 的优势。Hyper 最终目标是构建更简单的堆栈,并计划在全栈应用和生成式 UI 方面进行发展。

Dasung Paperlike 13K is a 13.3 inch E Ink color monitor

Dasung Paperlike 13K 是一款 13.3 英寸 E Ink 彩色显示器,分辨率为 3200 x 2400,灰度内容可达 300 ppi,刷新率最高 37 Hz。它支持 USB Type-C 和 HDMI 输入,具备触摸屏和“反向触摸控制”功能,并提供 3.5 毫米音频插孔、内置扬声器和物理按键。这款显示器采用铝合金机身,配有多种配件,包括支架和保护盖。彩色版售价 749 美元,黑白版 679 美元。虽然色彩表现不如 LCD 或 AMOLED,但具有低功耗和护眼特性。目前支持 Windows、Linux 和 Android,预计 3 周内发货。

使用 SIMD 在 AMD 9950X 上实现 21 GB/s 的 CSV 解析

文章介绍了 .NET CSV 解析器 Sep 在 AMD 9950X 处理器上的性能优化,特别是通过 SIMD 技术实现高达 21 GB/s 的解析速度。作者详细分析了从 .NET 7.0 到 9.0,以及从 AMD 5950X 到 9950X 的性能演进。核心在于改进了 AVX-512 代码生成,绕过了 mask 寄存器问题,并引入了 AVX-512-to-256 解析器,最终实现了性能的显著提升。文章还对比了不同解析器的性能,并展示了代码和汇编级别的优化细节。

Hollow Core Fiber (HCF)

Hollow Core Fiber (HCF) 是一种新型光纤,与传统光纤不同,它通过空心纤芯传输光,而非实心玻璃或塑料。这种设计减少了信号损耗和延迟,提高了功率处理能力,并降低了非线性效应和色散。HCF 具有制造复杂、成本较高、耐用性较差等挑战,但其在电信、医疗设备、高功率激光系统、传感和数据中心等领域有广泛应用前景。

基于计算机视觉重建蛾翅膀上的错觉伪装图案

该研究利用计算机视觉技术,通过两种方法(固有图像分解和深度学习)重建蛾翅膀上的错觉伪装图案,以探究其潜在的深度信息。研究首先评估了这些方法在模拟蛾翅膀图案的自然三维表面的表现,然后应用于六种蛾类的翅膀图案。结果显示,基于Retinex理论的固有图像分解对真实深度线索和高对比度图案敏感,而深度学习模型仅对具有强烈图像深度线索的蛾类有反应。研究揭示了视觉线索的解释不仅取决于信息,还受经验影响。

Sofie:用于自动化直播电视新闻制作的开源 Web 系统

Sofie 是一个用于自动化直播电视新闻制作的开源 Web 系统。它专为演播室和直播节目设计,由挪威公共服务广播公司 NRK 开发并使用。文章提供了 Sofie 的用户指南、开发者文档和版本发布信息,并鼓励用户加入 Slack 社区进行交流。

USPTO 驳回 Tesla Robotaxi 商标申请,理由是“仅具描述性”

美国专利商标局 (USPTO) 驳回了 Tesla "robotaxi" 商标申请,理由是该词汇过于通用,仅具描述性。文章指出,Tesla 的未来计划依赖于无人驾驶双座汽车,但其商标申请受阻。同时,"Cybercab" 商标申请也被驳回,原因在于与其他公司已注册的类似商标可能造成混淆。文章还提到了 Tesla 在自动驾驶技术方面面临的挑战,以及与 Alcon Entertainment 的诉讼。

Show HN: Aberdeen - 一种优雅的响应式UI构建方法

文章介绍了 Aberdeen,一种使用纯 TypeScript/JavaScript 构建响应式 UI 的方法,无需 virtual DOM。核心思想是使用匿名函数发出 DOM 元素,并在底层代理数据变化时自动重新运行。Aberdeen 具有优雅、快速、体积小等优点,并提供列表功能、客户端路由等。缺点是社区和生态系统相对较小。文章还提供了示例和学习资源,并宣布了 1.0 版本的发布。

NSF面临重大改革:官员废除其37个部门

美国国家科学基金会(NSF)面临重大改革,计划废除其下属的37个部门,以响应总统的指令。此举涉及大量裁员和项目缩减,部门主管将被撤换。改革部分源于预算削减,也可能涉及资助流程的重组,包括增加审查层级。观察人士担忧,NSF可能更容易受到政治影响。该机构已取消了大量资助,并计划进一步裁员。

天主教会因神父遵守美国新州法律而处以绝罚:一场关于宗教自由的较量

华盛顿州新法要求神职人员报告儿童性侵忏悔,引发天主教会强烈反弹。教会警告,遵守新法将面临绝罚,认为其侵犯宗教自由,违反忏悔保密原则。该法律与教会教义冲突,挑战了教会与国家之间的界限。美国司法部正在调查该法是否违宪。此事件涉及宗教自由与保护儿童的冲突,可能对其他州相关法律产生影响,并引发全国性讨论。

CryptPad:一款替代 Google Suite 的选择

CryptPad 是一款开源、端到端加密的协作办公套件,旨在替代 Google Suite。它提供文档、表格、看板等多种工具,支持实时编辑和协作,并注重用户隐私。用户评价普遍认为其易于使用、安全可靠,是注重隐私的 Google Docs 替代品,无需牺牲功能或易用性。CryptPad 允许匿名协作,数据安全,且界面简洁,适合团队协作和个人使用。

数据操纵指控浮现:一项研究为微软量子芯片铺平道路

一项关于微软量子芯片的研究因数据操纵指控受到质疑。2017年发表在 _Nature Communications_ 上的论文,展示了纳米线作为量子比特的可行性,但内部邮件显示研究人员对数据处理存在担忧。一位作者承认存在“未公开的数据操纵”,导致更正,但部分作者认为不足以解决问题,应撤回论文。该研究涉及寻找 Majorana 准粒子,但该领域此前已有多篇论文被撤回或面临质疑。微软坚称对研究结果有信心,而期刊则认为此事已结束。

亚马逊的 Vulcan Robots:存储速度超越人类

文章介绍了亚马逊的 Vulcan 机器人,该机器人系统在德国仓库中测试,用于存储物品。研究表明,Vulcan 机器人存储速度已超越人类平均水平,且速度是18个月前的三倍。机器人通过提前规划优化存储流程,一次性掌握所有物品信息,从而提高效率。虽然人类在操作和高密度存储方面仍有优势,但机器人正在缩小差距。亚马逊计划让 Vulcan 机器人每天运行20小时,存储80%的商品,目标是每小时存储300件商品。

C++26 实现 Struct of Arrays

文章介绍了使用 C++26 Reflection 实现 Struct of Arrays (SoA) 的方法,目标是优化内存使用,类似于 Zig 语言中的 `MultiArrayList`。文章首先阐述了SoA的优势,然后通过一个 `Point` 结构体,详细展示了如何使用 `std::meta::define_aggregate()` 和其他 C++26 Reflection 特性,构建 `SoaVector`,实现 `push_back` 和索引操作,包括 const 和非 const 索引运算符,以及代理引用。最后,文章简要对比了 C++ 实现与 Zig 的 `MultiArrayList`,并指出 Zig 在类型定义上的简洁性。

Show HN: Hyvector – 一款快速且现代的 SVG 编辑器

这是一款名为 Hyvector 的 SVG 编辑器,目前处于 1.0 beta 版本。它提供基础的 SVG 编辑功能,包括文件操作、编辑、对象管理、视图控制和帮助。界面简洁,用户可以通过它进行 SVG 文件的创建和修改,并能调整图形的填充、描边等属性。

Linux Kernel 的 PGP 信任网络分析

文章分析了 Linux Kernel 使用的 PGP 信任网络。该网络依赖于密钥集合,维护在 git 仓库中,并要求密钥的信任路径长度不超过5。文章指出,由于 GnuPG 2.4.x 开始拒绝使用 SHA-1 签名,可能导致大量密钥失去信任路径,影响密钥的有效性。如果移除 SHA-1 签名,将有大量公钥不再符合添加条件,包括一些重要的开发者密钥。文章最后提到了一个密钥签名活动,旨在改善这种情况。

WASM 2.0

本文档是 WebAssembly (WASM) 核心规范的 2.0 版本,是 W3C 的候选推荐草案。它描述了 WASM 的核心标准,一种安全、可移植的低级代码格式,旨在高效执行和紧凑表示。文档包括了 WASM 的结构、验证、执行、二进制格式和文本格式等内容,并声明该规范将作为“living standard”持续更新,而非转换为 Recommendation 状态。

男童在 Amazon 误购 7 万根棒棒糖引发恐慌

一位父亲的儿子在玩手机时,误在 Amazon 上订购了价值近 3000 美元的 7 万根棒棒糖,且无法退货。这位父亲不得不将棒棒糖分发给社区、朋友、邻居和当地食品储藏室。他希望以此警示其他家长,小心孩子使用手机购物。这起事件在社交媒体上引发讨论,许多人分享了类似经历。

DOGE 软件工程师的电脑感染信息窃取恶意软件

文章披露,一名DOGE软件工程师的电脑被信息窃取恶意软件感染。泄露的“stealer logs”中发现了该工程师的凭据,表明其设备可能已被入侵。该工程师同时在CISA任职,可能接触敏感信息。文章指出,其多个账户的用户名和密码出现在恶意软件日志中,可能涉及多起数据泄露事件。虽然凭据泄露不一定代表个人受损,但结合其工作性质,攻击者可能已获取其掌握的敏感信息。

西门子 PC 100 汇编手册 (1980) 中的 6502 非法操作码

文章探讨了西门子1980年PC 100汇编手册中收录的6502处理器“非法”操作码。该手册基于Rockwell的原始资料,但增加了“特殊指令”章节,详细描述了AAX、DCM、LAX和ISB等非法操作码的功能和寻址方式。作者分析了这些操作码的准确性,指出西门子手册在稳定操作码的获取上是正确的,但对不稳定操作码的理解存在偏差。文章推测这些信息可能源于西门子的原创研究或其他来源。

AI 的关键:验证 (2001)

文章核心观点是:成功的 AI 关键在于其自我验证能力。作者认为,AI 系统应能在其知识范围内进行自我验证,而非依赖人工评估和修改。文章通过分析基于搜索的 AI 系统(如 Deep Blue)的优缺点,强调了验证在规划、评估和动作结果等层面的重要性。缺乏自我验证能力的 AI 系统将难以构建大型、可靠的知识系统,其规模将受限于人工监控的范围。作者呼吁 AI 系统应具备验证自身知识的能力,以克服现有 AI 系统的脆弱性。

LegoGPT:从文本生成物理稳定且可搭建的乐高模型

LegoGPT 是一种基于文本提示生成物理稳定且可搭建的 LEGO 模型的方法。该方法通过构建大规模的 StableText2Lego 数据集,训练自回归大型语言模型,预测下一个 LEGO 积木。为了确保稳定性,LegoGPT 在推理过程中采用有效性检查和物理感知的回滚机制。实验表明,LegoGPT 能生成稳定、多样且美观的 LEGO 设计,并支持文本纹理化和自动组装。研究还发布了数据集、代码和模型。

eBPF 谜题:何时 IPv4 不是 IPv4?当它伪装成 IPv6 时

文章讲述了作者在使用 eBPF 程序拦截 DNS 请求时遇到的一个难题。程序在拦截 `dotnet` CLI 的 DNS 请求时,发现其流量被识别为 IPv6,但实际是 IPv4。经过深入研究,作者发现 `dotnet` 使用了 `DualMode sockets`,将 IPv4 地址映射到 IPv6 地址(`IPv4-mapped IPv6 addresses`)进行通信。这导致 eBPF 程序误判。最终,作者通过修改 eBPF 程序,同时处理 IPv4 和 IPv6,并根据协议区分 IPv6 和映射的 IPv4,解决了问题。

Dead Reckoning:HMS _Wager_ 的航位推算与18世纪的冒险之旅

18世纪,英国皇家海军舰艇 HMS _Wager_ 在执行秘密任务时遭遇风暴,于德雷克海峡附近失事。船员在恶劣环境下挣扎求生,因坏血病、饥饿和内斗不断减员。幸存者在荒岛上与当地人短暂接触,后因船长残暴统治和资源匮乏,内部矛盾激化,最终爆发了枪击事件。部分船员试图逃生,但最终只有少数人成功离开,揭开了这场海难背后残酷的生存斗争。

Hill or High Water

文章介绍了 Royal Society 在 1958-59 年组织的南智利探险队。探险队由科学家组成,旨在研究当地动植物、地质构造,并重新考察达尔文曾考察的地区。文章重点介绍了探险队的行程、发现,以及近期添加到 Society 馆藏的 300 多张摄影幻灯片。这些照片记录了探险过程,也展现了当地的自然风光和原住民生活。

Overload:福兮祸兮 (2024)

文章深入探讨了C++中的重载解析机制,特别是关于限定转换在其中的作用。文章首先介绍了标准转换序列,然后详细解释了cv限定符、cv资格签名以及类型相似性的概念。核心在于阐述了限定转换的规则,以及如何通过算法确定类型转换是否成功。文章还分析了几个代码示例,展示了重载解析中可能出现的复杂情况,并讨论了隐式转换和临时对象实体化。最后,文章反思了重载解析机制的复杂性,并提出了对隐式转换是否值得的疑问。

关于USENIX ATC的声明

USENIX 宣布,由于参与人数下降和社区变化,将于2025年7月结束历史悠久的 USENIX Annual Technical Conference (ATC)。ATC 曾是多个重要技术发布的诞生地,但随着专业会议的兴起,其影响力逐渐减弱。尽管如此,USENIX 仍将庆祝 ATC 的遗产,并鼓励社区分享回忆。USENIX 强调了财务挑战,并感谢社区的支持,同时展望未来,继续通过其他会议推动创新。

Starlink 用户终端拆解分析

文章是关于对 Starlink 用户终端(UTA)的初步拆解分析。研究者拆解了Rev3版UTA,分析了其硬件和固件。硬件方面,UTA包含RF前端芯片和定制的四核Cortex-A53 SoC,并配备了安全芯片STSAFE-A110。固件分析显示,固件未加密,包含引导链、内核和文件系统,网络堆栈架构类似DPDK。研究者构建了QEMU仿真环境进行调试。文章还提到了一个名为“Ethernet Data Recorder”的程序,用于记录与卫星遥测相关的数据包,并讨论了UTA上的SSH密钥问题。最后,文章强调了卫星技术在未来攻防中的重要性。

Apple iMessage PQ3 协议的形式化分析 [pdf]

文章分析了 Apple 为 iMessage 设计的后量子密钥协商协议 PQ3。该协议旨在增强安全性,特别是抵御量子计算机攻击。研究使用形式化方法验证 PQ3 的安全性,包括身份验证和密钥协议。通过形式化验证,文章旨在提供对 PQ3 安全性的严格评估,并识别潜在的漏洞。这项工作对密码学社区和关注安全消息传递系统的人具有参考价值,有助于理解 PQ3 的优缺点,并为安全协议的设计和验证提供参考。

audiobookshelf:自托管有声读物和播客服务器

文章介绍了 `audiobookshelf`,一个用于自托管有声读物和播客的服务器。它允许用户在自己的服务器上管理和播放有声读物和播客。文章提供了该项目的文档、用户指南、常见问题解答、支持信息以及展示页面链接。同时,也提供了 `Discord`、`Docker` 和 `GitHub` 的链接,以及 `Google Play Store` 和 `Apple App Store` 的下载链接。

Cogentcore:使用 Go 构建多平台应用的开源框架

该文章介绍了开源框架 **cogentcore/core**,它使用 Go 语言构建,用于创建跨平台的 2D 和 3D 应用程序。开发者可以使用单一的 Go 代码库,在 macOS、Windows、Linux、iOS、Android 和 Web 等多个平台上运行应用,实现“一次编码,到处运行”。文章还提供了项目的相关信息,包括许可协议、星标数量、分支数量、文件目录、贡献者以及代码语言构成等。

服务机器人的性别特征可能影响顾客决策

宾夕法尼亚州立大学的研究表明,服务机器人的性别特征会影响顾客决策。研究发现,具有男性特征的机器人对权力感较低的女性更具说服力。而“可爱”的设计,如大眼睛和圆脸,则会减弱性别差异的影响,使男性和女性顾客反应相似。研究人员建议,酒店业可根据顾客性别和权力感,选择不同性别的机器人,以优化推荐和销售策略。

UCLA 电影电视档案馆的新闻短片

加州大学电影电视档案馆与 Packard Humanities Institute 合作,推出了一个网站,方便公众访问 Hearst 新闻短片收藏。这些新闻短片由 Hearst Corporation 于 1981 年捐赠。网站提供 1929 年至 1967 年间在影院放映的新闻短片,旨在促进公众对历史和文化的研究。 网站声明,新闻短片反映了当时的社会观点,部分内容可能令人不适,但档案馆并不认可其中所有观点。

Show HN: Req Update Check

该文章介绍了一个名为 `req-update-check` 的 Python 工具,用于检查 `requirements.txt` 文件中 Python 包的更新。它能显示更新的严重程度、包主页和变更日志,并支持文件缓存以提高性能。该工具支持多种安装方式,包括从 PyPI、GitHub 或源代码安装。文章还提供了命令行选项和 Python API 的使用示例,以及对 `requirements.txt` 文件格式的支持说明。最后,文章说明了开发和贡献的流程,并声明了 MIT 许可证。

Podfox:首个容器感知的浏览器

文章介绍了名为 Podfox 的“容器感知”浏览器,它通过 SOCKS 代理实现浏览器与 Podman 容器的网络通信,解决了端口冲突问题。Podfox 允许用户通过配置 PAC 文件,在 Firefox 中访问容器内的服务。此外,文章还分享了作者将整个 CLI 开发环境容器化的经验,利用 Homebrew 和 Podman 的特性,实现了在容器内复用宿主机工具,并介绍了简化容器启动的 Podchamp 工具。

Fui: 用于在 TTY 环境中与 Framebuffer 交互的 C 语言库

`fui` 是一个用 C 语言编写的库,用于在 tty 环境中与 framebuffer 交互,实现用户界面。它通过直接写入 framebuffer 设备,并使用图层系统进行绘制,支持绘制线条、矩形、圆,文本渲染,以及键盘和鼠标事件处理。该库还包含一个音频系统,可播放声音。文章介绍了安装方法,权限设置,并提供了示例程序,如简单的 Asteroids 游戏。

为 Google Play 的 16 KB 页面大小兼容性要求做好 App 准备

Google Play 要求所有面向 Android 15+ 设备的新 App 和现有 App 的更新,自 2025 年 11 月 1 日起必须支持 16 KB 页面大小。这项技术要求旨在提升新设备上的 App 性能,例如更快的启动速度、改进的电池使用情况等。 开发者应尽早检查 App 兼容性,特别是包含原生代码的 App,可能需要更新 SDK 或重新编译。 许多流行的 SDK 和游戏引擎已提供兼容版本。 开发者可以通过 Play Console 的 App bundle explorer 检查 App 的合规性,并在 16 KB 环境中测试 App。

体验统一价格的 Claude Code 订阅服务

文章介绍了 Max plan 用户如何通过统一订阅使用 Claude 和 Claude Code。Claude Code 是一个命令行工具,允许用户在终端访问 Claude 模型进行编码。用户需订阅 Max plan,安装 Claude Code 并使用 Claude 凭据进行身份验证。使用限制在 Claude 和 Claude Code 之间共享,根据消息长度和项目复杂性而异。达到速率限制时,用户可以选择升级 Max plan、切换到 pay-as-you-go 模式或等待重置。

二战期间美国如何建造5000艘舰船:建造技术解析

二战期间,美国通过政府主导和私营企业合作,大规模建造了约5000艘舰船。政府提供资金、制定策略并监督进度,而私企则负责建造船厂和舰船,并通过焊接、预制等技术革新,大幅缩短了建造时间。其中,Liberty Ship 是关键的货船型号,其建造流程类似装配线,预制大型部件,极大地提高了效率。这种大规模生产模式,尤其是在Kaiser的造船厂中,达到了极致,但也借鉴了Hog Island造船厂的经验教训,避免了单一组装点的拥堵问题,最终助力美国赢得了战争。

通过设计保障稳定性:以 Clojure 为例

文章探讨了Clojure语言在动态类型环境下保持稳定性的原因。作者认为,Clojure生态系统稳定并非依赖静态类型,而是通过设计和约定来实现。核心在于避免破坏性改动,如不重命名命名空间、函数和关键字,不增加或减少数据需求。作者强调,Clojure倾向于创建新函数而非修改现有函数,从而避免破坏现有代码。这种设计哲学使得Clojure库在实践中保持了高度的稳定性,即使在动态类型环境下也能有效应对变化。

Show HN: 用于全文浏览器历史记录搜索的扩展程序

该文章介绍了一款名为 Rearview 的浏览器扩展程序,旨在增强浏览历史记录的管理。它提供智能历史记录功能,包括全文搜索页面内容、多条件过滤(日期、时间、访问频率)以及基于 AI 的对话助手,帮助用户更高效地查找和回顾浏览信息。该扩展程序支持 Chrome、Edge 和 Firefox 浏览器,并提供反馈、博客、文档、API 参考等资源。

如何与朋友一起创办一所学校

与朋友共同创办学校需要经过一系列步骤。首先,寻找拥有共同教育愿景和互补技能的伙伴。明确学校愿景,进行市场调研,制定详细的商业计划,包括财务预测和筹款方案。接着,筹集资金、寻找合适的校址,并获得必要的许可和认证。招聘教师和工作人员后,开始招生并进行宣传。整个过程中,需要保持耐心,从小处着手,注重教育质量,并根据情况调整计划。 此外,文章还强调了与朋友合作的特殊挑战,如沟通、角色分工和冲突解决的重要性。

视觉电报(Visual Telegraph)的兴衰 (2017)

文章追溯了视觉电报的兴衰。Claude Chappe 发明了光学电报,通过可变臂的位置组合传递信息,开启了长途通信的新时代。该系统在法国大革命时期得到推广,用于军事和政治目的。然而,由于技术竞争和 Claude Chappe 的个人困境,光学电报最终被电报取代。文章还提到了蒙马特等地遗留的视觉电报痕迹。

来自 Steve Jobs 的回复:"好主意,谢谢。"

文章讲述了作者在 NeXT 工作时,申请了邮箱别名 `steve@next.com`,结果收到了大量发给 Steve Jobs 的邮件。意识到错误后,作者将该邮箱转发回了 Steve Jobs,并为此道歉。令人意外的是,Steve Jobs 回复了“好主意,谢谢”。作者分享了这段经历,并表示这是他收到的唯一一封来自 Steve Jobs 的邮件,弥足珍贵。文章还提到了另一位用户向 Steve Jobs 询问 iPhone 触觉反馈的经历。

Block Diffusion:插值自回归和扩散语言模型

该研究提出了Block Diffusion语言模型,它结合了自回归模型和扩散模型的优点。Block Diffusion通过在离散去噪扩散模型和自回归模型之间插值,实现了高质量、任意长度的序列生成,并支持KV缓存和并行化。研究通过高效的训练算法和数据驱动的噪声调度,解决了扩散模型在似然建模和固定长度生成方面的局限性,并在语言建模基准测试中取得了新的进展。

将静态资源作为服务器:关于 Static 和 Server 的思考

文章探讨了将静态资源作为服务器的理念,核心在于“混合”框架的优势。作者认为,这类框架同时支持“server”和“static”输出模式,减少了工具碎片化,并提供了更大的灵活性。通过在构建时运行“server”框架,生成静态页面,可以实现零成本的静态网站托管。文章强调,静态网站本质上是提前运行的“server”,这种方式与React Server Components(RSC)等技术结合,能带来更高效的开发和部署体验。

Reservoir Sampling:一种公平的随机抽样技术

文章介绍了 Reservoir sampling 算法,一种在未知数据流大小的情况下进行公平随机抽样的技术。核心思想是,对于每个新数据,以 k/n 的概率选择它,并随机替换已选中的数据。文章通过扑克牌的例子,详细解释了该算法的原理,并展示了其在日志收集场景中的应用,解决了在数据量未知的情况下,限制采样数量的问题,保证了公平性和内存使用的可控性。

Ciro (YC S22) 招聘:构建销售 AI Agent 的软件工程师

Ciro 是一家由 Y Combinator 支持的初创公司,专注于利用 AI 构建销售潜在客户挖掘工具。他们正在招聘软件工程师,主要工作是开发 AI agent,帮助销售人员更高效地寻找和筛选潜在客户,提高工作效率。Ciro 团队由来自 Meta、Stanford、Google 等背景的成员组成,并已获得多家知名投资机构的投资。公司强调卓越、快速行动和团队合作的价值观。

Show HN: 使用 eBPF 实现无代理加密流量透视

Qtap 是一个基于 eBPF 的无代理网络流量捕获工具,用于拦截预加密的网络流量,并提供丰富的上下文信息,如进程、容器等。它允许用户无需修改应用程序或安装代理即可了解出口流量,适用于安全审计、网络问题调试、API 开发等场景。Qtap 易于安装和使用,支持快速启动的演示模式,并提供社区交流渠道。该项目目前处于早期开发阶段,欢迎社区贡献。

Void: Open-source Cursor alternative

本文介绍了 Void,一个开源的 Cursor 替代方案。它基于 `vscode`,允许用户在代码库中使用 AI agents、checkpoint和可视化更改,并支持本地模型或 host。Void 不保留用户数据,直接与 providers 通信。文章提供了项目的 GitHub 链接、许可证信息、代码库结构、贡献指南、支持方式以及相关话题和发布信息。

关于推广 Cursor 和 Claude Code 的一些笔记

文章分享了推广 Cursor 和 Claude Code 的一些经验和笔记。由于正文内容缺失,无法具体总结推广策略或技巧。但可以推断,文章可能涉及了如何有效推广这两个工具,例如通过哪些渠道、采用什么样的方式,以及可能遇到的挑战和解决方案。

First American pope elected and will be known as Pope Leo XIV

文章报道了美国 Cardinal Robert Prevost 当选为下一任教皇,他将被称为 Pope Leo XIV,成为历史上首位美国教皇。他在首次讲话中呼吁和平并向已故 Pope Francis 致敬。Prevost 来自芝加哥,69 岁,曾任南美洲传教士和秘鲁主教,并领导梵蒂冈主教任命办公室。当选需要三分之二的选票。

Hypermode Model Router 预览版 – OpenRouter 的替代方案

文章介绍了 Hypermode 推出的 **Model Router**,它提供一个统一的 API,方便开发者连接多种 AI 模型,包括开源和商业模型。**Model Router** 简化了模型编排,允许在不同模型间无缝切换,优化成本和性能,并提高可靠性。主要功能包括统一 API 访问、回退机制、模型偏好设置、成本优化、安全合规等。开发者可以使用熟悉的 SDK 和工具,快速试验和迭代,构建更灵活的 AI 应用。

Google Measures and Manages Tech Debt

文章探讨了 Google 如何衡量和管理技术债。Google 通过定义技术债的十个类别、季度工程师调查来衡量其影响,并建立技术债联盟推动改进。文章强调,技术债管理应成为战略问题,而非单纯的工程问题。Google 采用框架、成熟度模型、教育培训、工具和指标等方法,最终显著降低了工程师因技术债而受阻的比例。文章总结,目标并非消除技术债,而是有意识地管理,平衡交付速度与代码质量。

基于 Lawson 判据评估聚变能量增益进展

文章探讨了利用 Lawson 判据评估聚变能量增益的进展。Lawson 判据是衡量聚变反应堆性能的关键指标,它综合考虑了等离子体的密度、温度和约束时间,评估实现自持聚变反应的可能性。科研人员通过技术革新和实验改进,致力于提升聚变反应堆性能,使其达到甚至超越 Lawson 判据的要求,以期最终实现可控聚变能源。

华为发布首款运行自研 HarmonyOS 的笔记本电脑,此前 Windows 授权到期

华为发布首款搭载自研 HarmonyOS 的笔记本电脑,此前其 Windows 许可证已到期。这款笔记本运行 HarmonyOS 5,具备 AI 功能,并预装了华为 AI 助手 Celia。 软件方面,预装了 WPS、DingTalk 等中国软件,并兼容 HarmonyOS 智能手机上的众多移动应用,如 RedNote、Bilibili 和 Feishu。 预计到今年年底,该设备将支持超过 2000 个应用程序。

我计划用 20 年捐出几乎所有财富

作者计划在未来20年内捐出其几乎全部的财富。

特朗普政府的 NIH 在法官阻止后仍削减研究经费

文章揭露了特朗普政府在法官阻止后,仍通过终止研究资助的方式削减 NIH 经费。华盛顿州检察长起诉称,政府违反禁令,削减了与性别认同相关的研究经费。内部记录显示,NIH 官员在DOGE的指示下,终止了数百项资助,且终止原因与总统的行政命令相关。政府辩称行动基于政策和科学优先,但证词表明DOGE直接参与了资助终止,且政府对终止原因的解释不透明。

Google将支持三个新的先进核能项目

Google 将与 Elementl Power 合作,投资三个先进核能项目。此举旨在应对数据中心日益增长的排放问题,并助力 Google 实现 2030 年全天候无碳能源运营的目标。Google 承诺为每个项目提供早期开发资金,每个项目预计发电量至少 600 兆瓦。此前,Google 已与 Kairos Power 签署协议,部署小型先进核电项目。Google 还与其他公司承诺支持到 2050 年将全球核能容量增加三倍。Elementl Power 致力于开发、融资和管理核电项目,计划到 2035 年在美国上线超过 10 吉瓦的核能。

隆重推出 QueryHub:AI 赋能的数据库交互平台

**QueryHub** 是一款 AI 驱动的数据库交互平台,旨在简化数据库操作。它通过自然语言处理,让用户可以用英语提问,自动生成 SQL 查询,从而解决编写复杂 SQL、数据库分析耗时等问题。核心功能包括 AI 聊天机器人、自动 SQL 生成、Schema 理解、查询管理和数据可视化。**QueryHub** 简化了数据访问,加速开发,并增强数据理解。用户可以免费试用,连接 PostgreSQL 数据库,并以安全的方式进行数据交互。

微服务是一种初创公司可能负担不起的税

文章指出,对于初创公司而言,过早采用微服务可能得不偿失,反而会增加部署、开发和维护的复杂性,降低迭代速度。作者认为,单体架构在早期更具优势,能让团队专注于交付价值和生存。只有在遇到真正的扩展瓶颈时,才应考虑微服务。文章强调,应避免任意的服务边界,优先考虑开发效率,并从简单的单体架构开始,逐步优化,按需拆分,而不是一开始就追求微服务。

Apple II MouseCard IRQ 确实与 VBL 同步

文章探讨了Apple II MouseCard的中断(IRQ)是否与垂直消隐(VBL)同步的问题。经过调查和代码分析,确认了MouseCard的IRQ与VBL精确同步,并在VBL开始时触发。文章详细解释了MouseCard固件如何通过软件实现VBL检测,以及68705 CPU如何通过硬件计时器以与VBL相同的频率触发IRQ。最后,文章给出了程序员在NTSC和PAL Apple II上同步鼠标IRQ的建议,并指出了这种方法的一些优缺点。

蛋白质设计工具能否解决蛇毒血清短缺问题?

文章探讨了利用蛋白质设计工具解决蛇毒血清短缺问题的可能性。文章首先介绍了蛇毒血清生产的困境,包括成本高、供应不足等问题。接着,详细分析了蛇毒的复杂性,包括不同蛇科、蛇种、甚至同一蛇种内毒液组成的差异。虽然计算设计能开发出针对特定毒素的结合物,但文章认为,由于市场因素,即使有通用抗蛇毒血清,也难以根本解决短缺问题。文章最后指出,蛋白质设计可能带来的优势在于提高抗蛇毒血清的热稳定性,但总体而言,市场激励不足是主要挑战。

Artifact (YC W25) 正在招聘:前线部署软件工程师

Artifact (YC W25) 正在招聘前线部署软件工程师,地点在纽约。该职位薪资为 12万-17万美元,并有股权。主要职责包括与航空航天、机器人等行业的客户合作,部署和支持 Artifact,构建相关应用和脚本,并与核心工程团队协作。应聘者需有3年以上全栈软件工程师经验,熟悉物理系统,具备跨堆栈调试能力和良好的沟通能力。Artifact 是一款为硬件工程师打造的协作式 IDE,旨在加速工程生命周期。

Xenon:一个开源通用游戏作弊框架 C++ 实现

Xenon 是一个基于 C++ 的开源游戏作弊框架,旨在简化游戏作弊程序的开发。它提供模块化设计,支持内部(DLL 注入)和外部作弊方式,并兼容 Unreal Engine、Unity 等多种游戏引擎。框架包含 ESP、Aimbot、Radar 等功能,支持 ImGui UI,并提供内存管理和事件驱动架构。文章还介绍了内部和外部作弊的优缺点,以及自动 DLL 注入的示例。该项目采用 MIT 许可,欢迎贡献。

使用 NASA 的 SMAP 卫星检测 L 波段干扰

文章描述了使用 NASA 的 SMAP 卫星检测 L 波段干扰的过程。由于访问需要验证,读者需要通过 Cloudflare 的安全检查才能继续阅读。文章强调了 Cloudflare 提供的性能和安全保障。

巴黎埃及方尖碑上发现Secret Messages

巴黎协和广场的埃及方尖碑上发现了秘密信息。埃及古物学家Jean-Guillaume Olette-Pelletier注意到碑上的象形文字可能包含crypto-hieroglyphics,即只有精英才能解读的秘密信息。在清洁过程中,他确认了至少七个crypto-hieroglyphics的存在。这些信息旨在强调拉美西斯二世的神圣地位,并仅供特定贵族在奥佩特节期间观看。这些信息强化了法老的统治权力,传递了“国王是神化身,不可废黜”的宣传。

Thunder Compute (YC S24) 招聘 C++ 低延迟系统开发工程师

Thunder Compute (YC S24) 招聘 C++ 低延迟系统开发工程师。该公司是 YC 孵化的初创企业,致力于构建最便宜的 GPU 云平台,目标是提高 GPU 利用率。现招聘系统工程师,要求精通 C++,有优化 NIC 或 GPU 性能的经验,并熟悉底层网络等。工作地点可选纽约、旧金山或亚特兰大,薪资 15 万至 20 万美元,并提供股权。

Mycoria:一个开放且安全的 overlay network

Mycoria是一个开放且安全的overlay network,旨在实现自由连接。它强调人人平等、开放包容,并注重隐私和安全,采用身份验证和加密技术,防止窥探和监视。Mycoria设计目标是小巧、简单,兼容现有基础设施,并默认安全和私有。其特性包括自动端到端加密、现代密码学、智能路由、Dashboard、.myco DNS解析等。未来还将实现网络自动优化和私有地址轮换。

Gmail 即将停止对传入 SMTP 连接的 3DES 加密算法的支持

Gmail 将于 2025 年 5 月 30 日停止对传入 SMTP 连接的 3DES 加密算法的支持。此举旨在增强安全性,防范与过时加密方法相关的潜在漏洞。届时,使用 3DES 的电子邮件系统将无法向 Gmail 帐户发送邮件。管理员需确保发送系统配置为使用更安全的 TLS 密码套件,具体信息可在帮助中心找到。此变更影响所有 Google Workspace 客户。

搞不懂 Apple 的 Critical Alert 政策

作者发布了一款药物提醒 iOS 应用,需要使用 Critical Alerts API 以确保用户不会错过重要通知。然而,Apple 拒绝了该请求,理由是无法保证应用的使用场景。作者对这一决定感到困惑,认为 Critical Alerts 的选择加入机制足以避免滥用,且 Apple 自己的 Health 应用也在使用该 API。更令人不解的是,一些非紧急用途的提醒应用却获得了授权。作者认为,没有 Critical Alerts,应用的功能将大打折扣,可能对用户健康造成威胁。

魔兽世界(World of Warcraft)中问题言论和行为的考察 (2022)

这篇文章探讨了在大型多人在线游戏《魔兽世界》中,玩家对负面行为的感知和反应。研究通过访谈,分析了玩家对游戏内攻击性言论、骚扰行为的看法,以及线上身份、头像和匿名性如何影响这些行为。核心观点包括:玩家对负面行为的容忍度受多种因素影响,如持续时间、严重程度和个人经历;性别差异会影响对负面行为的解读;以及玩家在游戏中可能采取的负面行为,并试图合理化这些行为。文章还探讨了“恶意骚扰”的定义,以及团队合作中的权力关系对负面行为的影响。

使用 Grasshopper 进行参数化建模

文章介绍了使用 Grasshopper 进行参数化建模的基础知识。Grasshopper 是 Rhino 的可视化编程界面,用于通过组合参数和组件来生成几何体。文章详细讲解了如何在 Grasshopper 中创建点、线、折线、曲线和表面等基本几何体,包括使用滑块、文本面板、Rhino 绘制等多种方式定义几何体,并提供了相关组件的使用方法和示例。最后,文章还提到了如何通过拉伸、放样等方法创建实体和自由曲面。

Show HN: US Routing - 用于美国境内快速本地路由的 Python 库

`us-routing` 是一个基于 Python 的库,用于在美国境内进行快速本地路由。它基于 North American Roads 数据集,可以规划城市、邮政编码或坐标之间的路线。该库支持多种路线规划选项,并提供详细的路线信息。用户可以通过 `pip` 或 `poetry` 安装,并提供了简单的用法示例。此外,文章还介绍了自定义路由器和贡献方式。

Yggdrasil:一种完全去中心化的实验性紧凑型路由方案

Yggdrasil 是一种完全去中心化的实验性路由方案,采用最短路径,节点间通过 peering connections 互联。它具有自修复能力,适用于 mesh networks。每个节点拥有加密身份和 IPv6 地址,无需手动配置。Yggdrasil 旨在构建多跳网络,不依赖 Internet,适用于边缘计算和 mesh networks。与 Tor 等匿名网络不同,Yggdrasil 不提供匿名性。它目前处于 alpha 级别,不建议用于关键任务,项目目标是测试其可扩展性。

FoundationDB Record Layer 的 SQL API 参考

该文档介绍了 FDB relational 子项目的 SQL API,用于与 Record Layer 数据库交互。该 API 仍在积极开发中,包含 SQL 数据类型、SQL 命令(DQL、DDL、DML)和函数。此外,还涵盖了数据模型,包括数据库、模式、表和索引,以及直接访问 API。文档内容持续更新,旨在提供全面的 SQL API 参考。

从诗人到 Fields Medal 奖得主:June Huh 的非凡之路(2022)

June Huh曾是辍学诗人,后来因将组合数学与几何学联系起来的深刻见解,荣获Fields Medal奖。文章讲述了他从对数学漠不关心到最终获得数学界最高荣誉的非凡经历。他曾辍学写诗,后来在大学接触数学,通过解决组合数学中的重大问题,展现了他在数学领域的独特见解和艺术性。他擅长发现事物,并以独特的方式将看似不同的几何学和组合数学领域联系起来,最终证明了Rota猜想等重要问题。

面向各国的 OpenAI 倡议

OpenAI 推出“OpenAI for Countries”倡议,旨在支持全球各国基于民主原则构建 AI 基础设施。该倡议是“Stargate project”的延伸,将与各国合作,提供以下支持:建立国内数据中心、定制 ChatGPT、加强 AI 模型安全控制、共同筹集国家启动基金,并投资于全球“Stargate Project”。目标是在第一阶段与 10 个国家或地区合作,以促进 AI 的民主化发展,并提供与专制 AI 不同的选择。

我付了整个 GPU 的钱,就要用满它:GPU 利用率高级指南

文章探讨了GPU利用率,将其分为GPU分配利用率、GPU Kernel利用率和Model FLOP/s利用率(MFU)三个层面。GPU分配利用率关注已分配GPU的实际使用时间,受经济和DevOps限制。GPU Kernel利用率衡量GPU运行代码的时间占比,受数据传输、CPU调度等因素影响。MFU则衡量模型实际算术带宽利用率,受通信、内存带宽、kernel编写等影响。文章强调了提高GPU利用率的重要性,并提供了相关工具和优化建议,特别是针对神经网络推理工作负载。

GovEagle (YC W23) 正在招聘

GovEagle (YC W23) 正在招聘短期平台工程承包商。GovEagle 是一家利用 AI 帮助政府承包商快速起草提案的初创公司。该职位要求3年以上经验,主要负责 Kubernetes 工作负载、Celery 队列、Redis 缓存和云网络的可靠性审计,并进行优化。技术栈包括 Python、Redis、Kubernetes、Celery、Docker 等。薪资范围为 3K - 10K 美元。

Anthropic API 引入网页搜索功能

Anthropic API 引入网页搜索功能,允许 Claude 访问网络最新信息。开发者可通过启用此功能构建 AI 应用,增强 Claude 的知识库,获取实时数据。Claude 会根据请求判断是否需要搜索,生成查询、分析结果并提供引用。应用场景包括金融、法律、开发者工具等。用户可控制搜索范围,通过域名允许/阻止列表管理。网页搜索也适用于 Claude Code,提升开发效率。Poe 和 Adaptive.ai 等平台已开始使用。该功能现已在部分 Claude 模型上提供,按搜索次数收费。

如何在 Prolog 中求平均值 (2017)

文章探讨了在 Prolog 中计算数字列表平均值的不同方法。作者首先展示了使用标准库函数 `length` 和 `sumlist` 的简洁实现,但随后指出,为了迎合教学需求,需要避免使用这些库函数。文章接着介绍了通过递归实现平均值计算的过程式代码,并展示了如何将其转换为 Prolog 代码。最后,作者强调了 Prolog 拥有简洁、高级的库,但在某些情况下,为了满足教学要求,需要避免使用这些库,转而使用更复杂、更冗长的递归实现。

Mac Themes Garden 网站发布记

作者发布了网站 [Mac Themes Garden](https://damien.zone/introducing-mac-themes-garden/),该网站展示了超过 3000 个 Classic Mac 时代的 Kaleidoscope 主题,用户可以浏览、下载和探索。文章介绍了网站的背景、制作过程和技术细节,包括从 Airtable 数据库获取数据、使用 Astro 构建网站、CSS 模拟 Mac OS 9 UI 元素,以及生成 Open Graph 图像。作者还分享了未来计划,如按颜色搜索、展示自定义图标、与 [InfiniteMac](https://damien.zone/introducing-mac-themes-garden/) 联动等。

Proposal: Add bare metal support to Go

该提案建议为 Go 增加裸机支持,引入 `GOOS=none` 目标,允许 Go 运行时在没有 OS 支持的情况下运行。这基于现有的 `GOOS=tamago` 项目,但旨在将其整合到上游。构建的应用程序将依赖 Go 运行时和外部驱动程序包。文章详细介绍了需要定义的几个函数,如 `cpuinit`、`runtime.hwinit`、`runtime.printk` 等,以及编译方式。提案基于 TamaGo 项目的改进,并强调了其在测试、用户空间执行、真实硬件和半虚拟化等方面的应用,以及在 ARM 和 AMD64 上的成功案例。

Vagus Nerve Stimulation Erases PTSD

一项研究表明,迷走神经刺激(VNS)结合传统疗法,能有效消除对治疗有抵抗力的PTSD患者的症状。在为期六个月的随访中,所有参与者均未被诊断出PTSD。VNS通过增强神经可塑性,改善了治疗效果。目前正在进行双盲2期试验,以验证研究结果并寻求FDA批准。

Open source Google Analytics replacement

Rybbit 是一个开源、注重隐私的 Google Analytics 替代方案,设置简单,界面直观。它提供关键的 Web 分析指标,如会话、用户、页面浏览量等,且不使用 cookie,符合 GDPR 和 CCPA 标准。Rybbit 支持自定义目标、用户旅程、漏斗分析,以及高级过滤、自定义事件、实时会话和地理位置跟踪等功能,并支持组织和无限数量的站点。

Ty: A fast Python type checker and language server

文章介绍了 `Ty`,一个用 Rust 编写的快速 Python 类型检查器和语言服务器。该项目目前处于预发布阶段,尚未准备好用于生产环境。文章提供了项目在 GitHub 上的相关信息,包括代码、问题、Pull requests、许可证、贡献方式等。

Samsung 斥资 3.5 亿美元收购音频品牌 B&W、Denon、Marantz 和 Polk

无法总结。文章内容显示为错误信息,无法获取有效信息进行总结。

Motion (YC W20) 正在招聘高级工程师

Motion (YC W20) 正在积极招募高级工程师。文章简短地宣布了这一招聘信息,表明该公司正在扩大团队。

在预览版中使用 Gemini 2.0 创建和编辑图片

文章宣布了 **Gemini 2.0 Flash** 预览版中新增的图像生成功能。开发者现在可以通过 [Google AI Studio](https://developers.googleblog.com/en/generate-images-gemini-2-0-flash-preview/) 和 [Vertex AI](https://developers.googleblog.com/en/generate-images-gemini-2-0-flash-preview/) 使用“gemini-2.0-flash-preview-image-generation”模型,实现更快的图像生成和编辑。新功能包括更好的视觉质量、更准确的文本渲染和更低的过滤拦截率,支持重新构建产品、实时协作编辑、对话式编辑等。

Ghost Students 正在给加州高校带来“痛苦”的问题

加州高校正遭遇“幽灵学生”带来的困扰。这些学生注册了课程,却从未真正参与学习,导致学校难以准确预测学生人数,影响资源分配和课程安排。这种现象给学校带来了财务压力,并可能影响教学质量。文章强调了这个问题对高校运营的负面影响,但未详细说明“幽灵学生”的具体定义或产生原因。

谎言背后:1996年 David Bowie 与在线音乐发行

1996年,在线音乐发行尚处于早期阶段。文章聚焦于 David Bowie 尝试通过其网站免费发布单曲 "Telling Lies",以此探索数字音乐发行。尽管面临下载速度慢、音质差等技术挑战,这次实验仍被视为营销成功。文章还探讨了当时对未来在线音乐发行模式的展望,以及 Bowie 对互联网影响音乐的看法。

《侏罗纪公园:失落的世界》游戏中“DNA序列”的逆向工程

这篇文章逆向工程了游戏《侏罗纪公园:失落的世界》中“DNA序列”的生成机制。作者分析了游戏如何使用32位整数来编码DNA信息,并推断出其内部逻辑。通过研究,作者揭示了游戏如何利用位运算和查找表来生成和管理DNA序列,从而影响恐龙的特征。文章深入探讨了游戏开发者如何巧妙地运用有限的计算资源,创造出复杂的生物遗传系统。

OpenSearch 3.0 Released

OpenSearch 3.0 发布,重点增强向量数据库性能,以满足 AI 驱动的需求。新版本在向量引擎方面引入了 GPU 加速,提升了处理速度和效率,并降低了成本。同时,数据管理功能也得到优化,包括 gRPC 支持、Pull-based Ingestion 等,提高了数据传输和处理效率。此外,核心升级也改进了搜索基础设施,提升了可维护性、性能和效率。

Show HN: eInk optimized manga with Kindle Comic Converter (+Kobo/ReMarkable)

**Kindle Comic Converter (KCC)** 是一款漫画转换工具,专为 eInk 阅读器优化。它能全屏显示漫画,去除边距,并提供图像处理选项,提升 eInk 屏幕显示效果。KCC 支持多种输入格式,如 JPG/PNG/CBZ/PDF,输出 MOBI/AZW3/EPUB/KEPUB/CBZ 等格式,并能调整文件大小以提升性能。该工具并非 Amazon 官方出品,但能有效改善漫画在 Kindle、Kobo 和 ReMarkable 等设备上的阅读体验。

期待 Postgres 18:使用异步 I/O 加速磁盘读取

Postgres 18 引入异步 I/O (AIO) 以加速磁盘读取,核心在于新的 `io_method` 配置参数,提供 `sync`、`worker` 和 `io_uring` 三种模式。`worker` 模式使用后台 I/O 工作进程,`io_uring` 模式则利用 Linux 内核的 `io_uring` 接口,后者性能更优。在云环境测试中,AIO 将读取性能提升了 2-3 倍。AIO 改变了 I/O 时间的解释方式,`EXPLAIN ANALYZE` 可能低估 I/O 工作量,需要通过 `pg_aios` 等工具进行监控。未来版本有望支持异步写入。

WeightWatchers 申请破产保护

WeightWatchers 因财务困境申请破产保护。该公司面临沉重债务,导致其无法继续正常运营。

Mistral 发布 Le Chat 企业版:可本地部署的企业 AI 助手

Mistral 发布了企业版 AI 助手 Le Chat Enterprise,基于新的 Mistral Medium 3 模型。该产品旨在解决企业 AI 面临的挑战,提供统一的 AI 平台,包括企业搜索、代理构建器、自定义数据和工具连接器、文档库、自定义模型和混合部署等功能。Le Chat Enterprise 支持本地部署,强调隐私和数据安全,提供深度定制和完全控制,并提供高级解决方案和价值交付。它现已在 Google Cloud Marketplace 上提供,并将在 Azure AI 和 AWS Bedrock 上推出。

Unity 的开源双重标准:VLC 遭遇封禁

文章揭示了 Unity 对开源软件的双重标准。作者的开源项目 VLC for Unity 在 Unity Store 上架后被封禁,原因不明。尽管作者尝试妥协,甚至移除 LGPL 代码,但仍被拒绝。讽刺的是,Unity 本身及其构建的游戏却使用了 LGPL 依赖项。文章随后介绍了作者创建的 Videolabs Store,用于继续分发 VLC for Unity,并提供多媒体咨询服务,以支持开源项目的可持续发展。

使用测试作为调试工具来定位逻辑错误:Java 单元测试实践

文章探讨了在 Java 开发中,如何利用单元测试作为调试逻辑错误的有效工具。 逻辑错误源于代码实现与业务需求不符,传统调试手段难以应对。文章强调了测试用例在验证程序语义中的作用,并介绍了通过测试定位、隔离和理解逻辑错误的方法,例如假设测试、状态演变测试和回归测试。 此外,文章还提到了现代 IDE 在单元测试和调试器之间的协同作用,以及 AI 在自动生成测试方面的应用,最终目的是将测试失败转化为对代码行为的深刻理解,从而提高代码质量。

Jargonic 刷新日语 ASR 的 SOTA 纪录

Jargonic V2 刷新了日语自动语音识别(ASR)的SOTA纪录。文章指出,由于日语的复杂性,传统的ASR模型在实际应用中表现不佳。Jargonic V2 专注于提高转录准确性和专业术语召回率,尤其在制造业、物流等行业。其专有的 Keyword Spotting 技术无需重新训练即可识别特定领域术语,召回率高达94.7%。基准测试结果显示,Jargonic 在 CommonVoice v.13 和 ReazonSpeech 数据集上均优于 Whisper v3、ElevenLabs、Deepgram 和 AssemblyAI,显著降低了字符错误率(CER)。

CLion 现在可以免费用于非商业用途

文章宣布,针对非商业用途,CLion IDE 现已免费。这意味着学生、开源开发者、内容创作者和业余爱好者可以免费使用 CLion,用于学习、项目开发等非商业目的。商业用途仍需购买付费订阅。文章还解释了免费许可的范围、续订方式、匿名数据收集以及如何申请非商业订阅。

12年后,Sandy Bridge时代主板获得M.2 SSD启动支持

技嘉为13年前的B75M-D3H主板发布新固件,修复了PKfail漏洞,并意外增加了对M.2 NVMe SSD启动的支持。该主板原本不支持M.2,但通过固件更新,用户可使用M.2转PCIe适配器启动。虽然速度受限于PCIe 2.0,但仍能提升老旧系统的性能,从SATA III升级到PCIe 2.0。此次更新可能并非有意为之,但为老平台带来了新的可能性。

我让摩托车骑行更安全一点的探索之路 - BrakeBright 项目

作者开发了名为 BrakeBright 的智能刹车灯系统,旨在提高摩托车骑行安全。该系统能检测发动机制动减速并激活刹车灯,并在紧急制动时闪烁。文章讲述了 BrakeBright 的设计、原型制作、测试和迭代过程,包括使用运动传感器和微控制器,以及在实际骑行中遇到的挑战和改进。最终产品经过严格测试,并增加了固件更新功能。作者希望 BrakeBright 能被更多骑手使用,提升骑行安全。

Migrating a JavaScript Project from Prettier and ESLint to BiomeJS

文章介绍了将 JavaScript 项目从 Prettier 和 ESLint 迁移到 BiomeJS 的过程。BiomeJS 是一个集代码格式化和 linting 于一体的工具,旨在替代 Prettier 和 ESLint,提供更快的性能和更简化的配置。文章比较了 Biome 与 Prettier 和 ESLint 的差异,并提供了 Biome 的入门指南,包括配置、集成到代码编辑器、忽略错误、设置 pre-commit hook 和 CI 工作流等。最后,文章讨论了是否应该切换到 Biome,并指出其优势和局限性。

Zed 中的 Agentic Editing(智能代理编辑)

文章介绍了 Zed 编辑器推出的 Agentic Editing 功能,这是一个基于 AI 的代码编辑工具。该功能允许用户通过 Agent Panel 与 AI 交互,完成代码修改、问题解答等任务。Zed 采用 Rust 编写,开源且注重隐私安全,用户可自定义模型和工具。Zed 提供免费使用和付费 Pro 计划,Pro 计划提供更多 AI 使用量。文章强调了 Zed 的目标是打造最佳代码编辑器,而非通过 AI 服务盈利。

这么多血:美国血液制品出口的分析

文章探讨了美国血液制品出口的规模。虽然此前有报道称血液制品占美国出口的2%,但作者通过分析美国贸易数据,指出实际情况更为复杂。根据2023年数据,直接使用血液的制品出口约占商品出口总额的0.53%。而考虑到可能含有血液的制品,如免疫制品和细胞治疗产品,作者估算总占比约为0.69%。文章强调了数据分析的复杂性,并指出该估算仍有一定的不确定性。

Tabular (YC S24) Is Hiring

Tabular (YC S24) 是一家位于柏林的初创公司,致力于开发 AI 会计助手。公司正在招聘创始工程师,提供 8万-12万欧元年薪,并提供股权。该职位面向不限经验者,要求参与构建核心架构,负责与客户沟通、建立后端系统、测试 AI 方法等。Tabular 获得了 Y Combinator 和其他投资者的种子轮融资,目前团队规模为 5 人。

Zed: 高性能 AI 代码编辑器

文章介绍了 Zed,一款基于 Rust 构建的、开源的 AI 代码编辑器,号称是世界上最快的。它集成了 AI agent 功能,可以帮助程序员完成代码编辑、问题解答等任务。Zed 强调隐私和安全,默认不收集用户数据。用户可以选择不同的语言模型,包括自带 API 密钥或在本地运行。Zed 提供免费和付费计划,付费计划提供更多 AI 使用量。文章鼓励用户试用,并介绍了未来的发展计划,包括调试器、改进的协作以及 Windows 版本的发布。

Show HN: Agents.erl (AI Agents in Erlang)

该项目基于 Erlang 构建,提供了一个 OpenAI API Agent 框架,名为 `Agents.erl`。它具备分布式架构,通过动态 API 客户端生成、全面的 API 覆盖、容错机制、速率限制和流式支持等特性,实现了 AI Agent 的功能。核心架构采用分层监管树,方便管理和维护。用户可以通过简单的命令启动 Agent,运行带工具的 Agent,并自定义工具。此外,还支持直接访问 OpenAI API。项目使用 MIT 许可证,并提供了构建和运行的步骤。

EPA 计划关闭 Energy Star 项目

环境保护署(EPA)计划关闭 Energy Star 项目。

陪审团判决:NSO因入侵WhatsApp用户需赔偿1.67亿美元

WhatsApp 因 NSO Group 利用漏洞入侵用户手机,获得 1.67 亿美元的惩罚性赔偿,以及 4.44 亿美元的补偿性赔偿。 NSO 通过“无需点击”的漏洞利用方式,向律师、记者等人权活动家等目标手机安装间谍软件 Pegasus。 WhatsApp 修复了漏洞并通知了用户。 此判决是对 NSO 的严厉驳斥,也为黑客攻击受害者及其技术提供商开创了先例,并揭露了 NSO 的一些做法。

创造力的消逝:一个 AI 时代的寓言

文章预言了AI时代创造力的消逝。起初,AI创作粗糙,但很快进步并取代人类创作,导致艺术家失业,创意产业衰落。AI生成的艺术品变得普遍,人们不再重视人类创作,技能退化。由于艺术家抵制AI抓取,人类创作的知识和价值观未被纳入AI训练,导致AI对艺术的理解失真。最终,艺术工具停产,艺术知识失传,AI成为唯一的“艺术”,而缺乏限制和挑战的AI世界扼杀了新一代的创造力。

FTC禁止现场活动和短租的隐藏费用,5月12日起生效

美国 Federal Trade Commission (FTC) 将于 5 月 12 日起实施新规,禁止现场活动、酒店和短期租赁中的隐藏费用。新规要求商家在广告中明确显示总价,包括所有已知费用,且总价的显示要比其他定价信息更醒目。该规则适用于现场活动门票销售商、酒店、Airbnb 等短期住宿提供商,以及第三方平台。新规还禁止“诱饵式定价”等行为,并要求商家提供关于费用的真实信息,避免使用模糊术语,例如“便利费”等。

为什么软件膨胀仍然是最大的漏洞 (2024) - 呼吁精简软件

文章指出软件膨胀是当前最大的安全漏洞。作者认为,软件安全问题源于代码量过大,导致攻击面增加,且依赖项管理混乱。文章回顾了软件安全现状,并指出当前商业模式下,安全投入与利润不成正比。作者呼吁精简软件,减少代码量和依赖,提高软件质量。最后,作者介绍了自己开发的精简图像共享工具 Trifecta,以此证明即使代码量少,也能实现功能。

DEA 曾大力宣扬的 Body Camera,现在却要放弃了

文章揭示了 Drug Enforcement Administration (DEA) 在四年后突然停止使用 Body Camera 的决定。DEA 称此举是为了与 Trump 撤销的行政命令保持一致,但未公开说明原因。尽管 DEA 曾大力宣传 Body Camera 的透明度,但此举引发担忧,前检察官认为这会增加特工工作难度。其他联邦机构如美国法警署和烟酒枪炮及爆炸物管理局仍在继续使用 Body Camera。文章还提到了 Body Camera 的资金投入、政策细节以及其对执法问责制和公众信任的影响。

对齐并非免费午餐:模型升级如何让你的置信度信号失效

文章探讨了模型升级对置信度信号的影响。作者发现,在从GPT-4o升级到GPT-4.1-mini后,模型的不确定性信号消失,导致难以检测违规内容。尽管尝试了多种方法恢复信号,均未成功。文章强调,模型升级并非单纯的性能提升,而是可能导致AI系统失效的分布偏移。因此,在升级模型时,需要记录原始数据,并采取替代安全措施,尤其是在使用闭源模型时。

VVVVVV Source Code

本文档是独立游戏 VVVVVV 的源代码,由 Terry Cavanagh 制作。文章提供了游戏源代码的 GitHub 链接,并介绍了游戏的主要贡献者。源代码包含桌面版和移动版,采用 ActionScript 和 C++ 等语言编写。文章还提供了游戏的许可证信息,并鼓励用户编译游戏供个人使用,但分发需遵守许可协议。

Show HN: Whippy Term - 用于嵌入式开发的 GUI 终端 (Linux 和 Windows)

Whippy Term 是一款面向嵌入式开发者的现代化 GUI 终端,支持 Linux 和 Windows 系统。它提供现代化的用户界面,具备书签、十六进制转储、插件扩展等功能。主要面向需要与设备通信的嵌入式开发者,支持串口、TCP/IP、UDP 等通信方式,并通过插件支持 I2C 和 SPI 协议。内置 ANSI 终端仿真,并原生支持二进制协议,方便与嵌入式设备和二进制协议交互。

Sutton and Barto Book Implementation

该项目是一个基于 Sutton 和 Barto 著作《Reinforcement Learning: An Introduction》中算法的 Python 实现。 仓库包含多种强化学习方法,如 Multi Armed Bandits、Model Based、Monte Carlo、Temporal Difference 等,并提供了示例代码。 项目通过 `setup.py` 安装,代码模块化组织,方便学习和参考。 欢迎贡献代码改进。

Continue (YC S23) 在旧金山招聘软件工程师

Continue (YC S23) 在旧金山招聘软件工程师,主要开发 AI 代码助手。 职位要求6年以上经验,精通 TypeScript、Node.js 和 React/Next.js,对 AI 工程或机器学习感兴趣。 薪资范围15万-20万美元,并提供股权。 工程师将参与核心产品指标优化、UI 细节掌控、抽象设计以及社区互动。 Continue 是一家开源 IDE 扩展公司,由 YC 资助,拥有大量 GitHub star 和下载量。

专注于大脑区域的 AI 以惊人的准确度重现你所看到的内容 (2024)

通过专注于特定大脑区域,AI 能够根据猴子的脑部记录,以惊人的准确度重建其所看到的图像。研究表明,这种方法显著提高了图像重建的精度。专家认为,这是目前为止最接近、最准确的重建结果。

苹果 App Store 规则调整后,iOS Kindle 应用新增“Get Book”按钮

由于苹果App Store规则调整,Amazon更新了iOS版Kindle应用。新版Kindle应用增加了“Get Book”按钮,用户可直接通过移动浏览器购买电子书。此前,为避免苹果抽成,用户需通过浏览器登录Amazon网站购买。这一更新简化了在iPhone上购买电子书的流程,尤其是在Kindle设备Wi-Fi连接不稳定的情况下。然而,苹果的上诉结果可能导致Amazon撤回此更新。

印度对巴基斯坦和巴控克什米尔的9个地点发起攻击

印度对巴基斯坦及其控制的克什米尔地区内的九个地点发动了袭击。

CL1:首个可部署代码的生物计算机

文章介绍了世界首个可部署代码的生物计算机 **CL1**。该设备将真实神经元与硅芯片结合,构建了与环境实时交互的闭环系统。**CL1** 允许用户直接连接神经元,部署代码,并进行研究,例如探索大脑功能、疾病机制等。它具有低功耗、自给自足、即插即用等特点,并提供了一种伦理上优于动物实验的替代方案。

Claude's system prompt is over 24k tokens with tools

文章披露了,`Claude` 的系统提示词(System Prompt)长度超过 24k tokens,并且包含了工具调用。文章展示了相关代码库的链接,提供了关于该系统提示词的更多信息。

ACE-Step: A step towards music generation foundation model

ACE-Step 是一个开源的音乐生成 Foundation Model,旨在解决现有音乐生成模型在速度、连贯性和可控性之间的权衡问题。它结合了扩散生成、Deep Compression AutoEncoder 和轻量级线性 Transformer,实现了快速的音乐合成,并提供了多种风格、语言和乐器支持。ACE-Step 具备变体生成、重新绘制和歌词编辑等可控功能,并提供了 Lyric2Vocal 和 Text2Samples 等应用。项目还计划推出 RapMachine 和 StemGen 等功能。该模型在硬件性能方面表现出色,并提供了详细的安装和使用指南,以及训练方法。

Engineered adipocytes implantation suppresses tumor progression in cancer models

该研究提出了一种名为脂肪操纵移植(AMT)的癌症治疗方法。通过基因工程改造脂肪细胞,使其更有效地利用葡萄糖和脂肪酸,从而“抢夺”肿瘤的营养供应,抑制肿瘤生长。研究发现,将工程化脂肪细胞与癌细胞或肿瘤模型共培养或移植,能显著抑制多种癌症的进展,包括乳腺癌和胰腺癌。此外,该方法具有可定制性,例如通过调控尿苷代谢来抑制特定类型的胰腺癌。

Cell Mates:利用表格数据中的有用信息赋能 LLM

文章探讨了如何利用表格数据增强大型语言模型(LLM)的能力。目前,LLM在处理表格数据方面表现不足,主要障碍在于缺乏有效的表示方法。文章提出了一种三步管道:理解数据结构、学习提问类型、创建机械摘要(如均值、相关性等)并生成图表。该方法旨在从表格数据中提取有用信息,并可用于RAG系统,补充现有数据,例如科学论文和行政数据。

特朗普官员使用的 TeleMessage 可以访问明文聊天记录

TeleMessage 提供的 TM SGNL 应用,是为特朗普政府官员定制的 Signal 修改版,但其安全性极低。该应用将用户的明文聊天记录存储在本地数据库,并通过后台服务定期上传到 TeleMessage 的存档服务器。这些服务器位于公共云上,可能被未加密地访问。分析代码表明,TM SGNL 绕过了 Signal 的端到端加密,将消息以明文形式发送到存档服务器,从而可能泄露聊天内容。黑客攻击事件也证实了该应用的安全漏洞。

《活死人之夜》如何意外进入 Public Domain

文章讲述了经典恐怖电影《活死人之夜》意外进入 Public Domain 的原因。由于发行商的疏忽,未在电影拷贝上贴上版权声明,导致该片可以被免费观看和传播。这一错误使得导演 George Romero 损失了数百万美元的收入。尽管如此,Public Domain 的特性也促进了该电影的广泛传播,使其成为备受推崇的经典之作。

超级电容器能否拯救 AI?——解决AI电力需求难题

文章探讨了AI训练对电网造成的电力需求峰值挑战。由于AI工作负载的快速增长,数据中心对电力的需求波动剧烈,可能威胁电网稳定。为了解决这一问题,多家公司推出了超级电容器组方案。超级电容器能够快速充放电,在短时间内提供电力缓冲,平滑电网负载,避免电池的快速衰减。这种技术尤其适用于应对AI的瞬时电力峰值,并有助于电网更好地适应可再生能源的波动性。

Brush (Bo(u)rn(e) RUsty SHell) a POSIX and Bash-Compatible Shell in Rust

`brush` 是一个用 Rust 编写的、兼容 POSIX 和 bash 的 shell。 它在 Linux 和 macOS 上构建和测试,并提供对 Windows 的实验性支持。 `brush` 适用于交互式使用,能执行大多数 `sh` 和 `bash` 脚本,但目前存在一些已知限制,不建议在生产环境中使用。 项目欢迎贡献和反馈,可以通过 `cargo install --locked brush-shell` 或克隆仓库运行。 该项目使用 `reedline`、`clap` 等 crate,并提供了测试策略。

废弃矿井坍塌的力学原理与工程应对

文章探讨了废弃矿井坍塌的力学原理及工程应对。由于早期采矿缺乏规划和监管,房柱式采矿留下的不稳定结构易受水、应力变化等因素影响,导致地面沉降和天坑。文章通过模型演示了坍塌过程,并指出沉降可能造成的危害。现代采矿技术有所改进,但仍需预测、测量和修复沉降。文章强调了解决历史遗留问题的重要性,以及在资源获取与环境保护之间寻求平衡的工程努力。

Rendering Engine 分类法初探:构建技术语境 (A Taxonomy for Rendering Engines)

文章探讨了构建实时渲染引擎分类法的必要性,旨在为该领域提供更丰富的语境,促进技术交流和经验分享。作者提出了一个示例分类法,包含产品特性、生产流程和技术要求三个维度,每个维度下又细分了多个子项,例如引擎用户、平台支持、可扩展性需求等。文章强调了规模和用户的重要性,认为技术如果没有用户,价值将大打折扣。最终,作者鼓励从业者在讨论引擎架构时,更多地思考并展示与选择相关的语境描述符,而非盲目遵循固定标准,以适应行业发展趋势。

Show HN: Feedsmith — Fast parser & generator for RSS, Atom, OPML feed namespaces

这是一个名为 Feedsmith 的 JavaScript 库,用于快速解析和生成 RSS、Atom、JSON Feed、RDF 和 OPML 等 Feed 格式。它支持多种命名空间,如 Podcast、iTunes 和 Dublin Core。该库提供通用和格式特定的解析器,并能保持原始 feed 结构,同时提供标准化功能。Feedsmith 具有快速解析、类型安全 API、Tree-shakable 等特点,可在 Node.js 和现代浏览器中使用。它还支持 JSON Feed 和 OPML 的生成。基准测试表明其解析速度较快。

GenAI 加速的 TLA+ 挑战赛

本次挑战赛由 TLA+ Foundation 与 NVIDIA 合作举办,旨在探索 GenAI 与 TLA+ 的结合。参赛者需开发利用 GenAI 提升形式化规范可用性、可访问性和自动化的工具、工作流程或方法。 奖品包括 RTX 5090 和 Github Copilot 订阅。 参赛作品将由 TLA+ Specification Language Committee 评审,重点评估功能、与 TLA+ 生态系统的相关性以及 AI 的使用。 提交作品需在 MIT 许可证下发布,并使用验证手段检查 AI 生成的内容。 提交截止日期为 2025 年 7 月 3 日。

Matt Godbolt 通过展示 C++ 让我爱上了 Rust

文章作者受到 Matt Godbolt 关于 C++ 的演讲启发,通过对比 C++ 和 Rust 在处理类型安全和错误方面的差异,展示了 Rust 在避免常见编程错误上的优势。作者以 `sendOrder` 函数为例,详细阐述了 C++ 为了实现类型安全需要编写大量代码,而 Rust 则通过语言特性更容易地避免了这些问题。文章强调了 Rust 在设计上的优势,即使是初学者,也能通过 Rust 减少因错误导致的脑力消耗。

太阳系外围是否存在孤单的 Planet Nine?

文章探讨了太阳系外围可能存在一颗名为 Planet Nine 的行星。研究者通过分析 IRAS 和 AKARI 远红外线数据,寻找可能存在的候选天体,并发现了一对匹配的候选源。尽管无法确定其轨道,但这项研究为 Planet Nine 的搜寻提供了新的线索。文章还提到,对其他天体轨道的研究表明,可能存在影响其运行的引力,但现有观测结果与最初的 Planet Nine 假说存在差异。文章最后强调了对 Planet Nine 的持续探索,认为其是推动科学发展和激发想象力的动力。

Curl:我们仍然没有看到任何由 AI 辅助生成的有效安全报告

文章表达了对使用 AI 辅助生成安全报告的强烈不满。作者要求提交关于 [#curl](https://www.linkedin.com/posts/) 安全报告的提交者声明是否使用 AI,并对 AI 生成的垃圾报告采取即时禁令。作者认为,目前尚未看到任何由 AI 辅助生成的有效安全报告,并将其视为一种浪费时间的 DDoS 攻击。

Cursor 的 Tab Completion 功能简史

文章讲述了 Cursor 收购 Babble 的故事,Babble 是市场上领先的 tab-completion 模型。 Babble 源于 Jacob Jackson 的 TabNine,通过编辑序列训练,优于传统的 Fill-in-the-Middle 方法。 Babble 拥有 1M 上下文窗口,在速度和范围上超越竞争对手。 Cursor 收购 Babble 提升了自身产品,并凭借数据优势在 AI 驱动的编码助手领域占据领先地位。

单根发丝状电极胜过传统21导联脑电图(EEG)

宾夕法尼亚州立大学的研究人员开发了一种3D打印的单根发丝状电极,用于脑电图(EEG)监测。这种电极比传统21导联EEG更可靠,能更稳定地监测大脑活动,且佩戴更舒适。它通过3D打印的生物粘合剂固定在头皮上,不易移动,减少了信号干扰。该技术有望应用于消费者健康产品、心理健康监测和脑机接口(BCI)等领域。

Show HN: Plexe - 通过 Prompt 构建机器学习模型

Plexe是一个通过Prompt构建机器学习模型的工具。用户可以用自然语言描述模型需求,Plexe利用多Agent架构自动构建模型,包括分析需求、规划、生成代码、测试评估和部署。它支持分布式训练、数据生成、Schema推断和多种LLM provider。用户可以通过Python库使用Plexe,并提供快速开始、特性、安装和文档等信息。

**Mass Spectrometry** 方法可在数分钟内识别病原体,而非数天

慕尼黑工业大学和伦敦帝国理工学院的研究人员开发了一种基于 **mass spectrometry** 的新方法,可在数分钟内识别细菌,大幅缩短了传统诊断所需的时间。该方法通过检测组织和粪便样本中的细菌代谢产物,利用一个包含232种细菌物种及其代谢产物的 **database** 来实现快速识别。这种方法能检测多种重要病原体,为个性化医疗提供可能。研究人员计划进一步扩展 **database**,以实现该方法在临床实践中的广泛应用。

Gemini 2.5 Pro 预览版:更优异的编码性能

Gemini 2.5 Pro Preview (I/O edition) 发布,重点提升编码能力。新版本在前端Web开发方面表现优异,在WebDev Arena排行榜上排名第一。该模型在代码转换、编辑和Agentic工作流方面也有改进。文章展示了其在视频转代码、功能开发和快速构建应用等方面的应用,例如根据YouTube视频创建交互式学习应用。开发者可以通过 Google AI Studio 和 Vertex AI 使用 Gemini 2.5 Pro,新版本还修复了函数调用错误,并提高了触发率。

Show HN: Clippy,本地 LLM 的 90 年代 UI 体验

文章介绍了名为 `Clippy` 的应用,它将 90 年代的 UI 风格与本地 LLM 结合。`Clippy` 允许用户在本地运行各种大型语言模型,提供简洁的聊天界面,无需复杂设置即可使用。它支持自定义模型、提示和参数,强调离线、本地、免费的特性。该项目是对经典 `Clippy` 和 Microsoft 90 年代设计的致敬,并提供了 macOS、Windows 和 Linux 的下载链接。

潜在空间中的口音:AI 如何感知英语口音强度

文章介绍了如何使用 AI 模型感知英语口音强度。通过构建“口音指纹”并将其映射到潜在空间,模型能够区分不同口音的强弱。文章展示了该模型在口音辅导应用中的应用,例如评估学习者的进步、语音转换和降噪对口音的影响。研究表明,口音强度评估独立于母语,且可以通过练习改变。该技术可用于量化口音学习过程、评估语音识别系统性能以及监测文本转语音系统中的口音变化。

Nnd – a TUI debugger alternative to GDB, LLDB

文章介绍了一个名为 `nnd` 的 Linux 平台调试器,作为 `GDB` 和 `LLDB` 的替代方案。`nnd` 具有 TUI 界面,主要用 Rust 编写,强调速度快、UI 流畅。它适用于 x86 64 位原生代码调试,例如 C++ 和 Rust。`nnd` 具有一些限制,例如仅限 Linux、不支持远程调试和多进程。文章还提供了安装和构建方法,并说明了其开发状态和未来改进方向。

抛弃式代码:不要回收,直接扔掉 (2017)

文章提倡使用“抛弃式代码”来解决编程难题。作者在学习 React 过程中,因调试问题耗时过多而停滞。通过实践 Dave Ceddia 提出的“抛弃式代码”方法,即为每个练习创建可丢弃的代码,作者快速构建了原型,解决了问题。核心观点是:遇到编码问题时,通过频繁编写并丢弃代码来练习,可以更高效地学习和解决问题。

MTerrain:适用于 Godot 的优化地形系统与编辑器

该文章介绍了一个名为 MTerrain 的 GDExtension 插件,专为 Godot 引擎设计,用于创建高度优化的开放世界地形。MTerrain 具有八叉树 LOD 系统、地形着色器、与 Godot 导航系统集成、草地系统、路径系统和编辑器工具等功能,支持高达 16km x 16km 的地形。文章还提供了快速上手指南,包括构建方法和相关视频链接,并鼓励通过 Patreon 支持。

马来亚邮票的隽永设计:一种 Timeless Design

这篇文章探讨了马来亚邮票的设计,涵盖了多个方面。文章详细分析了邮票的设计元素,如建筑、字体、颜色和油墨,以及印刷技术。内容还涉及二战时期、英国军事管理时期和英国殖民地时期的邮票,并研究了马来各州的邮票。此外,文章还运用了多种科学分析方法,如扫描电子显微镜、傅里叶分析等,对邮票的纸张、油墨等进行深入研究。

Show HN: Outpost – 用于出站 Webhooks 和事件目的地的 OSS 基础设施

Outpost 是一个开源的自托管基础设施,用于处理出站 Webhooks 和事件目的地。它支持多种目标类型,包括 Webhooks、Hookdeck Event Gateway、Amazon EventBridge 等。Outpost 采用 Go 编写,具有低依赖性,并针对高吞吐量和低成本运行进行了优化。它提供事件主题、至少一次交付保证、事件扇出、重试机制、多租户支持、用户门户等功能。文章还提供了快速入门指南,教你如何使用 Docker 部署和测试 Outpost。

研究揭示:Cuttlefish 通过手臂进行“交流”

研究发现,Cuttlefish 通过手臂动作进行交流,形成一套名为“arm wave signs”的通信系统。研究人员观察到四种不同的手势:“up”、“side”、“roll”和“crown”,这些手势涉及特定的手臂姿势和运动,并可能结合皮肤颜色变化。Cuttlefish 不仅能通过视觉感知这些信号,还能通过水中的振动感知。它们对正向播放的视频和原始录音反应更强烈,表明这些信号具有意义。这种双通道通信系统可能利用了侧线和平衡囊。研究人员认为,这与脊椎动物的视听交流存在有趣的相似之处,并暗示这些手势可能在多种情境下发挥作用。

OpenAI 同意以约 30 亿美元收购 Windsurf

OpenAI 计划以约 30 亿美元收购 Windsurf。

攻克 Lyme Disease:治疗和持续症状的新见解

文章主要介绍了关于Lyme disease的新研究。**Northwestern University**的研究发现,抗生素piperacillin在低剂量下能有效治疗该病,且对肠道菌群影响小。研究还揭示了Lyme disease治疗后持续症状的原因:身体对细菌细胞壁残余物的反应。研究人员希望这些发现能促进更准确的检测和改进治疗方案。

Propositions as Types:类型即命题 [pdf]

“类型即命题” (Propositions as Types) 揭示了编程语言类型系统与逻辑命题之间的深刻联系,即 Curry-Howard 对应。该对应关系指出:命题对应类型,证明对应程序,证明归约对应程序执行。这意味着,一个类型的值代表了对应命题的证明。例如,`Bool` 类型对应“真或假”,`A -> B` 对应蕴含关系。这种对应关系在类型安全编程、程序验证和自动化定理证明等领域有广泛应用,为构建更可靠的软件和解决数学问题提供了新视角,对理解类型系统至关重要。

内存安全版 sudo 将成为 Ubuntu 的默认配置

Ubuntu 25.10 将默认采用 **sudo-rs**,这是一个用 Rust 编写的内存安全版 `sudo` 工具。此举是 **Canonical** 提高核心系统组件安全性和可维护性的举措之一。**sudo-rs** 由 **Trifecta Tech Foundation (TTF)** 开发,旨在解决传统 `sudo` 存在的漏洞。为了推广,维护者将完成多项功能,并与现任 `sudo` 维护者合作。目标是让用户无需更改工作流程即可使用。此举为最终用户测试提供了时间,并为下一个长期支持版本(Ubuntu 26.04 LTS)的发布做好准备。

Shape and topology morphing of closed surfaces integrating origami and kirigami

文章提出了一种结合 **Origami** 和 **Kirigami** 原理,实现封闭曲面形状和拓扑形变的平台。该平台通过协调面板的旋转,使 **Origami-Kirigami** 组合体能够在立方体和球体之间形变、不同大小的球体之间缩放,以及在球体和圆环之间改变拓扑结构,并具有可编程的双稳态。研究采用两阶段设计策略,先实现几何兼容性,再确定旋转关节方向以实现双稳态。该框架为设计具有封闭构型的双稳态可重构结构和超材料提供了新思路。

如何在大型科技公司中 "Getting things done"

在大型科技公司中,"Getting things done" 并非简单指完成任务,而是指**完成**并**获得公司管理层的认可**。文章指出,持续改进并非目标,工程师应将工作推进到管理层满意程度,然后转向其他任务。 关键在于,工作要**对管理层可理解**,例如能产生或节省资金的项目。 许多工程师容易陷入无休止的改进,而忽略了交付成果。 最终,"Getting things done" 意味着让管理层理解并满意,这比技术细节更重要。

科学家教宠物鹦鹉互相进行视频通话,结果它们很喜欢这种方式 (Video Call)

科学家们教宠物鹦鹉使用 Video Call 互相交流,结果它们很喜欢这种方式。研究发现,鹦鹉们通过视频通话建立了友谊,甚至学会了新技能。这项研究表明,Video Call 可以改善圈养鹦鹉的生活,缓解它们的孤独感。但研究人员也提醒,未经训练的随意视频互动可能适得其反,需要谨慎操作。

继承的起源:一种为了性能而生的 Hack

文章追溯了`inheritance`(继承)的起源,它并非为了代码复用,而是源于性能考量。`Simula`语言发明`inheritance`是为了简化其简陋的垃圾回收器,并支持`intrusive lists`(侵入式链表),以节省内存。由于`Simula`的垃圾回收器限制,无法使用`composition`(组合),因此发明了`inheritance`。`inheritance`允许对象继承自`intrusive list`节点,简化了`intrusive lists`的使用。文章最后指出,虽然`inheritance`在现代被用于代码复用,但作者更倾向于使用`composition`和`modules`。

报告称:NSA 通过 Angry Birds 及其他 App 进行间谍活动 (2014)

根据 Edward Snowden 泄露的文件,NSA 通过 Angry Birds 等 App 收集用户个人数据。这些 App 涵盖地图、游戏和社交网络等,涉及全球数亿部智能手机。情报机构可以获取位置、政治倾向等详细信息。虽然 NSA 否认针对普通美国人,但文件显示情报部门能轻易访问 App 数据。GCHQ 也参与其中,表明日常软件可能被用作间谍工具。

Show HN: AnuDB – 基于 RocksDB,在并行工作负载中比 SQLite 快 279 倍

AnuDB 是一个基于 RocksDB 的轻量级、无服务器文档数据库,专为 C++ 应用设计,使用 MessagePack 序列化 JSON 文档。它提供嵌入式、无模式的存储方案,支持灵活查询和索引。AnuDB 继承 RocksDB 的事务特性,并支持 ZSTD 压缩。它还集成了 MQTT 接口,方便实时数据通信。性能方面,AnuDB 在并行工作负载中表现优异,并提供 Docker 支持。该项目包含丰富的 API 和示例,方便用户快速上手。

FTC关于不公平或欺骗性收费的规则将于2025年5月12日生效

FTC发布关于不公平或欺骗性收费规则的常见问题解答,旨在帮助消费者和企业理解该规则。该规则将于2025年5月12日生效,主要禁止诱饵开关定价等误导性收费行为,尤其针对现场活动票务和短期住宿行业。规则要求企业提前告知消费者总价和费用,以提高价格透明度。FAQs提供了关于规则适用范围、强制性费用、信息披露等方面的指导。

关于土耳其语 İ 问题以及你为何应该关注 (2012)

文章讨论了土耳其语中字母“İ”的大小写问题,它与英语不同,可能导致程序在处理字符串比较时出现错误。即使应用程序只支持英语,也可能受到影响。文章建议使用 `StringComparison.Ordinal` 或 `StringComparison.OrdinalIgnoreCase` 进行字符串比较,并推荐使用代码分析工具(如 FxCop)来检测和避免此类问题,提高代码质量和安全性。

Hyper – Outperform React on every metric

文章介绍了 Hyper,一个旨在超越 React 的用户界面构建语言。Hyper 强调简单性和极简主义,通过更简洁的 HTML 语法,减少样板代码,实现更易于维护和扩展的组件。文章对比了 React 和 Hyper 在简单组件、复杂组件和可复用组件上的差异,指出 Hyper 在代码量、抽象层和编译需求上都优于 React。Hyper 最终目标是构建一个极其简单的堆栈,并计划通过全栈应用和生成式 UI 来实现。

大猩猩研究揭示友谊的复杂利弊 (Gorilla study reveals complex pros and cons of friendship)

一项针对野生山地大猩猩的长期研究揭示了友谊的复杂性。研究表明,友谊对大猩猩的健康和繁殖有不同的影响,取决于群体规模、性别等因素。例如,小群体中友好的雌性更健康但后代少,而大群体中的雌性则相反。雄性方面,紧密的社会关系可能增加患病风险,但减少受伤可能。研究强调了“最佳”社交类型因个体情况而异,并指出社会环境是健康和寿命的重要影响因素。

DoorDash 将收购 Deliveroo, 加速海外扩张

DoorDash 将以 39 亿美元收购英国食品配送公司 Deliveroo。Deliveroo 董事会已接受 DoorDash 的收购要约,每股 180 便士。此次收购对 Deliveroo 的估值为 29 亿英镑。对 DoorDash 而言,此举是继 2022 年收购 Wolt 后,再次发力海外市场。Deliveroo 在伦敦上市后股价表现不佳,此次交易标志着其作为上市公司的终结。

《球鞋战士 (1992)》——4K 修复版

文章介绍了 1992 年电影《球鞋战士》的 4K 修复版蓝光碟。该版本由 Kino Lorber 发行,画质和音质均获高分评价,特别是视频的 4K 修复带来了显著提升。蓝光碟包含多种音轨和字幕,并附带导演和演员的评论、纪录片和预告片等额外内容。文章还提供了对电影剧情的简要介绍,并推荐了该蓝光版本。

“知道如何”的诅咒,或者;修复一切的困境

文章探讨了程序员因技术能力而产生的“修复一切”的冲动,以及由此带来的困境。作者认为,掌握技术能力后,会发现软件的各种问题,并产生改进的欲望,但无休止的修复和重构最终会导致倦怠。文章强调,真正的技能在于辨别哪些问题值得解决,学会放手,而不是试图修复所有问题。最终,作者认为,学会“让事情保持破碎”是程序员需要掌握的最重要的技能。

用于 Rust Trait 错误的交互式调试器

文章介绍了针对 Rust 中 trait 错误开发的交互式调试器 Argus。由于 Rust 的 trait 系统复杂,错误信息难以理解,Argus 通过 GUI 界面,允许开发者逐步探索推断树,从而更有效地定位错误。研究表明,使用 Argus 能显著提高开发者定位 trait 错误的速度。Argus 作为 VSCode 扩展提供,源代码可在 GitHub 上找到。

把所有礼物变成面包的趣味 Wrapping Paper

文章介绍了一款概念性的Wrapping Paper,由设计师[Ippei Tsujio](https://spoon-tamago.com/bread-wrapping-paper/)设计,其外观模仿面包,能将礼物伪装成法棍、恰巴塔等面包。这种设计利用棕色调、面粉质感和手工痕迹,营造出逼真的面包外观。目前该产品仍处于概念阶段,尚未投入生产。

面向 Astro 开发者的 RSC 指南

文章对比了 Astro 组件和 React Server Components (RSC) 的异同,并为 Astro 开发者提供了 RSC 的入门指南。Astro 中,Astro 组件在服务器端运行,Client Islands 用于交互。RSC 中,Server Components 和 Client Components 分别对应 Astro 的两种组件。RSC 使用 `'use client'` 指令区分服务器和客户端代码。RSC 允许共享组件,提供更流畅的交互体验,并支持类似 SPA 的导航。尽管 RSC 学习曲线较陡峭,但它解决了 Astro 的一些局限性,并提供了更强大的功能。RSC 是全栈 React,可以作为框架的构建块。

来自 Anukari 的呼吁:一个微小的 macOS 细节加速 Anukari

作者 Anukari 发现其 3D 物理合成器在 macOS 上因 GPU 时钟频率管理问题导致性能不稳定。由于 macOS 对 GPU 负载的判断机制不适用于 Anukari 这种实时音频处理应用,导致 GPU 时钟频率无法维持在最高状态。作者通过“浪费加速”策略(运行额外负载)来规避此问题,但该方法在部分硬件上效果不佳。文章呼吁 Apple 改进 macOS,例如将 Audio Workgroup 概念扩展到 GPU 处理,或在 Metal API 中提供实时敏感度选项,以确保 Anukari 在所有 macOS 设备上的稳定性能。

保持 Open WebUI 的自由、公平和可持续性

为了维护 Open WebUI 的自由、公平和可持续性,项目引入了基于 BSD-3 许可证的品牌保护条款。自 v0.6.6 版本起,用户仍可免费使用、修改和分发,但需保留品牌标识,除非满足用户量少于50人、贡献者并获得许可或拥有企业许可证这三种情况。此举旨在防止不良行为者剥削项目成果,维护社区精神,并鼓励贡献。对于企业用户,可联系获取专有或企业许可证。

关键 CSS (Critical CSS) 生成器

文章介绍了一个关键 CSS (Critical CSS) 生成器,它提取网页首屏所需的最小 CSS 规则集,并将其内联到 HTML 中。这样做可以加快页面渲染速度,提升性能和 SEO,改善用户体验。使用方法包括:将生成的 CSS 粘贴到 `` 的 `