Das Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) hat mit VerSys ein vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 1,6 Millionen Euro gefördertes Projekt gestartet. VerSys dient als freie Verifikationsplattform für Software auf einem virtuellen RISC-V-Chip.
Die Squash-FS-Tools erlauben es, Squash-FS-Partitionen zu erzeugen und um Daten zu ergänzen. Die Release 4.4 erlaubt reproduzierbare Builds.
Was prägte das Gründungsjahr des Linux-Magazins und welche der damaligen Entwicklungen wirken vielleicht bis heute fort? Ein Rückblick auf 1994.
Klassische integrierte Entwicklungsumgebungen (IDEs) bringen gewöhnlich einen Editor, einen Compiler und einen Debugger mit. Gitpod setzt hingegen auf jüngere Technologien wie Docker und Eclipse Theia, um individuelle Entwicklungsumgebungen für Github-Projekte zu servieren.
Thunderbird 68.0 ist erschienen. Dank der gemeinsamen Codebasis mit Firefox können einige Add-ons nicht mehr funktionieren. Darüber hinaus gibt es verschiedene kleine Neuerungen und Änderungen.
Gitlab 12.2 entkoppelt Pipelines auf Basis von gerichteten azyklischen Graphen, bindet Designer besser ein und erlaubt es, bei Merge Requests die Abhängigkeiten von anderen Projekten zu berücksichtigen.
Entwickler Junio C Hamano hat auf der Kernel-Mailingliste die Version 2.23 der Versionsverwaltung Git angekündigt. Das Feature-Release bringt rund 500 neue Codebeiträge von 77 Entwicklern mit, schreibt Hamano.
Bereits vor einiger Zeit hat Canonical ZFS on Linux auf Patentprobleme überprüfen lassen und keine gefunden. Nun baut das Ubuntu-Projekt seine Pläne für ZFS on Linux aus.
Kernelentwickler Steven Rostedt hat Kernelshark 1.0 veröffentlicht, ein grafisches Frontend, um Daten des Kernel-Tracers auszuwerten.
Neuigkeiten zu Curl kündigt Daniel Stenberg an. Das weltweit beliebte Download-Werkzeug arbeitet in der neuen Version verschiedene URLs parallel ab. Allerdings muss der Nutzer das explizit einstellen.
Mit dem ersten Release Candidate von Linux 5.3 kündigt Linus Torvalds in Sachen Commit-Anzahl eine große Release an, sieht mit dieser aber auch einige schöne Neuerungen anrollen.
Der für die Sicherheit und IT-Entwicklung der Linux-Kernel-Infrastruktur zuständige Konstantin Ryabitsev will die Community von E-Mails wegmigrieren. Ein leichtes Unterfangen wird das nicht.
Debian 10, Codename Buster, ist veröffentlicht und wird fünf Jahre Support erhalten. Die Debianer liefern Gnome standardmäßig mit dem Displayserver Wayland aus und unterstützen Secure Boot.
Der erste Tag der We-are-Developers-Konferenz in Berlin fiel vor allem mit logistischen Problemen auf. Diese Partie konnte auch Ex-Schachweltmeister Garri Kasparow in seiner Keynote nicht mehr drehen.
Die Entwicklungsumgebung Eclipse lässt an sich keine Wünsche offen. Leider ist das umfangreiche Werkzeugpaket für Arbeitsgruppen nur recht schwer identisch auf jedem Rechner zu konfigurieren und zu installieren. Das Server-basierte Eclipse Orion verspricht Abhilfe.
