正在检查您的浏览器……需要 JavaScript。
正在检查您的浏览器……需要 JavaScript。
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。这一传统被证明对项目的发展至关重要,它使贡献者能够同步工作、解决复杂的开发任务,并加强社区的协作文化。
20世纪80年代,挪威通过向日本成功推销大西洋鲑鱼,实现了经济转型,将一种过剩产品变成了全球性的烹饪主食。如今,鲑鱼已成为挪威第二大出口商品,推动了一个被政府视为“新石油”的庞大产业。 然而,这种快速扩张引发了关于生态和伦理成本的激烈争论。批评者认为,密集的开放式网箱养殖用鱼类排泄物和化学物质污染了峡湾,导致水体缺氧并破坏了当地的海洋生态系统。此外,该行业在鱼类福利方面也面临审查,因为疾病和寄生虫率的上升导致“生产鱼”(即带有痛苦伤口和缺陷而被捕捞的鲑鱼)数量显著增加。 尽管行业游说者为该部门的可持续性和经济重要性进行辩护,但挪威政府仍面临着平衡增长与环境承载能力的压力。目前,诸如“封闭式”潜水养殖网箱等创新技术正在接受测试,以减少废物和生物风险。随着产业趋于成熟,挪威面临着一项挑战:如何在不造成不可逆转的损害的前提下,既维护其作为全球供应商的主导地位,又保护维持其最赚钱水产资源的峡湾。
折叠地球仪
免费地球仪
定价
关于
MapScaping 呈现
免费纸质地球仪
可打印的折叠地球仪模板——每一个都可以免费下载、打印和折叠,并且每一个都可以通过自定义地球仪构建器制作成其他形状,或添加你自己的标记点。
太阳系
太阳
月球
火星
水星
金星
木星
木卫一
木卫二
土卫六
冥王星
谷神星
太空看地球
夜间地球
蓝色弹珠
绿色地球
海洋温度
海洋生物
无水的地球
积雪与冰川
云层
降雨量
陆地温度
世界生物群落
人口密度
撒哈拉沙尘与气溶胶
数据地球仪
百年大地震
世界火山
陨石坠落点
世界遗产
板块构造
时区
地图采用 Natural Earth 数据 · MapScaping 出品
地球仪构建器
免费地球仪
定价
关于
每一个地球仪均基于开放许可数据制作——来源已在各主题页面注明。
折叠地球仪 —— 一个 MapScaping 项目。
本项目是一个使用 SDL 2 构建的经典 Fasttracker II 便携式 C 语言克隆版。它支持跨平台使用,源代码及编译说明可在 GitHub 上获取。 用户需注意各操作系统的相关事项: * **Windows:** 若使用 NVIDIA 显卡,用户必须禁用 GeForce Experience 的 ALT+F4 和 ALT+F5 快捷键,以确保程序内的复制/粘贴功能正常运行。 * **macOS:** 首次启动时,用户可能需要通过“隐私与安全性”设置手动授予应用程序运行权限。某些系统快捷键可能也需要重新映射。 * **Linux:** 必须更改系统级的 ALT+F4 和 ALT+F5 键盘快捷键,以启用全部功能。 * **通用:** 在使用不同刷新率的多显示器时,可能会遇到显示问题。 最新版本(v2.22)现已可供下载,详细信息和更新日志可通过该项目的 GitHub 仓库查看。
在这篇散文里,厄休拉·勒古恩挑战了一种常见的误解,即认为由于她并非“硬”科幻作家,她的作品就缺乏技术含量。她指出,社会经常误用“技术”一词,错误地将其仅仅等同于计算机或喷气式轰炸机这类高科技、复杂的机械。 勒古恩将技术广义地定义为“人类与物质世界之间的主动交互”——即各种文化在驾驭物理现实时所采取的实用手段,包括基本工具、医药和食物制备。她断言,如果不描绘异星文明或未来社会的居民如何与环境互动,就无法构建出一个可信的社会。即使是简单的工具也代表着习得的技术能力,然而现代社会因工业进步而变得麻木,以至于我们根本无法将基础发明视为技术。 最终,勒古恩坚持认为,无论侧重点如何,所有科幻小说本质上都是科技性的。虽然她拒绝接受“硬科幻”的标签,但她打趣地说,她自己的作品或许可以被称为“软”科幻,其中的技术如同骨骼的内部结构一样,从内部支撑着故事,而不是作为一种外部的机械外骨骼存在。
**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)。
F* 是一种通用的、以证明为导向的编程语言,专为高可靠性软件而设计。它将纯函数式编程、带有副作用的编程与依赖类型相结合,并利用 SMT 求解器和基于策略的定理证明来验证代码的正确性。
F* 是开源的,由微软研究院、法国国家信息与自动化研究所(Inria)及社区共同开发。虽然它默认使用 OCaml,但也支持通过 KaRaMeL 和 Vale 等专用工具将其提取到 C、Wasm、F# 和汇编语言。这种多功能性使其成为需要严格安全性和高性能项目的理想选择。
其关键应用包括 **Project Everest**,该项目生产的经过验证的加密库(如 HACL*、EverCrypt)已被 Linux 内核、Mozilla Firefox 和 Tezos 区块链等主流系统使用。此外,**EverParse** 提供经过形式化验证的高性能二进制解析器,已应用于微软 Azure 和 Windows Hyper-V。
除了密码学和系统领域,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))) ```