Points for helping against monopolies. I have been following the project for some years and am very happy to see it grow and on top of a functional front end at that!

Now where is Futhark's GEMM implementation & the vs. CuDNN benchmarks?