6.813 lectures in markdown