Kindling the compiler (Python, in your browser)…
Proof-carrying · algorithm-first compiler
You describe the algorithm. The compiler chooses the implementation, and proves it correct.
ᚱRaidō · the rune of the journey, the choosing of a path.