That's fantastic. It's a shame there isn't more stuff written (and especially, videos/streams) about K, but I get the feeling that will improve since there are

That's fantastic. It's a shame there isn't more stuff written (and especially, videos/streams) about K, but I get the feeling that will improve since there are a good few open-source K-like implementations (at least ngn/k, oK, ktye/i, kona, kuc and Goal). Recently I stumbled upon iKe (http://johnearnest.github.io/ok/ike/ike.html http://johnearnest.github.io/ok/ike/ike.html) which is pretty amazing.