Switching to #NixOS is such a game-changer. With previous distros, most config/customization got lost over time. Now I check all that in to Git. And I don't say this because of day-one euphoria. I switched in 2020-06, did a major upgrade and am still amazed. ✨

I'm excited to share that the first paper I co-authored with Martin Bromberger and Christoph Weidenbach for my PhD at Max Planck Institute for Informatics, titled "An Efficient Subsumption Test Pipeline for BS(LRA) Clauses" was accepted to #IJCAR2022, part of FLoC2022 🎉

🇯🇵 Growing crops beneath solar panels is an innovative way to use farmland to generate renewable energy, especially in countries with limited space such as Japan trib.al/s6CQHm9

Um beheizte Züge besser zu isolieren, bitte mitdenken, den "Tür schließen" Schalter nutzen und Energie sparen. ICE-Türen bleiben sonst i.d.R. bis zur Abfahrt (oft mehrere Minuten) geöffnet. Danke.

Nixica.dev helps you build startups and projects using GitLab and Nix together. If you want a self-hosted experience to develop your nix projects, complete with self-hosted CI on GitLab community edition, you can copy what I do here. nixica.dev

Going back to the pre-pandemic conference-travel culture is simply not morally acceptable. cacm.acm.org/magazines/2023…

Coupling formal publications with an in-person gathering no longer makes sense for everyone. cacm.acm.org/magazines/2023…

🚄 Where can you go by train in Europe - 8h edition! I made an update to chronotrains.com, with configurable travel times from 1-8h, and more frequent data updates.