## 规则学:一门新的科学
规则学,由作者创造的一个术语,是一门基础性的新科学,专注于研究简单规则的行为——本质上,当你建立一个系统并让它按照既定指令运行会发生什么。它不同于计算机科学(专注于*设计*程序)和传统数学(证明框架),而是侧重于*观察*规则*做什么*。
这种探索,作者已经实践了四十年,从具体的规则(如细胞自动机或图灵机)开始,并推广到更广泛的类别,可视化和测量它们的行为。一个核心挑战是**计算不可约性**——有时,了解规则结果的唯一方法就是简单地运行它。
规则学是理解复杂性的基础,既是模型的来源,也是一种“挖掘”计算宇宙以寻找技术应用的方法。它是一门实验科学,由观察驱动,但也具有理论性,探索计算上*可以*生成什么。作者强调简单性和明确的可视化是成功规则学研究的关键,这得益于像Wolfram语言这样的工具,它允许轻松地表示和执行规则。最终,规则学有望成为一个广阔、开放的科学探索领域,对基础理解和未来技术都具有影响。
经过18个月的停滞,街机博主带着对雅达利标志性街机游戏《Battlezone》制作过程的迷人一瞥回归。新发掘的1980年末的影像展示了雅达利位于加利福尼亚州桑尼维尔工厂的装配线,揭示了这些复杂机柜出人意料的流畅制造过程。
《Battlezone》在当时是一项技术成就,它推动了雅达利的矢量图形技术,创造了一种由埃德·罗特伯格领导的沉浸式第一人称坦克模拟游戏。机柜独特的潜望镜取景器最初备受争议,但却是这种体验的关键,并带来了重大的制造挑战。工业设计师迈克·奎里奥详细介绍了对其原始设计的修改,包括项目经理要求的添加以及为较矮玩家提供的可拆卸踏板。
影像突出了熟练的工人高效地搬运和包装这些机柜——1980年8月至1981年3月期间共生产了超过13,000台——使用工业吸盘轻松起吊。这是对这些“黄金时代”街机机器背后的人性化的一面难得的观察,提醒我们它们是经过精心制作的实物,而不仅仅是抽象的产品。
## Android 开发工具包 (AADK) 概要
AADK 是一个基于 gRPC 的 Android 开发框架,优先支持 ARM64 工作流。它被设计为多服务架构,GTK UI 和 CLI 作为轻量级客户端,将所有核心逻辑委托给后端服务。这些服务 – 包括 JobService(事件总线)、WorkflowService(流程编排)、ToolchainService(SDK/NDK 管理)、ProjectService(项目脚手架)、BuildService、TargetService 和 ObserveService(运行历史/制品) – 通过 gRPC 进行通信。
主要特性包括具有历史记录和实时流的作业管理、工具链处理(带有 ARM64 SDK/NDK 的自定义目录)、项目模板支持以及与 Cuttlefish 的集成以进行模拟。ObserveService 提供运行历史和输出清单,用于仪表板。
该系统仅支持 Linux ARM64 (aarch64);x86_64 故意不支持。配置和状态通过 JSON 文件管理,系统不捆绑第三方工具链,而是按需下载。一套全面的 CLI 命令和 GTK UI 提供对系统功能的访问。其核心目标是提供高效的 Android 开发工具,特别是针对 ARM64,补充现有的工具,如 Android Studio。
## 空间连接与H3索引:性能提升
传统的空间连接(例如,`SELECT * FROM A JOIN B ON ST_Intersects(A.geo, B.geo)`)在规模较大时性能会下降,因为空间谓词阻止了高效的哈希连接,导致复杂度为二次方。本文详细介绍了Floe如何利用H3索引来显著加速这些查询。
H3将地球划分为一系列六边形单元的层级结构,提供紧凑的、基于整数的键,适用于高效连接。通过将几何体表示为H3单元ID的集合,`ST_Intersects`检查转换为更快的集合重叠操作。虽然这引入了保守的近似(可能存在误报),但最终的精确谓词重新检查确保了正确性。
该过程包括为两个表生成H3覆盖,在单元ID上进行连接,去重候选结果,然后应用空间谓词。这会将代价高昂的谓词从主要操作转移到清理步骤。使用世界城市/国家数据集的测试表明,使用H3分辨率3可以实现**400倍的加速**,将查询时间从约460秒减少到仅1.17秒。
这种方法实用之处在于它可以与视图/CTE一起工作,避免索引维护,并允许轻松试验分辨率级别。最终,H3索引使数据库能够利用其优势——并行哈希连接——来处理地理空间数据。