My mistake, yes indeed it’s 6.828. On a side note, for distributed systems 6.824 is on my list after I finish 15-445 from cmu :)