Hey Guix, I am nmeum (aka. Sören) [1]. I've been using Guix for roughly 2.5 years and have contributed to various parts of the system in that time. Among other things, I have added new packages and services, fixed reproducibility issues and various smaller packaging bugs here and there. I recently applied for commit and was granted it yesterday.
In terms of upcoming contributions, I am very interested in using Guix for long-term reproducible research and advancing the utilization of Guix in my research domain. I personally work on SMT-based software verification and want to add new—and maintain existing—Guix packages for software used in this area (e.g., SMT solvers). Further, I would be interested in improving the closure sizes of packages in Guix and coming up with tooling to aid in this process. This helps, for example, with generating more space-efficient Docker images for artifact evaluations. Lastly, I also want to look into participating more actively in understaffed teams. For example, I am a huge fan of the Haskell programming language and have some experience with packaging the GHC compiler; thus, I plan to look into lending a helping hand to team-haskell. Apart from code contributions, I am also interested in promoting use of Guix in other communities (e.g., through demos or talks). If you would like to chat about these things you also can find me on IRC or Zulip :) Cheers, Sören / nmeum [1]: https://codeberg.org/nmeum
signature.asc
Description: PGP signature
