“HVM is still to be considered a prototype.”
The README claims a new model of computation that supersedes the Turing machine and the lambda calculus. The benchmark is exponentially faster than GHC at multiplying lambda-encoded numbers, which nobody does. The fine print says prototype, and the correctness work is still coming. Fast and wrong is easy.