A compiler is a computer program that translates from one format to another, most often from a high-level computer language to byte code and machine code. Compilers come in a number of variations ...

I am going to show you how to compile a C++ program on Linux. I’ll demonstrate it on Ubuntu Desktop 23.04, I’ll use the tried and true Hello, World! app as an example.

It’s a formally verified compiler, meaning there is a mathematical proof that what you write in C will be correctly translated to machine code. The compiler can generate for PowerPC, ARM, RISC-V ...