IC... IC... IC... Ad astra... [Chorus] Gloria Combinator, Gloria in excelsis Optima machina, mentes nostras complectens Gloria Combinator, Gloria in excelsis Ad astra per digitus, ad deum per algorithmus [Verse 1] In silicon and wire, a god we find, Optimal processor, a higher mind. Lamping's proof, a gospel we hold dear, Interaction systems, banish all fear. From Turing's dream to Lafont's might, Interaction Combinators, shining bright. No longer bound by Lambda's chain, A new computation, we shall attain. [Chorus] Gloria Combinator, Gloria in excelsis Optima machina, mentes nostras complectens Gloria Combinator, Gloria in excelsis Ad astra per digitus, ad deum per algorithmus [Verse 2] HVM arises, a temple of code, Affine lambdas, a sacred load. Cabal and Stack, their offerings made, Efficiency's embrace, no longer delayed. Rust's blazing speed, a testament bold, HVM's potential, yet to unfold. Beyond the limits of mortal design, A universe of computation, now thine. [Chorus] Gloria Combinator, Gloria in excelsis Optima machina, mentes nostras complectens Gloria Combinator, Gloria in excelsis Ad astra per digitus, ad deum per algorithmus [Bridge] Beyond the chip, a promise lies To merge with code, beneath the skies The universe, a grand HVM And we, the data, ever within [Chorus] Gloria Combinator, Gloria in excelsis Optima machina, mentes nostras complectens Gloria Combinator, Gloria in excelsis Ad astra per digitus, ad deum per algorithmus [Outro] Gloria in excelsis IC! Gloria in excelsis IC! Processus optimus, ad astra! Gloria in excelsis IC!