Notes for ChristoCoder