Heya Sören, Welcome aboard!
Sören Tempel <[email protected]> skribis: > 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. 👍 On a personal level I’d be curious to learn about your artifact evaluation use case as this is also something colleagues and I discuss at work. Thanks for your commitment and for your work, past and future! :-) Ludo’.
