These are my personal notes. Correctness is not guaranteed. Browse by tag here.