最初时，对云进行分类的项目可能显得有些缺乏新意，即便是有用。但对卢克·霍华德（1772-1864）来说并非如此，他以工业化学家的身份为业，以业余气象学家的热情为使命，他的1803年论文《云的形态变异》记录了他毕生致力于观测天空的热忱成果。长期以来，人们认为无法从不断变化的云层中推断出明确的类型。但基于他从十岁起就开始记录的日记，霍华德成为了第一个系统地命名标准云层的人。我们今天仍然使用他选择的拉丁名称：卷云（来自拉丁语“一缕头发”），积云（“凸起或圆锥状堆积”），层云（“水平片层”），以及雨云（降雨云）。这项工作不仅是气象学上的突破，还产生了充满风的风景水彩画册，并启发了一代风景画家。多年后，霍华德获得了意想不到的荣誉，被歌德在一首诗中提及。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Luke Howard 关于云的修改的论文 (1865) (publicdomainreview.org)
4 点赞 来自 Petiver 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 奇异系外行星挑战行星形成理论 天文学家利用詹姆斯·韦伯太空望远镜，发现了一颗异常的木星质量系外行星PSR J2322-2650b，其大气层主要由氦和碳组成——这种成分前所未见。这颗行星围绕着脉冲星（快速旋转的中子星）运行，其大气层富含碳，很可能含有烟灰云，甚至可能在深处形成钻石。 这一发现令人困惑，因为该行星的成分不符合现有的行星形成模型。极端环境——距离恒星仅100万英里，温度高达3700°F——以及脉冲星强烈的辐射可能起作用，但该行星如何获得如此独特的大气层仍然是个谜。 由于能够研究被恒星照亮的行星，而*看不到*恒星本身，该系统具有独特的观测性，从而提供了清晰的大气光谱。这个“黑寡妇”系统，其中脉冲星可能正在剥夺伴星的物质，呈现出一种新型的行星大气层，并为天文学家提供了一个引人入胜的谜题。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
韦伯望远镜观测到可能具有奇异氦和碳大气的系外行星 (nasa.gov)
9点 由 taubek 1小时前 | 隐藏 | 过去 | 收藏 | 2评论
pfdietz 5分钟前 | 下一个 [–]
Kyplanet 有一个关于这个的视频。https://www.youtube.com/watch?v=k7pu0Dhu87o 回复
seph-reed 17分钟前 | 上一个 [–]
住在那里的外星人有傻乎乎的高音调声音。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这篇博文详细介绍了使用函数式四叉树在Clojure中构建鸟群模拟的过程。作者在此之前的工作基础上，扩展了函数式四叉树的创建，增加了多个焦点，并为200个“鸟”实现了鸟群行为。 该模拟对鸟类建模，具有速度、感知和速度等属性。每只鸟根据三个关键的鸟群规则更新其位置：**对齐**（与邻居匹配方向）、**凝聚**（向群体中心移动）和**分离**（避免拥挤）。这些规则被实现为施加在每只鸟的速度上的转向力。 四叉树对于有效地寻找附近的鸟类至关重要。作者强调了对四叉树的改进，包括防止无限递归的最小叶宽度，以及简化对象分配到子节点的方法。搜索函数递归地检查搜索半径和树节点之间的重叠，通过避免平方根计算来优化性能。 虽然不追求100%的纯函数式，但代码仍然很大程度上是函数式的，鸟的状态在原子中管理以便进行Javascript编译。作者强调首先优先考虑函数式清晰度，然后优化性能——在最小的妥协下实现60fps。代码可在Github上获取。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
ClojureScript 中的功能性聚类四叉树 (lbjgruppen.com)
3 分，由 lbj 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文详细介绍了在Android上运行基于Rust的应用程序的进展，特别是使用`iced` GUI库。通过`android-activity` crate，Rust应用程序现在可以为Android构建，利用`winit`和`wgpu`等crate的支持。
虽然`iced`本身并不原生支持Android，但它可以与现有的图形管道集成。一个示例展示了如何将`winit + wgpu`应用程序转换为使用`iced`。
当前功能包括基本的文本输入、复制/粘贴，以及通过Java调用控制软键盘。然而，关于软键盘调整窗口大小、输入语言切换和IME支持等方面仍然存在问题。
构建过程涉及设置NDK和SDK的环境变量，使用`cargo-ndk`，并使用特定的目标架构（在本例中为x86_64）构建应用程序。该设置在Arch Linux上，使用特定内核、JDK和API版本进行了测试。
一位开发者成功使用 Rust 构建了一个 Android 应用，并分享了他们的经验，以鼓励 Rust 在移动平台上的更广泛应用。该项目利用了现有的 crates，如 `android-activity`、`jni-rs`、`wgpu` 和 `winit`，并基于 `rust-android-examples` 中的示例进行构建。
主要挑战是将跨平台 GUI 库 `iced` 集成，该库并未明确支持移动平台。开发者通过利用 `iced` 的 wgpu 集成示例以及 Android 设置，成功构建了一个可用的应用程序，但需要进行字体加载调整和触摸支持补丁。
该文章还介绍了其他用于 Android 开发的 Rust 选项，包括 `xilem`、`egui` 以及游戏引擎如 `Fyrox` 和 `Bevy`。开发者还计划探索类似的方法用于 iOS，预计过程类似。 此次成功证明了通过结合现有工具和社区贡献，使用 Rust 构建原生移动应用程序的可行性。
## GenresFox：可定制的新标签页
GenresFox是一款完全开源的新标签页扩展程序，适用于Chrome和Edge浏览器，优先提供简洁、可定制的体验。它具有现代的深色主题，带有毛玻璃效果和流畅的动画。
主要功能包括多引擎搜索（Google、Bing、DuckDuckGo），并能添加自定义搜索引擎，以及快速访问收藏网站的快捷方式，并自动获取网站图标。用户可以使用自定义壁纸（最高50MB）或Bing每日壁纸来个性化体验，并受益于智能缓存和通过Web Workers实现的高性能图像处理。
该扩展程序注重可访问性，提供高对比度主题、字体控制和键盘快捷键。它支持多种语言，并使用Vanilla JavaScript、CSS3和最新的Manifest V3标准构建。
GenresFox可在GitHub上找到 ([https://github.com/zayokami/GenresFox](https://github.com/zayokami/GenresFox))，欢迎贡献！安装过程包括克隆仓库，并将其作为未打包的扩展程序加载到Chrome/Edge中。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Show HN: GenresFox – 开源、可定制的新标签页扩展，使用 WASM (github.com/zayokami)
4 点赞 zayoka 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
brunoqc 1 分钟前 [–]
我以为这是为 Firefox 准备的。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
布莱恩·克尼汉观察到，调试比编写代码本身更困难——可能困难一倍。一种流行的观点认为，如果你用你最大的聪明才智编写代码，你可能没有足够的聪明才智来调试它。但这并不是说要避免熟练的编码。
核心观点是，面对调试挑战*迫使*你变得更加熟练。所需的“聪明才智”并非天生，而是通过实践培养出来的。在您认为自己理解的代码中遇到错误，会促使您扩展自己的能力，受到诸如自豪感和好奇心等因素的驱动。这个过程，被称为“克尼汉的杠杆”，将修复错误的短期努力转化为对您作为程序员的长期投资。
故意避免复杂的解决方案以简化调试会阻碍这种进步。虽然令人沮丧，但解决具有挑战性的代码符合“心流”的心理概念，促进技能发展。最终，解决看似不可能的代码的答案不是避免复杂性，而是参与其中并从中学习。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Kernighan's Lever (linusakesson.net)
6 分，由 xk3 1小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论
zahlman 4分钟前 [–]
(2012)> 你现在毫不费力地运用巧妙的编程技巧，这会让年轻时的你感到困惑。(如果不是，那么恐怕你已经停止作为程序员的进化了)。.. 也许我们可以允许“巧妙的技巧”能够产生比我以前更简单的结果。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
86Box v5.3
86Box v5.3
18 小时前
## 86Box 2025年12月更新 – 摘要
86Box 2025年12月的发布重点在于性能改进和扩展的硬件支持。通过新的C运行时库、动态重编译器优化（针对ARM和Apple Silicon）以及视频卡的增强多线程，提高了模拟速度。
一项重大变化是将大量的软驱声音录音移动到一个单独的“资源包”中，因为其体积庞大 – 必须下载并与模拟器一起安装。其中包括对软驱声音准确性的改进，包括来自多个驱动器的新的录音。
本次更新增加了对众多新机器的支持，包括Socket 1、5、7和370系统，以及扩展的BIOS选项和现有平台的修复。硬件新增包括新的声卡（Crystal CS4232，OPTi 82C930/931）和CD-ROM/DVD驱动型号。
大量的错误修复解决了显示故障、输入问题和声音问题，提高了各种模拟硬件的兼容性和准确性。Windows 7和8的支持持续进行，如果尚未安装，则需要Visual C++ 2015可再发行组件。
```
Hacker News新版 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
86Box v5.3 (86box.net)
7点 由 chungy 50分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
```
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
自然诱导的进化 (royalsocietypublishing.org)
9点 由Anon84 1小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
丹麦传统的邮政信件服务将在12月30日结束，历经400多年。PostNord 引用“日益增长的数字化”和信件数量下降 90% 作为原因。这将导致 1500 人失业，并移除 1500 个标志性的红色邮筒——其中许多已被收藏家购走。 虽然 PostNord 将继续在瑞典提供包裹递送和信件服务，但丹麦人仍然可以通过快递公司 Dao 发送信件，尽管访问和支付方式有所改变。尽管如此，丹麦法律规定必须保留信件发送选项。 有趣的是，最近的趋势表明，年轻一代中写信又开始流行起来，他们寻求从数字饱和中解脱。然而，97% 的丹麦人使用国家数字身份进行官方通信，因此纸质邮件越来越少见，也更具价值。PostNord 承认这一决定的历史意义，但坚持认为这是对社会习惯演变的必要应对。
## 丹麦邮政停止信件投递
经过400年，丹麦邮政将停止投递普通信件。这一变化将于1月1日生效，原因是信件数量下降以及转向数字通信。
虽然信件不会完全消失，但寄信将变得不那么方便。丹麦人需要使用Dao快递公司，在Dao商店投递信件或支付上门取件费用，并在网上或通过应用程序管理邮资。与传统的邮票投递方式相比，这将增加成本。
这一消息在Hacker News上引发了讨论，评论员们指出失去这项传统服务的文化影响，并质疑国际邮件将如何处理。一位用户反思了更广泛的趋势，即优化系统可能会以牺牲人际联系为代价，以及慢速、更周到的流程的吸引力。
旧金山周六发生大面积停电，影响了约13万PG&E客户，并严重扰乱了Waymo的自动驾驶服务。大量Waymo SUV被困，导致交通拥堵，而据报道，特斯拉的FSD车辆在同一区域行驶没有问题，埃隆·马斯克对此进行了强调。 Waymo暂停了网约车服务，优先考虑乘客安全和紧急通行。停摆的原因似乎与无线数据连接中断有关，可能源于超载或倒塌的蜂窝塔以及不工作的交通信号灯。 这并非孤立事件；此前也发生过Waymo车辆因交通信号灯故障或停电而冻结的类似问题。Waymo依赖远程人工协助处理“特殊情况”，这需要停电期间受限的带宽。虽然该公司最近通过了其远程协助项目的审计，但可用的操作员数量尚不清楚。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Waymo 车辆在旧金山大范围停电期间导致交通拥堵 (theverge.com)
12 分，由 mikhael 发布 57 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
r721 30 分钟前 [–]
当前讨论：https://news.ycombinator.com/item?id=46342412 (264 条评论) 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：