Neat. I'd have liked to hear more about their custom programming language and its toolchain's implementation.