260418｜月球尘过敏，基因加速人类进化 - Hacker News

Show HN: I made a calculator that works over disjoint sets of intervals

核心亮点

该计算器实现了区间并集算法（Interval Union Arithmetic），能够处理不相交区间的并集，使得除以包含零的区间仍能得到有界结果。

关键特性

支持基本运算（+、‑、*、/、^）以及常用函数（sin、cos、log、exp 等），结果始终以区间并集形式给出。

提供全精度模式，利用 IEEE‑754 双精度向外取舍，保证输出区间包含真实值，即便是 0.1 + 0.2 这种经典浮点误差也能得到含真值的区间。

语法允许裸数与区间混用，裸数被视为零宽区间，便于直接输入常数。

实际影响

对于需要传播不确定性的科学计算（如误差分析、控制系统），该工具能够自动保守地传播范围，避免手动传播误差的繁琐。开源代码已在 GitHub 上提供，欢迎 issue 报错和赞助。

All 12 moonwalkers had “lunar hay fever” from dust smelling like gunpowder (2018)

事件概述

阿波罗登月宇航员返回舱内后，均出现喉咙痛、流泪和打喷嚏等类过敏反应，NASA 将此称为“月尘过敏”。

背景脉络

月尘由尖锐硅酸盐颗粒组成，在低重力环境下长时间悬浮，易深入肺部；缺乏大气使其被太阳辐射充电，具静电吸附性，易沾附舱内设备和防护服。

行业影响

该发现促使 ESA 与全球专家合作评估月尘毒性，并探索利用月壤制作防护砖或提取氧气的途径，为未来长期月球任务提供参考。

Towards trust in Emacs

项目定位

trust-manager 是一款为 Emacs 30 信任机制设计的就时授权插件，旨在减少安全设置带来的使用摩擦。

核心能力

首次访问项目时弹出信任询问，选择后自动记录并记住。

自动将初始化文件、自定义文件及 load-path 目录标记为可信，确保自身配置不受影响。

提供模式行红色 ? 指示未信任缓冲区，点击即可即时授权并恢复被禁用的特性（如 Flymake）。

使用场景

适用于频繁在多项目间切换的 Emacs 用户，能够在保持安全默认的前提下，快速恢复代码检查、编译等功能，避免用户因频繁弹窗而关闭整个信任系统。

Landmark ancient-genome study shows surprise acceleration of human evolution

研究发现

分析西欧亚地区 15,836 份古DNA（含超过 1 万份新测序基因组）后，研究团队鉴定出 479 个呈强定向选择信号的基因变异，表明过去 1 万年间人类基因组演化速度显著加快。

方法简介

团队先在不同时期人群中寻找频率一致升降的变异，再剔除可由遗传漂变或人口置换解释的位点，留下经筛选的候选变异。随后将这些变异与农业引入、青铜时代等文化转型对照，观察其频率曲线。

意义与局限

结果显示免疫、皮肤色素脱落和秃发等状况的基因在农业和青铜时代经历快速选择，提示文化变迁可驱动基因组快速适应。但研究仍依赖于现有古DNA样本的地域覆盖，对非西欧亚人群的演化速度尚未给出直接证据。

Are the costs of AI agents also rising exponentially? (2025)

核心观点

虽然 AI 代理能完成的任务时长呈指数增长，但其实际使用成本（按任务时长计算的每小时费用）也在上升，可能导致性能提升背后是不可持续的算力投入。

论证逻辑

作者采用 METR 提供的性能‑成本曲线，在对数‑对数图上绘制常小时成本线（斜率 1），每条模型曲线最近点即为其最低每小时成本（“甜点”）。结果显示：

某些模型在甜点的每小时成本已接近人工工资（≈ $120/hr），而进入性能平台后成本可跳至数倍。

随着任务时长增加，甜点成本呈正相关上升趋势，表明更长 horizons 需要更高的每小时支出。

因此，单纯看时间界线会高估实际可负担的 AI 能力。

延伸思考

若成本上升速度超过任务时长增长，前沿 AI 在经济上将逐渐失竞争力；实际部署可能滞后于性能基准，需要等待算力价格下降或架构优化才能使高时长任务在成本可接受的范围内落地。

Category Theory Illustrated – Orders

概念背景

顺序理论研究集合上满足 reflexivity、transitivity、antisymmetry（以及可选 totality）的二元关系，是理解偏序集、格以及范畴论中积、产的直觉入门。

