Hi, I'm Cobalt,

software developer, student, and system administrator from Germany.

I have a strong passion for software development on GNU/Linux, primarily focusing on Rust, NixOS, and Go.
I work as a student assistant at Zuse-Institut Berlin for the HPC systems group and am also employed at TU Berlin for the ProveIT project.
Feel free to reach out to me over Email or Matrix, my response might take up to one to two days:

Email Matrix

Projects

ISM

A supervisor and gateway for running a cluster of isabelle servers. Builds on top of systemd and docker to provide secure scaling with load balancing capabilities. Developed for the ProofBuddy project at TU Berlin.

GitLab

Coderdojo R & B

The Coderdojo Red & Blue hosts workshops for teenagers to learn about coding. I’m responsible for maintaining the infrastructure powering most Coderdojo projects. Additionally, I created the current site layout and sometimes help with workshops.

Website GitLab

Experiments and other code are hosted on my GitLab instance:

GitLab