Yes. I have a watched a lot of his videos which I usually keep in the background. He dabbles into a lot of stuff from FPGAs in embedded to COQ (Formal language theorem prover) but there is not much depth in his videos. In a few weeks he would jump to something different again.