Reddit thread: <a href="https://www.reddit.com/r/compsci/comments/3iby4e/verified_compilers_for_a_multilanguage_world_pdf/" rel="nofollow">https://www.reddit.com/r/compsci/comments/3iby4e/verified_co...</a>