I enjoy taking notes on various topics from open-source courses.
Logic for CS