The Futhark language author reflects on floating-point nondeterminism after being inspired by Michael Haddon's Replay Lattice type system presented at IFL2026. The post classifies reproducibility into three tiers—Exact, Replay, and Approx—and acknowledges that Futhark's data-parallel paradigm has some inherent nondeterminism from floating-point rounding errors.
Background
Futhark is a purely functional data-parallel array programming language designed for high-performance GPU and parallel computing. The discussion of floating-point nondeterminism is relevant to the broader reproducibility concerns in scientific and high-performance computing.
- Source
- Lobsters
- Published
- Nov 7, 2026 at 03:16 AM
- Score
- 6.0 / 10