Rewriting the Futhark Type Checker11 days agohttps://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.htmlFuthark 类型检查器最初设计简单，支持标量、数组、元组、一阶单态函数，没有类型推断，但已包含用于原地更新的唯一性类型。随着记录、模块、高阶函数、Hindley-Milner 推断和大小类型等特性的加入，单遍类型检查器变得越来越复杂且难以维护。类型检查器最终被拆分为多个阶段：名称解析、别名检查（后类型检查）和核心项类型检查。引入了一种新的基于约束的无大小类型检查器来处理像 AUTOMAP 这样的复杂特性，约束被离线求解而非即时处理。更多...
Show HN: Phobos – A tiny scale-free kernel language with tile-DAG supporta month agohttps://www.joa-ebert.com/posts/2026-07-07-phobos-lang/作者开发了Phobos，这是一种受Triton启发的微型内核语言，可编译为PTX并在NVIDIA GPU上运行。Phobos在RTX 2080 SUPER上实现了约76%的cuBLAS SGEMM性能，并采用了平铺和Tensor Core使用等优化。该语言抽象了线程级细节，专注于面向AI计算的平铺级操作，从而能够自然地扩展到分布式集群。该项目涉及学习底层GPU编程、使用MLIR和LLVM与Rust，并实现内核参数的自动调优。更多...