2 ms·
Is this the same thing as the terms open-world vs closed-world soundness the article uses? I.e the API is sound but it uses unsafe on the inside? I've never hea
by Too 9y ago
Is this the same thing as the terms open-world vs closed-world soundness the article uses? I.e the API is sound but it uses unsafe on the inside? I've never heard those terms before.