Tangent: Guys, which channel do you recommend to someone who is knees deep into Algorithms, Correctness Proofs and Discrete Maths self study process.