LaTeX-Benchmark: Mac M1 vs. Lenovo P1 bzw. macOS vs Linux

Für viele Entwickler ist der CPU-intensivste Prozess das Kompilieren großer Projekte. Für mich als Autor ist es die Umwandlung von Markdown-Dateien zuerst in die LaTeX-Syntax (Pandoc) und dann in ein PDF-Dokument (latex, dvips, ps2pdf). Seit ein paar Tagen verfüge ich über einen Mac Mini M1 als zusätzlichen Testrechner. Natürlich war ich neugierig, wie schnell das Ding nun wirklich ist — im einzigen Real-World-Test, der für mich relevant ist: Beim Erzeugen von PDFs aus LaTeX-Dateien.

LaTeX-Benchmark: Mac M1 vs. Lenovo P1 bzw. macOS vs Linux weiterlesen

AlmaLinux

Vor ein paar Monaten habe ich über das Ende von CentOS lamentiert. Mittlerweile habe ich mich ganz gut mit Oracle Linux arrangiert, und seit ein paar Tagen gibt es eine weitere Alternative: AlmaLinux OS. Dieser RHEL-Klone wurde von der Firma CloudLinux zusammengestellt. CloudLinux verspricht, AlmaLinux bis 2029 zu warten — also so lange wie RHEL und vorauss. rund fünf Jahre länger als CentOS Stream.

AlmaLinux weiterlesen

IPv6 — Eine Leidensgeschichte aus Österreich

IPv6 ist das neue Internetprotokoll, das die Adressknappheit von IPv4 beheben soll. »Neu« ist natürlich relativ, der Standard wurde schon 1998 verabschiedet. Aber als Österreicher lernt man, die Dinge keinesfalls zu übereilen. Andererseits: 23 Jahre …

In Österreich führt der naheliegende Weg zum Festnetz-Internet über die Telekom Austria, kurz A1. Diese Firma genießt — zumindest in meiner Wohngegend — für diese Dienste Quasi-Monopolstatus. (Es gibt Drittanbieter, die aber selbst das Netz der A1 nutzen.)

Dieser Blog-Beitrag fasst zusammen, wie ich kürzlich — anscheinend zufällig — für ca. ein halbes Jahr in den Genuss von IPv6 kam und wie ich diese Funktion mit dem zuletzt durchgeführten Speed-Upgrade wieder verloren habe. Der Vollständigkeit halber vergleiche ich hier auch kurz die IPv6-Versorgung von Österreich und Deutschland. Außerdem erkläre, wie man mit einem geeigneten Modem/Router an der A1 vorbei trotzdem IPv6 nutzen kann — und warum das selten zweckmäßig ist.

Update 10.3.2021: IPv6 is back. Plus ein paar kleine Korrekturen.

IPv6 — Eine Leidensgeschichte aus Österreich weiterlesen

Raspberry Pi Pico: MicroPython-Programmierung

In meiner Kurzvorstellung des Raspbery Pi Pico habe ich Ihnen gezeigt, wie Sie auf dem Micro-Controller MicroPython installieren und über eine Konsolen-App (z.B. minicom) interaktiv nutzen können. Das ist ein wichtiger erster Schritt, um den Pico auszuprobieren. Letztlich wollen Sie aber Programme entwickeln, die dauerhaft am Pico laufen. Dazu reicht die interaktive Anwendung des Python-Interpreters nicht aus.

Dieser Beitrag zeigt, wie Sie mit Thonny ein »richtiges« MicroPython-Programme entwickeln und dieses auf dem Pico so speichern, dass es beim nächsten Start des Micro-Controllers automatisch ausgeführt wird.

Raspberry Pi Pico: MicroPython-Programmierung weiterlesen

Sudokus mit Kotlin lösen

