New top story on Hacker News: A Proven Correct C Compiler (Used by Airbus) on June 27, 2021 Get link Facebook X Pinterest Email Other Apps A Proven Correct C Compiler (Used by Airbus) 15 by mbrodersen | 0 comments on Hacker News.