Lambda isn't aligned with students though, their goal is to sell the ISA for maximum value while minimizing instructional costs.

There is some natural overlap there, but that isn't the same thing as alignment.