GNU/Linux.ch

Freie Software, Freie Gesellschaft
5.107 Artikel von 240 Autor:innen

spielend beweisen lernen mit lean4

Spielend Beweisen lernen mit Lean4

  Leonid Ryvkin

In diesem Artikel geht es um die Programmiersprache Lean, die es erlaubt, mathematische Beweise zu führen, und ein Spiel, welches dabei helfen kann, Lean zu lernen.

android-backup mit seedvault

Android-Backup mit Seedvault

  Ralf Hersel

Mit der aktuellen /e/OS-Version 4.3 steht Seedvault wieder als Backup-Werkzeug zur Verfügung. Das ist gut, aber die Bedienung hat sich nur in wenigen Punkten verbessert.
 🗪 2 Kommentare

serie: podman-bausteine – ports rootful / rootless (teil 7)

Serie: Podman-Bausteine – Ports rootful / rootless (Teil 7)

  indibart

Der Artikel zeigt, wie Container-Ports mit Podman veröffentlicht werden und warum privilegierte Ports (<1024) rootless Containern "Permission denied" bescheren. Schliesslich werden fünf Lösungsansätze für dieses Problem verglichen.

nura mit sxmo einrichten

Nura mit SXMO einrichten

  Lioh Möller

Die Segel sind gesetzt. Mit diesem Post-Install-Skript richtest du Nura mit Sxmo schnell und nachvollziehbar nach den eigenen Vorlieben ein.