Missing Semester
This course will be hold by Tobias Faller, Dr. Mathias Fleury, Bernhard Gstrein, Tobias Paxian, and Tobias Seufert.
This course is oriented to the MIT/SAI “Missing Semester” and presents many useful tools. None of these tools requires a separate course, but each is useful, especially for manipulating text (e.g., log files, automating and evaluating experiments, …). This course covers the following topics, among others:
- Linux and desktop environment
- text editors - Using Git - Shells and command line
- Makefile
- Draw graphs in programs
The number of participants is limited (as we run the course for the first time) and HisInOne is taking care of it. We assume that master students already know most of the content, but they can attend too.
NEWS
Newest first
- 2024/07/06: adding project-ss24.html
- 2024/02/07:
artifacttag for the submission of the artifact - 2024/01/09: adding project.html
- 2023/10/11: all people accepted for exercises or the lecture have now been accepted to both, solving the issue from 2023/10/09. But the first exercise became mandatory.
- 2023/10/09: for some reasons, the registration policy for both the exercise and the teaching have been very different. We are currently looking for an acceptable solution. It should be communicated on Wednesday.
- 2023/09/19: We assume that master students already know most of the content, but they can attend too.
- 2023/09/19: in a previous version of the course (on HisInOne), it was incorrectly written that the grading would be done by grading projects. This is not the case anymore and we grade the final project (due to the Prüfungsortnung not allowing it as far as we understand).
- 2023/08/23: the course is really happening this time (this was already written on the teaching page)
Organization
- Mode: lecture is in-person (with interaction), but also streamed and recorded with Zoom (without interaction)
- Lecture & Exercise Class: Wednesday (10:15 to 11:45) and Thursday (12:15 to 12:45) CHANGED
- Credits: 6 ECTS
- Dependencies: none
- Responsible (for general questions): Dr. Mathias Fleury
- Responsible on paper (for information only, he is only forwarding email to the person above! use the link to open your email client): Prof. Dr. Armin Biere
- Email (for everyone): To write everyone
- Teaching by (alphabetical ordering, do not use this list to write people!): Tobias Faller, Mathias Fleury, Bernhard Gstrein, Tobias Paxian, and Tobias Seufert.
- Exercises will be done on the fly during the lecture depending on the subject.
Temptative Planning
This is the first time we are giving this course. Here is the temptative planning for the lecture.
Week 1 to 5: Linux and Git (from the GUI down to the terminal)
| Week | Themes | Exercises during the lecture |
|---|---|---|
| 16. Oct. | Introduction | |
| Light intro to markdown + git | ||
| Github + TF account | ||
| Linux MANDATORY-EXERCISE | At home and mandatory | |
| 23. Oct | ~linux Exercises~ Removed | Every day |
| Emacs + LSP + treesitter | ||
| 30. Oct. | (Public holiday) | Every day |
| Terminal | ||
| 6. Nov | Terminal part 2 | Every day |
| TF account for ssh / how much printing left / .. | ||
| SLACK | fzf for fast jumping, emails, mr? | |
| 13. Nov | Git (hooks, CI, …) | Every day if you want to try |
| Git exercises CRITICAL-EXERCISE | the explanations directly |
Week 6 to 11: Automation
| Week | Themes | Exercises during the lecture |
|---|---|---|
| 20. Nov | vim (also mention kakoun / helix: dw vs wd) | Every day |
| vim exercises | ||
| 27. Nov | Automation 1 with Bash | Every day if you want to try directly |
| 4. Dec | Automation 2 with Python | Every day if you want to try directly |
| Exercise CRITICAL-EXERCISE | ||
| 11. Dec | VSCode (including plugins, remote) | TODO |
| + exercises | ||
| 18. Dec | redo some of the VSCode exercises in another editor | TODO |
| And the other way around: vim plugin in VSCode (?) | ||
| SLACK | ||
| Christmas | ||
| 8. Jan | Plots (jupyper notebook) | TODO |
| (gnuplot) CRITICAL-EXERCISE |
Week 12 to 15: High level again
| Week | Themes | Exercises during the lecture |
|---|---|---|
| 15. Jan | LaTeX | |
| 22. Jan | LaTeX | |
| 29. Jan | LLMs | no |
| CRITICAL-EXERCISE | ||
| 3. Feb | Q&A (Tue), Feedback (Th.) |
Grading
The course will be composed of two parts: the studienleistung (the weekly exercises) and the prüfungsleistung (a project at the end that will have to cover several themes, with a deadline one week after the end of the course, probably around the 10. of February). More details will be given later.
Project
The project will be fully announced either at the end of the LaTeX part or at the end of the LLM part. The project description is already ws23/project.html – but the example project and the artifact is not available yet (as of 13th of January).
Resources
- install-nvim.sh: Shell script that installs neovim for the current user
- cadical logs: log files for the bash exercise
- air_quality_data.csv: Example csv for plotting