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...

I was a contractor for like a month so I’m not at liberty to talk about the details.

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.