Hi, I’m Cobalt, software developer, student, and system administrator from Germany.
I work as a student assistant at TU Berlin as part of the ProveIT project. My work is primarily focused on NixOS, system orchestration and administration.
A supervisor and gateway for running a cluster of isabelle servers. Builds on top of Docker to provide secure scaling with load balancing capabilities. Developed for the ProveIT project at TU Berlin.
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.
Custom deployment tooling tailored to GitLab review apps for ProofBuddy. Manages docker containers and external credentials. Developed for the ProveIT project at TU Berlin.
Learnings from migrating my homelab from Minio to garage
Tips & Tricks on using Nix with GitLab CI