折叠地球仪
免费地球仪
定价
关于
MapScaping 呈现
免费纸质地球仪
可打印的折叠地球仪模板——每一个都可以免费下载、打印和折叠，并且每一个都可以通过自定义地球仪构建器制作成其他形状，或添加你自己的标记点。
太阳系
太阳
月球
火星
水星
金星
木星
木卫一
木卫二
土卫六
冥王星
谷神星
太空看地球
夜间地球
蓝色弹珠
绿色地球
海洋温度
海洋生物
无水的地球
积雪与冰川
云层
降雨量
陆地温度
世界生物群落
人口密度
撒哈拉沙尘与气溶胶
数据地球仪
百年大地震
世界火山
陨石坠落点
世界遗产
板块构造
时区
地图采用 Natural Earth 数据 · MapScaping 出品
地球仪构建器
免费地球仪
定价
关于
每一个地球仪均基于开放许可数据制作——来源已在各主题页面注明。
折叠地球仪 —— 一个 MapScaping 项目。
每日HackerNews RSS
这份 Hacker News 讨论主要围绕 **FoldingGlobes.com** 展开，该网站可生成制作纸质地球仪的模板。社区成员就将地图数据投射到多面体形状上的最佳方式进行了热烈的技术讨论。
讨论重点包括：
* **技术改进：** 用户分享了最大限度利用纸张的技巧，例如旋转二十面体以适应更大尺寸的打印，并讨论了诸如 Photoshop 插件 *Flexify* 以及用于生成地图展开图的自定义 Python 脚本等多种软件工具。
* **地图设计：** 参与者指出制作“真实还原”的地球仪存在难度，并提到了色彩校准、大气效果，以及在行政边界与地理数据映射之间取得平衡所带来的复杂性。
* **缺失的功能：** 许多用户表示希望有更多预设选项（例如用于教学的精准行政版地球仪），并讨论了现代数字地图相较于经典纸质地图集，在人口加权排版和地形细节等丰富数据上的缺失。
* **用户反馈：** 尽管该项目广受好评，但一些用户对网站缺乏最终成品的高质量照片以展示效果感到不满。
本项目是一个使用 SDL 2 构建的经典 Fasttracker II 便携式 C 语言克隆版。它支持跨平台使用，源代码及编译说明可在 GitHub 上获取。 用户需注意各操作系统的相关事项： * **Windows：** 若使用 NVIDIA 显卡，用户必须禁用 GeForce Experience 的 ALT+F4 和 ALT+F5 快捷键，以确保程序内的复制/粘贴功能正常运行。 * **macOS：** 首次启动时，用户可能需要通过“隐私与安全性”设置手动授予应用程序运行权限。某些系统快捷键可能也需要重新映射。 * **Linux：** 必须更改系统级的 ALT+F4 和 ALT+F5 键盘快捷键，以启用全部功能。 * **通用：** 在使用不同刷新率的多显示器时，可能会遇到显示问题。 最新版本（v2.22）现已可供下载，详细信息和更新日志可通过该项目的 GitHub 仓库查看。
Hacker News 社区近日庆祝了一个使用 SDL 2 和 C 语言编写的 FastTracker II (FT2) 克隆版的发布。该项目在曾经的 Demo 制作人和音乐爱好者中引发了一场关于 Tracker 音乐“黄金时代”的怀旧讨论。
用户们分享了 20 世纪 90 年代 Tracker 圈子的个人回忆，强调了 FT2、Impulse Tracker 和 ScreamTracker 等软件如何定义了早期的电子音乐制作。讨论随后延伸到声卡硬件历史的技术探讨——例如 SoundBlaster、Gravis Ultrasound 和 Commodore Amiga——以及 Renoise、MilkyTracker 和 Schism Tracker 等现代 Tracker 替代软件的演变。
讨论中很大一部分内容感叹了现代 3A 游戏向“电影化”管弦乐配乐的转变，参与者呼吁回归到基于 Tracker 创作的独特音色和创意局限中。虽然一些人质疑为何选择 SDL 2 而非更新的 SDL 3，但文中提到该项目始于数年前，旨在优先考虑在旧系统上的兼容性。最终，这一讨论帖成为了对 Tracker 软件在现代音乐制作和游戏文化中持久影响力的致敬。
在这篇散文里，厄休拉·勒古恩挑战了一种常见的误解，即认为由于她并非“硬”科幻作家，她的作品就缺乏技术含量。她指出，社会经常误用“技术”一词，错误地将其仅仅等同于计算机或喷气式轰炸机这类高科技、复杂的机械。 勒古恩将技术广义地定义为“人类与物质世界之间的主动交互”——即各种文化在驾驭物理现实时所采取的实用手段，包括基本工具、医药和食物制备。她断言，如果不描绘异星文明或未来社会的居民如何与环境互动，就无法构建出一个可信的社会。即使是简单的工具也代表着习得的技术能力，然而现代社会因工业进步而变得麻木，以至于我们根本无法将基础发明视为技术。 最终，勒古恩坚持认为，无论侧重点如何，所有科幻小说本质上都是科技性的。虽然她拒绝接受“硬科幻”的标签，但她打趣地说，她自己的作品或许可以被称为“软”科幻，其中的技术如同骨骼的内部结构一样，从内部支撑着故事，而不是作为一种外部的机械外骨骼存在。
**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 讨论批评了一篇关于合成卡西酮 3-MMC 的《花花公子》文章。评论者们压倒性地反对该文章的前提，即认为这种药物是用于提高生产力和社交的“功能性”、“隐蔽”且低风险的工具。
有经验的使用者和评论家指出，这篇文章是典型的“蜜月期”叙事，并强调 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*** 展开，起因是用户对其官网缺乏直观的代码示例感到不满。
**讨论要点包括：**
* **易用性与着陆页：** 许多用户认为，编程语言的官网应优先展示“Hello World”代码片段和明确的用例，以帮助访客快速理解该语言的用途。F* 的支持者则反驳称，它是一种用于形式化验证的专业工具，而非通用 Web 框架，其价值在于复杂的语义而非基础语法。
* **缩进之争：** 讨论演变成了一场关于缩进语法（indentation-based syntax）的激烈辩论。批评者认为这种语法在复制粘贴时很脆弱，且增加了自动化重构的难度；而支持者则认为，现代编辑器可以轻松处理缩进，且它有助于强制执行整洁的代码规范。
* **行业应用：** 评论者强调，F* 已被广泛应用于高安全性领域，特别是微软研究院（Microsoft Research）和 Mozilla 用于密码学原语的形式化验证（例如 Project Everest/HACL*）。
* **技术本质：** F* 被形容为“编程语言界的《矮人要塞》”——它极其复杂，但在连接高级函数式编程与经验证的底层机器代码方面具备独特的能力。
```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** 是一门静态类型、纯函数式编程语言，由一名开发者历时五年独立开发。它使用 Scala 编写，并利用 GRIN 全程序优化器生成原生的 LLVM 代码。Fuse 旨在将 Rust 风格的特性（如代数数据类型 ADT、trait 和 `impl` 语法）引入纯函数式编程范式中，同时避免使用可变性（mutation）和借用检查器（borrow checker）。
该语言目前支持高阶类型、双向类型检查和模式匹配。虽然它目前使用 IO 单子（monad）来处理副作用，但开发者计划在语言演进过程中加强这些约束。目前，Fuse 尚不支持模块、Unicode 字符串和高级关联类型，但这些功能均已列入开发路线图。
Hacker News 社区对此反应积极，用户称赞了其 GRIN 后端的使用以及简洁易读的语法。尽管部分用户对某些设计选择（如使用 `[]` 表示泛型以及高阶 trait 的处理方式）进行了讨论，但开发者正在积极回应反馈，并优先考虑 LSP 支持和改进类型系统灵活性等后续改进。
2006 年，RISC OS Open Ltd (ROOL) 成立，旨在将私有的 RISC OS 平台向公众开放。在过去的二十年里，该公司通过社区协作、开源计划以及专门的赏金方案，成功地完成了对该操作系统的转型。 主要里程碑包括：2006 年源代码的发布、向树莓派 (Raspberry Pi) 的迁移，以及在 2019 年实现完全开源的 Apache 2.0 许可证。该平台已经发布了多个稳定版本，采用了 GitLab 等现代开发工具，并持续提供硬件支持更新。 ROOL 将这一成功归功于全球的贡献者、开发者和测试人员社区，正是他们推动了该项目的长久发展。在庆祝成立 20 周年之际，公司正展望未来，启动了一项名为“登月计划”(Moonshots) 的雄心勃勃的计划，旨在将 RISC OS 移植到 64 位 ARM 架构上。凭借二十年的进步，ROOL 将继续培育一个充满活力的生态系统，确保 RISC OS 的遗产在未来多年里依然保持相关性和生命力。
抱歉。