Lorenz Leutgeb (@lorenzleutgeb) 's Twitter Profile
Lorenz Leutgeb

@lorenzleutgeb

PhD student in Automation of Logic at Max Planck Institute for Informatics

ID: 160965470

linkhttps://lorenz.leutgeb.xyz calendar_today29-06-2010 16:18:32

339 Tweet

180 Followers

698 Following

Lorenz Leutgeb (@lorenzleutgeb) 's Twitter Profile Photo

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. ✨

Lorenz Leutgeb (@lorenzleutgeb) 's Twitter Profile Photo

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 🎉

Bloomberg Originals (@bbgoriginals) 's Twitter Profile Photo

🇯🇵 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

Lorenz Leutgeb (@lorenzleutgeb) 's Twitter Profile Photo

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.

Daniel Firth (Inspector GADT) (@locallycompact) 's Twitter Profile Photo

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

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
Moshe Vardi (@vardi) 's Twitter Profile Photo

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

Moshe Vardi (@vardi) 's Twitter Profile Photo

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

Benjamin Td (@_benjamintd) 's Twitter Profile Photo

🚄 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.