6 ms·
Interactive proof languages already work that way, to a greater or lesser extent. But, for general-purpose languages, this revictimizes the docker addicts.
by firstlink 3y ago
Interactive proof languages already work that way, to a greater or lesser extent.
But, for general-purpose languages, this revictimizes the docker addicts.