Second in a series on using the TLA Toolbox to explore the failure tolerance of distributed algorithms. The first post presented the context and why the topic is important. The next post describes the semantics of fairness in PlusCal.
more ...First in a series on using the TLA Toolbox to explore the failure tolerance of distributed algorithms. The next post describes conventions for distributed algorithms in PlusCal.
more ...Fourth in a series on designing a course on data engineering. The previous post listed the minimal operating system and networking knowlege.
more ...Third in a series on designing a data engineering course. The previous post presented draft learning outcomes. The next post considers what exercises will best achive the learning outcomes.
more ...Second in a series about designing a professional master’s course on data engineering. The first post laid out the data engineering design space. The next post lists prerequisite operating system and networking knowledge.
more ...