I’m a big fan of what you folks are doing by the way.

Haskell (and Nix) people are fond of talking about “constraints as power”.

https://github.com/Ligo-Biosciences/AlphaFold3/blob/ebdf3b12...