Definition
Plain language
The program that turns the code a developer writes into something a computer can actually run.
As stated in the literature
A tool that translates source code into machine code or bytecode and rejects programs that violate the language's rules; in proof assistants like Lean, the compiler also serves as the proof checker, accepting only logically valid programs.
Also called: compiles, compile, compiled
Why it matters: It is the gatekeeper that turns written code into a runnable program and refuses anything that breaks the language's rules.
For example, when a developer hits 'build,' the compiler turns their human-readable code into the instructions the computer actually executes, flagging any errors along the way.
Heard on the show
“A sufficiently practiced deception could compile down into automatic circuitry and run entirely beneath this lens.”Episode 203 — The Thought a Model Doesn't Say — and the Lens That Reads It