Yang's notes are awesome! I considered their strength a positive signal when he recruited me to Infer, a startup which he left MIT ABD to cofound (https://www.infer.com/about.html).
We're hiring, so if you're impressed by these notes, check out our careers page: https://www.infer.com/careers.html or email me directly jh<lastname>@infer.com