On: Bend – a language that blocks AI mistakes via proof and runs on GPUs

[rowanG077]

HVM was too be a highly parallel extremely efficient language target. Bend has taken that place in their ecosystem. I don't think that's weird question were that leaves HVM.