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:

Projects

ISM

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

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.

Experiments and other code are hosted on my GitLab instance: