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.
Hi, I’m Cobalt, software developer, student, and system administrator from Germany.
I work as a student assistant at Zuse-Institut Berlin for the HPC systems, NHR@ZIB, group and for TU Berlin as part of the ProveIT project. My work is primarly focused on NixOS, system orchestration and system administration.
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.
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.
Learnings from migrating my homelab from Minio to garage
Tips & Tricks on using Nix with GitLab CI