Vielleicht liegt es an der merkwürdigen Corona-Zeit — auf jeden Fall hatte ich in den letzten Wochen eine Phase, in der ich fast täglich Sudokus löste. (Meine Quelle: https://www.derstandard.at/lifestyle/raetsel-sudoku.) Die Sudoku-Sucht hat schon wieder nachgelassen, aber Programmierer der ich nun einmal bin, fand sich gleich die nächste Herausforderung: Es kann doch nicht so schwierig sein, ein Programm zu schreiben, das Sudokus löst — oder? Natürlich weiß ich, das Internet ist voller Sudoku Solver. Es ging mir keineswegs darum, das Rad neu zu erfinden oder es noch runder zu machen — ich hatte einfach Lust auf ein paar Stunden Programmieren. Just for fun, nicht als Beispiel für ein Buch oder für den Unterricht …

Gesagt, getan. Wegen der Arbeit an meinem Kotlin-Buch ist mir die Sprache gerade sehr vertraut. Nach ein paar Stunden konnte mein Code bereits einfache Sudokus lösen. Der letzte Feinschliff dauerte dann doch etwas länger als gedacht, aber mittlerweile glaube ich, dass das Programm zuverlässig funktioniert.

Sudokus mit Kotlin lösen weiterlesen

Raspberry Pi Pico

Die Raspberry Pi Foundation hat Ihr neuesten Projekt vorgestellt: Trotz Namensähnlichkeiten handelt es sich beim »Raspberry Pi Pico« nicht um ein Mitglied der Mini-Computer-Serie (Raspberry Pi 1/2/3/4/400 A/B/Zero/Compute Model). Der Pico ist kein vollwertiger Computer samt Betriebssystem, sondern »nur« ein Micro-Controller.

Raspberry Pi Pico (Vorderseite)

Sie können auf dem Gerät selbst entwickelten Code ausführen und dabei über diverse GPIOs eine Menge Hardware-Schnittstellen ansteuern. Es gibt aber kein Grafiksystem samt Monitor-Ausgabe, keine Anschlüssel für Tastatur, Maus oder externe Datenträger, keinen Eingang für ein Kameramodul, keine Netzwerkfunktionen, kein WLAN, kein Bluetooth. Dafür punktet der Pico beim Preis (4 EUR) und beim Stromverbrauch (nur ca. 0,4 W, im Ruhemodus gar nur 0,006 W).

Der Pico ist also keine neue Variante zu den herkömmlichen Raspberry-Pis. Das Gerät spricht einen ganz anderen Markt an, der vor allem von Arduino dominiert wird, in dem sich aber diverse andere Hersteller tummeln. Im Vergleich zu anderen Microcontrollern will der Pico mit relativ viel Rechenleistung für wenig Geld punkten.

Raspberry Pi Pico weiterlesen

Docker ohne root-Rechte

Als größter Vorteil von Podman im Vergleich zu Docker wird üblicherweise die Funktion bewertet, Container ohne root-Rechte auszuführen. Übersehen wird, dass Docker seit Version 19.03 ebenfalls für den rootless-Einsatz geeignet ist; das Feature galt in dieser Version aber als experimentell und war mit erheblichen Einschränkungen verbunden. Deutlich besser sieht das in der aktuellen Version 20.10 aus: der Betrieb von Docker-Containern ohne root-Rechte ist nun eine reguläre Funktion. Bemerkenswert ist, dass die Installation von Docker innerhalb eines Benutzeraccounts erfolgt und ebenfalls ohne root-Rechte gelingt!

Docker ohne root-Rechte weiterlesen

CentOS 8: Umstieg auf CentOS Stream bzw. auf Oracle Linux

Sowohl CentOS als auch Oracle bieten Scripts an, um eine vorhandene CentOS-8-Installation wahlweise in CentOS Stream oder in Oracle Linux umzubauen. Ich habe also eine virtuelle Maschine mit einer ca. ein Jahr alten Installation von CentOS 8 zuerst aktualisiert und dann zweimal geklont. In der Ausgangs-VM waren ein MySQL-Server installiert, EPEL aktiviert und vereinzelte EPEL-Pakete installiert. Einen Klon habe ich anschließend in CentOS Stream umgewandelt, den anderen in Oracle Linux.

Warnung: Es sollte klar sein, dass dies ein sehr simpler Test ist, nicht mehr! Ich habe kein produktives System umgestellt, sondern nur eine einfache Testumgebung.

CentOS 8: Umstieg auf CentOS Stream bzw. auf Oracle Linux weiterlesen