Haskell (and Nix) people are fond of talking about “constraints as power”.
https://github.com/Ligo-Biosciences/AlphaFold3/blob/ebdf3b12...
There are a number of companies doing innovative things around quantifying proteins and their concentrations in various samples.
I had the privilege to rub elbows with folks working on such cool stuff.