<civodul>though often we're stuck at the stage of data availability, which is even before one might start wondering about software deployment
<zimoun>yeah, from my experience with cloudy people about “computing”, Guix allows to point the dependency issues (disappeared upstream, version, etc.). Then, it easy to translate that as the exact same problem for data. Here comes in Data Management and friend. :-)
<rekado_>I don't mean to be defeatist, but my experience with cloud people has always been that they embrace denial.
<zimoun>I had the analogy about Docker for my applied math’s friends. We have a result (theorem) and Docker image allows to verify examples, no more. The proof is what is inside the Docker image. But how can we audit a binary?
<zimoun>Applied to Fermat’s last theorem, Wiles said: I did it, here the Docker image. First, impossible to discover the hole, so impossible to fix it. Second, impossible to adapt the proof and finally proof all the Taniyam-Shimura-Weil conjecture. (I know nothing about these maths, just read once popular science by Simon Singh :-))