There was also Wing cloud (fka Monada) and there’s Mojo by Modular (https://www.modular.com/mojo.)

Feels like two types of companies raised money: - Companies trying to couple the cloud with a programming language. - More recently, companies trying to couple GPUs with a programming language/alternative to CUDA.

Will be curious how this generation goes.