Geometric Computability: Functional programming for gauge theory | Heykuki News