Materials

Here is a preliminary plan of lectures for this year (the topics and their order may change):

• 2025-02-20
  • ALL (BB): Introduction to the course · Contact, Introduction, Rules, Connecting to server, Editors, Command-line basics