Auch schlechte Beweise können lehrreich sein.

Wie können wir Mengen bezüglich ihrer Schwierigkeit vergleichen?

Installing podman has a few pitfalls. Here's what I had to do.

I recently had to setup a local database for testing purposes. The last time I did that was on Mac OS. On that platform the awesome Postgres.app is available that sets up a dev database in seconds. (Seriously, if you are a developer on Mac you should check that out.) On Linux — and in my case NixOS – the process is more involved unfortunately. You can't (as far as I know) just put something into your dev environment shell.

Ripgrep Imagine grep or pt, but really really fast. Skim With Skim you can really easily find files in the terminal. It easily integrates with other UNIX commands. I use the following to easily open folders: alias c "cd (sk)". Entr This is also a utility that can be integrated with other commands. It's a file watcher that just works. I use it with nix-build to get it to file watch.