It'd be very helpful to compare TVM to Halide in the FAQ. We already have experience working with Halide on our side and are trying to evaluate the merits of TVM versus Halide's maturity. Especially given that TVM uses HalideIR and has lowering inspired by Halide.