Hacker News new | ask | show | jobs
Well-typed programs can go wrong, finding bugs in compilers [pdf] (theosotr.github.io)
3 points by vons 1471 days ago
1 comments
cantern 1471 days ago
https://hephaestus-compiler-project.github.io/
link