Basics

• Name: Milan Valentin Markus Boris Müller [sic], but you are invited to ignore everything past my first given name.
• Age (in years): $ y - 1998 - ( \text{if } m > 3 \lor m = 3 \land d \geq 25 \text{ then } 0 \ \text{else } 1 ) $, where $y$ is the current year, $m$ is the current month and $d$ is the current day.
• Located in Freiburg, Germany.

Education

• (Anticipated) 2026 M.Sc. Computer Science at Albert-Ludwigs-Universität Freiburg.
  • Specialization in Cyber-Physical Systems, aka. the non-AI track.
  • The current version of my (heavily work-in-progress) master-thesis can be viewed here: https://milanmueller.github.io/master-thesis/main.pdf. The thesis is to be completed by end of september 2026.
• 2023 B.Sc. Computer Science at Albert-Ludwigs-Universität Freiburg.

Work

• Administration of computer systems and networks at workBOXX-solutions GmbH.
• Administration of computer systems and networks, automation of processes at Freie Schule Dreisamtal.

Personal

Computer-Related Interests

Topics I find interesting:

• (Interactive) theorem provers like Isabelle.
• Programming languages, especially ones with novel approaches like Rust or Hylo.
• Open source/free software projects like GNU/Linux, NixOS, Nextcloud to name only a few.

Other Interests

• Progressive Metal, especially Animals as Leaders.
• Vemondo, big fan.

Personal Software Stack

Software I use on my personal laptop:

• OS: NixOS - The ultimate OSaC ("operating system as code", which is a term I just made up).
  My Config is publicly available on GitHub.
• Editor: Helix, Although I also like Zed's approach for when more ui is required.
• Desktop Environment: Cosmic.
• Browser: Firefox, gotta push that 2% market share.

Software I want to run on some vps or homelab server once I find time for that:

• Stalwart mail server, JMAP sounds like a cool idea.
• Paperless-ngx, once I can afford one of these nice little scanners that can process multiple pages at once.
• Some Matrix server with bridges to all the proprietary mobile apps to keep the dream of a unified messenger alive.
• Some local LLM, once local hardware for that becomes affordable. I predict that free local models will eventually catch up to proprietary ones, while the later will eventually hit walls and the hype will die.

Non-Interests

Things I am outspokenly uninterested in:

• Action-inducing assumptions about anything outside the scope of what can be examined by application of the scientific method.
• Car racing.

Posts might be in English or German.