解读要点

线性（全序）：任意两元素可比，满足四条公理；在编程中对应可直接使用的比较函数。

偏序集（poset）：丢弃 totality，允许不可比元素，链为其中的全序子集。

格：每对元素均有唯一的 join（最小上界）与 meet（最大下界）；有界格还具顶元与底元。

范畴视角：预序即薄范畴（任意两对象间至多一态），其中的积/产分别对应 meet/join，使得序论工具可直接迁移至一般范畴论推导。

应用场景

在程序验证中用偏序描述资源分配的依赖关系；在数据库中利用格的 join/meet 实现最小公约数与最大公倍数的并行计算；在类型系统中利用预序建立子类型关系的传递性。

Amiga Graphics

项目定位

该站点收录并展示 Commodore Amiga 时期的图形作品，旨在保存该机器独特自定义芯片（如 Agnus、Denise、Paula）所实现的高彩色、硬件滚动及彩色循环等技术遗产。

核心能力

提供高分辨率（最高 2160px）扫描图、杂志艺术画廊及演示赛（demo‑scene）截图。

配有技术文章，解释显示模式、颜色循环转换器以及硬件位面操作的原理。

支持社交媒体同步，便于爱好者在 Twitter、Mastodon 等平台分享发现。

使用场景

复古计算机爱好者可在此参考真实硬件限制下的像素艺术技术；游戏开发者可研究 Amiga 的双缓冲与彩色循环如何在有限带宽下实现流畅动画；教育者可使用这些素材说明 16 位时代的图形硬件创新。

Michael Rabin Has Died

事件概述

以色列数学家、计算机科学家 Michael O. Rabin 于 2026 年 4 月 14 日在以色列逝世，享年 94 岁。

贡献回顾

与 Dana Scott 共同提出有限自动机理论，随后获得 1976 年图灵奖。

首次正式提出多项式时间（P）复杂度概念，独立于 Cobham 与 Edmonds 的工作。

发明 Miller–Rabin 素性检测、Rabin 签名算法（基于整数因子分解难度的早期公钥密码）以及 Rabin–Karp 字符串搜索（滚动哈希）。

在监二阶理论、树自动机及随机算法领域留下奠基性工作。

行业影响

其成果奠定了现代计算复杂度理论、加密协议以及随机算法的基础，至今仍被广泛引用于密码库、编译器优化及形式验证工具中。

Slop Cop

项目定位

Slop Cop 是一款运行在浏览器中的写作辅助工具，用于检测并标记大型语言模型生成文本中常见的修辞与结构套路，帮助作者识别并减少“通用 AI 风格”。

核心能力

识别超过 40 种模式，包括过度使用破折号、否定转折（“not X, but Y”）、问答即答、三重并列（“X, Y, and Z”）等。

标注词汇层面的陈词滥调（如 “crucial”， “vital”， “robust”）以及结构层面的套话（“At the end of the day”， “Furthermore” 开头段落）。

用户可自行粘贴或输入文字，实时给出匹配次数及高亮片段；提供可选的 Anthropic API 调用以启用更深层语义检测。

使用场景

适用于撰写技术博客、论文初稿或任何希望避免模板化 AI 语气的文本；编辑部可将其纳入稿件审阅流程，快速定位需人工润色的段落；个人写作时可作为自我校验工具，提高语言多样性和原创性。

Brunost: The Nynorsk Programming Language

项目定位

Brunost 是一门以挪威语 Nynorsk 为唯一标识符语言的函数式编程语言，旨在探索将母语强制用于代码命名的可行性与编程体验。

核心能力

语言核心包含变量（mutable open / immutable låst）、条件 viss、forKvart 及 medan 循环，以及基本数据类型（数值、字符串、列表）。

提供模块系统（bruk 关键字），支持自定义模块以及标准库中的终端 I/O、数学运算及进程控制。

异常处理采用 prøv … fang(feil) 结构，类似其他语言的 try‑catch。

已实现 WebAssembly 版本，可直接在浏览器中运行演示（如斐波那契、生命游戏）。

使用场景

作为教学工具帮助学生体验在母语约束下进行编程的感受；对语言设计爱好者提供一个小型实验平台，测试强制语言词典对代码可读性和错误率的影响；开源社区可在此基础上扩展标准库（如哈希映射）或构建语言服务以获得 IDE 自动补全。

相关链接：