## Cellarium:Rust 中的 GPU 加速细胞自动机 Cellarium 是一个 Rust 库,用于使用 WebGPU (wgpu) 在 GPU 上完全创建和运行细胞自动机模拟。它允许开发者使用 Rust 子集定义细胞行为,然后通过过程宏编译成 WGSL 着色器。这能够对所有细胞同时进行高度并行、GPU 加速的更新。 主要特性包括使用 `#[derive(CellState)]` 定义细胞状态,使用 `#[cell]` 实现细胞逻辑(包括初始化、更新规则和可视化),以及指定邻域类型(摩尔、冯·诺依曼、基于半径)。可在细胞实现中将运行时可调参数定义为常量。 邻居交互通过 `sum`、`mean`、`count` 和 `laplacian` 等方法简化。空间访问器提供邻居的距离、偏移和方向信息。内置终端 UI 允许实时调整参数,并且可以从 JSON 保存/加载模拟以实现可重现性。 示例包括经典模拟,如生命游戏和 Gray-Scott 反应扩散,展示了该库的多功能性。Cellarium 提供了一种强大而高效的方式,通过 GPU 加速的细胞自动机探索复杂系统。
作者认为2000年代末期Flickr的URL结构对其用户界面设计教育产生了深远影响。与当时常见的、参数繁多的URL(例如`www.flickr.com/Photos.aspx?photo_id=...`)不同,Flickr的URL简洁、易读且易于编辑——例如`flickr.com/photos/mwichary/favorites`。
这种简洁至关重要,因为URL经常被直接输入、分享和修改。Flickr的设计允许通过自动补全快速导航,通过退格轻松编辑,并无截断地无缝包含在文本中。可预测的结构甚至允许用户*猜测*相关的URL。
虽然今天像人类可读的slug这样的改进是可以想象的,但核心原则——在URL中优先考虑清晰度和可用性——仍然具有影响力。作者认为他们后续的许多工作都归功于Flickr的设计倡导者(可能是Cal Henderson)所树立的鼓舞人心的榜样,这证明了深思熟虑的URL设计具有持久的影响。
Typed Assembly Language (TAL) 是传统汇编语言的扩展,旨在创建可验证的安全代码。它增加了类型注解和内存管理特性,并以一套强大的类型规则为后盾,从而保证内存安全、控制流安全和类型安全。
TAL 足够强大,可以表示复杂编程概念,如数据结构、高阶函数和模块,同时仍然允许标准的低级编译器优化。这使其成为旨在实现安全的语言的优秀编译目标,尤其是在移动代码和操作系统内核等领域。
针对 Intel IA32 架构,存在一个特定的实现,即 TALx86。研究人员已经成功地将 TALx86 作为编译器的一个目标,用于翻译一种安全的 C 语言(Popcorn),从而证明了它的实际应用。