Můžeme věřit překladačům? Projekty řešící schéma „důvěřivé důvěry“

[24 minut čtení] Seznámíme se s některými zajímavými projekty, které se snaží – každý svým způsobem – vyřešit schéma „důvěřivé důvěry“, přesněji řečeno problém, kdy máme věřit, že námi používaný překladač například neobsahuje sofistikovaného trojského koně. 1. Můžeme věřit překladačům? Projekty řešící schéma „důvěřivé důvěry“