[drdeca]

I misread this as “the operators G, A, and M” rather than “their”, and thought that this was going to be about some like, combinators of some kind allowing for expressing something about what computation (on what data) you want to outsource the running of run, in terms of 3 operators.

Like, some sort of verifiable computing kind of deal.

Because I hadn’t read the quotation carefully (as otherwise I would have caught the part about depreciation notices before reading the article).