Shorten Project List

src/content/projects.md

@@ -8,7 +8,7 @@ show_reading_time = false
 
 A selection of projects and associations I am (or was) involved with.
 
-## Computer Science & Open Source
+## Active Projects
 
 {% references() %}
 
@@ -18,6 +18,21 @@ Association providing decentral, privacy-first ICT infrastructure to its members
 [**NixOS**](https://nixos.org/)  
 Package Maintainer and active community member.
 
+[**Coredump**](https://www.coredump.ch) Hacker- and Makerspace
+Rapperswil-Jona
+
+**Small side projects** -- take a look at my [GitHub profile](https://github.com/fabianhauser/)
+
+{% end %}
+
+## Former Projects
+
+{% references() %}
+
+[**Dafny programming language**](https://github.com/dafny-lang)  
+And, in particular, the [VSCode IDE Dafny integration](https://github.com/dafnyvscode) with a
+[LSP](https://microsoft.github.io/language-server-protocol/) integration
+
 [**Redbackup**](https://github.com/redbackup)  
 Prototype of a distributed backups software written in
 [Rust](https://www.rust-lang.org/).  
@@ -33,59 +48,14 @@ Joint bachelor thesis with [Raphael Zimmermann](https://www.raphael.li).
 member**  
 Association to advance the open source community and usage of
 alternative operation systems (particularly Linux) at HSR University
-of Applied Sciences (now OST).
+of Applied Sciences (now OST). We did various student workshops on Linux, Git,
-
+GitHub and how to contribute to open source software.
-**open\\HSR Git/GitHub Workshop** 2019
-
-**open\\HSR Linux Workshop** 2020
-
-**open\\HSR Connect**  
-Prototype of a lecture slide, documents and notes managing tool for
-students.
-
-[**Swiss Python Summit**](https://python-summit.ch) helper (2017,
-2018)
-
-[**ZuriHac**](https://www.zurihac.info) attendee/helper (2019)
-
-[**Dafny programming language**](https://github.com/dafny-lang) and,
-in particular, the [VSCode IDE Dafny integration](https://github.com/dafnyvscode) with a
-[LSP](https://microsoft.github.io/language-server-protocol/)
-integration
 
 [**Das Studentenportal**](https://studentenportal.ch/)  
 Platform for students to exchange learning aids, announcing events
 (mostly parties) and sharing funny anecdotes.
 
-**Various small side projects** -- take a look at my [GitHub profile](https://github.com/fabianhauser/)
+[**Emmentaler Filmtage**](https://emmentaler-filmtage.ch)  
-
+Short film festival in the rural area of Emmental (Switzerland, 2009-2014)
-{% end %}
-
-
-## Various
-
-{% references() %}
-
-
-
-[**Coredump**](https://www.coredump.ch) Hacker- and Makerspace
-Rapperswil-Jona
-
-[**Various lecture
-summaries**](https://github.com/michiwieland/hsr-zusammenfassungen)
-together with [Michael Wieland](https://michiwieland.dev/)
-
-[**Little House on the
-Prairie**](https://littlehouseontheprairie.ch) (website)
-
-[**Emmentaler Filmtage**](https://emmentaler-filmtage.ch) a short
-film festival in the rural area of Emmental (Switzerland, 2009-2014)
-
-[**Klettergarten Ilanz/Schnaus**](https://www.klettern-gr.ch/)
-realization of a climbing area near Ilanz and Schnaus and former
-website
-
-[**Spielgruppe Ilanz**](https://spielgruppe-ilanz.ch/) former
-website and technology support
 
 {% end %}