正在检查您的浏览器……需要 JavaScript。
每日HackerNews RSS
关于 ESP32-C3 SuperMini 天线改造的 Hacker News 讨论，凸显了硬件黑客技术与合规性之间的权衡。尽管一些用户赞赏通过改造天线来改善信号接收或检测信号方向的技术巧思，但另一些人则警告了其带来的严重法律和实际后果。
讨论贴中的工程师指出，那些看似“糟糕”的原始天线设计往往是刻意为之的，经过了精确计算，以满足 FCC 关于有效辐射功率 (ERP)、发射限制和谐波的法规要求。修改这些组件可能会导致模块认证失效，使设备处于非法状态，并可能对本已拥挤的 2.4GHz 频段中的其他设备造成有害干扰。
尽管一些参与者戏称监管机构对个人而言“名存实亡”，但另一些人提醒道，对于企业而言，忽视这些标准是鲁莽的冒险，可能导致财务崩溃。最终，共识认为，虽然天线“黑科技”是一个有趣的实验领域，但它在安全性、合法性和射频干扰方面确实存在现实风险。
2026年5月，166名成员及嘉宾齐聚乌得勒支参加 Rust All Hands 大会，这是一场聚焦 Rust 编程语言未来的协作活动。该活动是 RustWeek 的一部分，由 RustNL 组织，为期三天的活动通过 73 场会议促进了深入的合作，并为生态系统维护者举办了同期举行的非正式会议（Unconference）。
主要讨论议题涵盖项目治理、文化与可持续性，以及对编译器内部机制、互操作性（包括 C++ 和 Linux 内核集成）的深度剖析，还有诸如常量泛型（const generics）和自定义 lint 等语言演进话题。与会者强调，此次活动的核心价值在于通过即兴的走廊交流和协作会议，打破障碍并建立人际联系。
此次活动获得了极好的反响，与会者表示在长期以来的技术难题上取得了突破，并改善了跨团队协作。鉴于此次成功，Rust All Hands 将于 2027 年 5 月 27 日至 29 日重返乌得勒支举办 RustWeek 2027。这一传统被证明对项目的发展至关重要，它使贡献者能够同步工作、解决复杂的开发任务，并加强社区的协作文化。
这篇 Hacker News 讨论帖探讨了 Rust 开发的现状，重点关注 GPU 和嵌入式生态系统，并围绕编译时间展开了辩论。
关于 GPU 支持，有批评者质疑为何“Rust-GPU”的关注度高于 Cudarc 或 WGPU 等更“可行”的工具。对此，一位维护者解释称，Rust-GPU 的目标是实现硬件层面的原生语言支持，而非仅仅是宿主端的绑定，并指出该生态系统目前规模较小，且尚未得到 Rust 核心项目的强力支持。
讨论帖还强调了嵌入式 Rust 社区内部的紧张关系：一些从业者认为，工作组更倾向于推崇复杂的、高度依赖 trait 的抽象，而非注重实用的、低门槛的固件开发。
最后，讨论还触及了 Rust 未来的采用前景。尽管一些用户担心随着大模型驱动开发的发展，缓慢的编译速度可能会阻碍 Rust 的推广，但资深开发者认为 `cargo check` 可以缓解这些瓶颈。他们认为，开发效率的真正限制因素依然是人的迭代速度，而非等待编译器的时间。
挪威三文鱼 Norway Salmon
11 小时前
20世纪80年代，挪威通过向日本成功推销大西洋鲑鱼，实现了经济转型，将一种过剩产品变成了全球性的烹饪主食。如今，鲑鱼已成为挪威第二大出口商品，推动了一个被政府视为“新石油”的庞大产业。 然而，这种快速扩张引发了关于生态和伦理成本的激烈争论。批评者认为，密集的开放式网箱养殖用鱼类排泄物和化学物质污染了峡湾，导致水体缺氧并破坏了当地的海洋生态系统。此外，该行业在鱼类福利方面也面临审查，因为疾病和寄生虫率的上升导致“生产鱼”（即带有痛苦伤口和缺陷而被捕捞的鲑鱼）数量显著增加。 尽管行业游说者为该部门的可持续性和经济重要性进行辩护，但挪威政府仍面临着平衡增长与环境承载能力的压力。目前，诸如“封闭式”潜水养殖网箱等创新技术正在接受测试，以减少废物和生物风险。随着产业趋于成熟，挪威面临着一项挑战：如何在不造成不可逆转的损害的前提下，既维护其作为全球供应商的主导地位，又保护维持其最赚钱水产资源的峡湾。
最近在 Hacker News 上的一场讨论突显了挪威鲑鱼养殖业的发展现状。该行业已成长为全球巨头，但目前正面临严峻的环境与物流挑战。
评论者指出，该行业正日益转向人工智能和海上自主建筑等先进技术，以将生产推向更远的海域。尽管此举旨在缓解目前挪威峡湾所承受的生态压力，但参与者也承认，平衡工业效率与环境健康仍是一大障碍。
此次讨论将鲑鱼产业化与畜牧业的历史进行了类比，并指出尽管消费者目前偏爱“野生”鲑鱼，但高科技、可控的养殖模式很可能会在未来几十年内成为标准。讨论强调，该行业的长期成功取决于能否顺利转型为更具可持续性的离岸生产方式。
折纸地球仪 Folding Paper Globes
11 小时前
折叠地球仪
免费地球仪
定价
关于
MapScaping 呈现
免费纸质地球仪
可打印的折叠地球仪模板——每一个都可以免费下载、打印和折叠，并且每一个都可以通过自定义地球仪构建器制作成其他形状，或添加你自己的标记点。
太阳系
太阳
月球
火星
水星
金星
木星
木卫一
木卫二
土卫六
冥王星
谷神星
太空看地球
夜间地球
蓝色弹珠
绿色地球
海洋温度
海洋生物
无水的地球
积雪与冰川
云层
降雨量
陆地温度
世界生物群落
人口密度
撒哈拉沙尘与气溶胶
数据地球仪
百年大地震
世界火山
陨石坠落点
世界遗产
板块构造
时区
地图采用 Natural Earth 数据 · MapScaping 出品
地球仪构建器
免费地球仪
定价
关于
每一个地球仪均基于开放许可数据制作——来源已在各主题页面注明。
折叠地球仪 —— 一个 MapScaping 项目。
Hacker News 上关于“折纸地球仪”（Folding Paper Globes）网站的讨论显示了用户对该项目的浓厚兴趣，评论者在称赞其理念的同时，也提出了潜在的改进建议。
参与者希望能看到更多成品照片，并要求增加教育性的衍生版本，例如供儿童使用的精确政区地球仪。这引发了关于谷歌地图和苹果地图等现代数字地图服务局限性的广泛讨论。用户指出，虽然数字工具在导航和卫星图像方面表现出色，但往往难以提供清晰、简洁的政区地图，即在强调国界的同时屏蔽掉杂乱的道路信息。
讨论还涉及了绘制边界的复杂性，用户提到了在呈现争议领土时面临的地缘政治难题。此外，一些用户批评该项目对“无水地球”的描绘可能具有误导性。总体而言，尽管社区指出了当前数字地图替代方案的不足，但仍将这一纸质地球仪项目视为一种引人入胜的新颖事物。
本项目是一个使用 SDL 2 构建的经典 Fasttracker II 便携式 C 语言克隆版。它支持跨平台使用，源代码及编译说明可在 GitHub 上获取。 用户需注意各操作系统的相关事项： * **Windows：** 若使用 NVIDIA 显卡，用户必须禁用 GeForce Experience 的 ALT+F4 和 ALT+F5 快捷键，以确保程序内的复制/粘贴功能正常运行。 * **macOS：** 首次启动时，用户可能需要通过“隐私与安全性”设置手动授予应用程序运行权限。某些系统快捷键可能也需要重新映射。 * **Linux：** 必须更改系统级的 ALT+F4 和 ALT+F5 键盘快捷键，以启用全部功能。 * **通用：** 在使用不同刷新率的多显示器时，可能会遇到显示问题。 最新版本（v2.22）现已可供下载，详细信息和更新日志可通过该项目的 GitHub 仓库查看。
一个使用 C 语言和 SDL2 编写的 Fasttracker II (FT2) 克隆版在 Hacker News 上引发了热议。用户们纷纷表达了对这款原始软件的怀旧之情，它曾是 90 年代许多电子音乐人的入门工具。
该项目托管于 16-bits.org，因其对经典追踪器界面的忠实还原而受到称赞。评论者们还提到了作者的其他作品，包括与原始 Amiga 硬件兼容的 ProTracker 克隆版。尽管部分参与者讨论了选择 SDL2 而非更新的 SDL3 的原因，或是探讨了使用 C 语言对比 Rust 等现代语言的优劣，但整体评价非常正面。
讨论还涉及了追踪器软件的更广阔前景，提到了 MilkyTracker 等现有替代品，以及在 Ableton Live 等现代数字音频工作站中开发新型追踪器风格界面的可能性。该项目被誉为保护和重现这一标志性音乐创作历史的有益尝试。
在这篇散文里，厄休拉·勒古恩挑战了一种常见的误解，即认为由于她并非“硬”科幻作家，她的作品就缺乏技术含量。她指出，社会经常误用“技术”一词，错误地将其仅仅等同于计算机或喷气式轰炸机这类高科技、复杂的机械。 勒古恩将技术广义地定义为“人类与物质世界之间的主动交互”——即各种文化在驾驭物理现实时所采取的实用手段，包括基本工具、医药和食物制备。她断言，如果不描绘异星文明或未来社会的居民如何与环境互动，就无法构建出一个可信的社会。即使是简单的工具也代表着习得的技术能力，然而现代社会因工业进步而变得麻木，以至于我们根本无法将基础发明视为技术。 最终，勒古恩坚持认为，无论侧重点如何，所有科幻小说本质上都是科技性的。虽然她拒绝接受“硬科幻”的标签，但她打趣地说，她自己的作品或许可以被称为“软”科幻，其中的技术如同骨骼的内部结构一样，从内部支撑着故事，而不是作为一种外部的机械外骨骼存在。
这篇 Hacker News 帖子讨论了厄休拉·勒古恩（Ursula K. Le Guin）2005 年的散文《关于“技术”的咆哮》（A Rant About 'Technology'），作者在文中挑战了对科幻小说狭隘的定义。
参与者们围绕“硬科幻”与“软科幻”的界限展开了争论。一些人认为硬科幻的定义在于对已知物理学规律的严格遵循，而另一些人则认为逻辑自洽比科学现实主义更为重要。勒古恩被誉为文学界的泰斗，她的作品（如《地海》系列和《海恩》系列）通过“软科幻”的形式，将哲学、社会学及语言学的探讨置于单纯的器械描写之上。
讨论中指出，勒古恩的这篇“咆哮”是针对一位评论家的直接回应，该评论家因她避开了“高科技”刻板套路，而将她排除在科幻文学之外。评论者们大多认为勒古恩的作品至关重要，并指出她对现代思辨小说（speculative fiction）的影响可与托尔金或阿西莫夫相提并论。归根结底，该帖子将小说视为艺术，认为“硬科幻与软科幻”的辩论与其说是关于技术准确性，不如说是关于叙事者的具体风格和创作意图。
**Katharos** 是一个将函数式编程抽象与强大并发能力相结合的 Python 库。通过利用函子（Functors）、单子（Monads，如 Maybe、Result、IO）以及代数结构等概念，Katharos 允许开发者将错误、状态和副作用处理为类型安全、可组合的值，而非传统的异常或 `None` 检查。
主要功能包括：
* **单子控制流**：使用 `do-notation` 和链式调用来简化嵌套逻辑，消除可选值和错误传播所需的模板代码。
* **错误处理**：将错误视为 `Result` 类型。`Result.catch` 等特性可将高风险函数转换为安全、可追踪的值，无需手动编写 `try/except` 代码块。
* **函数式并发**：实现了 Go 风格的 CSP（通信顺序进程），其中通道操作返回 `Result` 对象，允许开发者将闭包和超时处理为数据。
* **结构化并发**：提供上下文管理器以确保所有并发任务均能完成，并支持可替换的后端，以实现灵活的性能扩展。
通过将函数式核心逻辑与消息传递并发相结合，Katharos 将复杂的错误管理和并发编排转化为简洁、易于预测且更易于维护的命令式风格代码。详细文档请访问 [katharos.readthedocs.io](https://katharos.readthedocs.io)。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Show HN: Katharos 面向 Python 的函数式编程与 CSP 风格并发库 (github.com/kamalfarahani)19 个积分 由 kamalf 4 小时前发布 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助
kamalf 4 小时前 [–]
我一直在开发 Katharos，这是一个面向 Python 3.13+ 的函数式编程和并发库。其核心理念很简单：缺失值、错误、副作用和并发通信应当是显式且可组合的值，而不是隐藏的控制流。回复rirze 39 分钟前 | 父评论 [–]
作为一个非常熟悉 Python 但不太了解“代数抽象”的人，我看了你的示例，却无法理解它们是如何工作的（以及为什么这种抽象是有用的）。是我错过了什么吗？回复
考虑申请 YC 2026 年秋季批次！申请开放至 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
Has the New Cocaine Arrived?
12 小时前
有关 3-MMC 的这篇链接文章在 Hacker News 上引发了激烈争论，用户们主要批评该文对这种药物的描述缺乏批判性，过于理想化，处于一种“蜜月期”视角。
评论者指出，3-MMC 是一种广为人知且早已被禁的研究用化学品，而非所谓的“新”发现。许多贡献者对作者将其定性为提高生产力的“功能性工具”表示质疑，认为这只是新手常见的合理化借口，却忽视了其高成瘾性和强迫性补药的高风险。
经验丰富的用户强调，所谓“隐秘”的好处——即在使用该物质的同时还能保持生产力——往往只是清醒的错觉。讨论还延伸到了更广泛的文化批判，用户们就社交娱乐是否需要药物，以及打着现代“享乐主义与生产力”的幌子推广设计类药物的潜在危险进行了辩论。总的来说，评论者的共识是该文章缺乏对该物质相关身心风险的必要警告，实际上将一种成瘾性药物误导为无害的生活技巧。
F* 是一种通用的、以证明为导向的编程语言，专为高可靠性软件而设计。它将纯函数式编程、带有副作用的编程与依赖类型相结合，并利用 SMT 求解器和基于策略的定理证明来验证代码的正确性。
F* 是开源的，由微软研究院、法国国家信息与自动化研究所（Inria）及社区共同开发。虽然它默认使用 OCaml，但也支持通过 KaRaMeL 和 Vale 等专用工具将其提取到 C、Wasm、F# 和汇编语言。这种多功能性使其成为需要严格安全性和高性能项目的理想选择。
其关键应用包括 **Project Everest**，该项目生产的经过验证的加密库（如 HACL*、EverCrypt）已被 Linux 内核、Mozilla Firefox 和 Tezos 区块链等主流系统使用。此外，**EverParse** 提供经过形式化验证的高性能二进制解析器，已应用于微软 Azure 和 Windows Hyper-V。
除了密码学和系统领域，F* 还是形式化方法领域的一个活跃研究平台，涵盖了用于并发性、分离逻辑和信息安全的高级逻辑。它被广泛应用于学术界和工业界，用于开发经过验证的编译器、安全协议和稳健系统，通过数学证明确保关键软件免受漏洞攻击。
这篇 Hacker News 讨论帖探讨了以证明为导向的编程语言 F*。讨论始于对 F* 官网的批评，一位用户表达了对网站缺乏直观、“显眼”代码示例的不满。该用户认为，潜在开发者需要立即看到语法和实际应用案例（例如“Hello World”或 HTTP 服务器）来评估一门语言。
其他评论者提供了教程和文档链接，但也有人指出了技术障碍，例如在线沙箱无法使用。一位参与者为该语言的易用性进行了辩护，将 F* 比作编程界的“矮人要塞”——即设计上就具有复杂性和高门槛。尽管文档存在不足，但经验丰富的用户称赞了 F* 与现有 C 代码库的集成能力以及强大的验证功能。总体而言，这次讨论凸显了编程社区中一种常见的矛盾：对快速、直观入门方式的渴望，与先进的、侧重形式化验证的语言所固有的复杂性之间的博弈。
```trait Functor[A]: fun map[B](self, f: A -> B) -> Self[B]; impl List[A]: fun fold[A, B](l: List[A], z: B, f: (B, A) -> B) -> B match l: Cons(h, t) => List::fold(t, f(z, h), f) Nil => z fun sum(l: List[i32]) -> i32 List::fold(l, 0, (a, b) => a + b) impl Functor[A] for List[A]: fun map[B](self, f: A -> B) -> List[B] List::fold(self, Nil[B], (t, h) => Cons(f(h), t)) fun fmap[A, B, F: Functor](f: A -> B, x: F[A]) -> F[B] x.map(f) fun main() -> IO[Unit] let l = Cons(1, Cons(2, Cons(3, Nil))) let l2 = fmap(x => x * 2, l) print(int_to_str(List::sum(l2))) ```
**Fuse** 是一款全新的静态类型、纯函数式编程语言，其开发者目前正在寻求社区对其设计的反馈。Fuse 历经五年开发，具备高阶类型、特设多态、模式匹配和代数数据类型（ADT）等特性。它基于 Scala 实现，并通过 GRIN 全程序优化器编译为原生 LLVM 代码。
在语法上，Fuse 借鉴了 Rust、Haskell、Scala 和 Python，旨在纯函数式框架内提供类似 Rust 的功能，例如基于特性的编程和 `impl` 代码块。
在 Hacker News 的初步讨论中，作者回答了若干技术问题，指出该语言目前使用简单的 IO 单子（Monad），但计划对运行时副作用管理进行规范化。开发者还确认，尽管底层的 lambda 演算类型系统支持柯里化，但代码生成层面的支持仍在开发中。未来的开发目标包括：增加完整的模块支持、处理标准库中的 Unicode 编码，以及完善语言在导入和库重叠方面的机制。