Chaos Computer Club - archive feed

In der IT wird viel in digitale Lösungen investiert, um dann anschließend die Rechnung wieder über den klassischen Papierweg zu stellen. Das standardisierte Datenaustauschmodell „ZUGFeRD“ bietet hierzu eine Alternative, indem PDF-Dokumente um Buchungsmetadaten erweitert werden. Der Vortrag zeigt praxisnah die Implementierung dieses Standards und die daraus resultierende Prozess-Verbesserung für de...

Restic ist eine Open-Source-Backup-Software, die Daten zuverlässig speichert und vor Verlust schützt. Die Software ist plattformunabhängig und unterstützt viele verschiedene Speicherziele, darunter lokale Festplatten, Cloud-Speicher und Netzwerkprotokolle wie SFTP, REST oder S3. Restic implementiert Deduplizierung und bietet Verschlüsselung, um Backups effizient und sicher zu speichern. Deduplizie...

Vernetzte Arbeitsplätze und digitale Kollaboration fördern seit Jahren die Effizienz in Unternehmen und die Flexibilität der Arbeitnehmer. Insbesondere während der Corona-Pandemie ermöglichten Softwarelösungen Homeoffice und Distance Learning. Viele dieser Lösungen stammen von internationalen Großkonzernen, deren vollintegrierte Systeme Abhängigkeiten schaffen. Dieser Beitrag stellt ein Projekt vo...

Infrastructure as Code – die gesamte eigene Infrastruktur als ein paar (mehr) Zeilen Code vorliegen zu haben – so ist zumindest das Versprechen der Cloud. Doch häufig wird noch unterschätzt, wie mächtig IaC eigentlich wirklich ist. In diesem praktischen Vortrag wollen wir uns dem Thema einmal von der Basis her nähern, angefangen bei der Frage, was eine (private) Cloud von einer klassischen Virtual...

Anstelle von iptables werden aktuelle Linux-Distributionen zunehmend mit dem neueren Paketfilter nftables ausgeliefert. Selbst wenn der Benutzer noch die iptables-Befehle einsetzt, wird im Hintergrund das Kernel-Backend von nftables anstelle von netfilter verwendet. Einige Vorteile von nftables kommen jedoch erst bei Verwendung der nft-Befehle zum Tragen. Höchste Zeit, einen Blick auf nftables zu...

Wer ruhig schlafen möchte, braucht ein Backup, das regelmäßig und zuverlässig alle wichtigen Daten erfasst. Das bewährte Tool „rsnapshot“ erzeugt rotierende Backups von Daten auf lokalen Rechnern, von entfernten Rechnern via SSH und so ziemlich jeder anderen Quelle. Ziel ist, einen zentralen Backup-Rechner zu betreiben, der den eigenen Desktop, jegliche Server und sonstige Datenspeicher sichert. D...

CI/CD accelerates software development, yet teams often struggle with pipeline maintenance and reliability. Configuration files might be scattered across projects, jobs fail randomly during peak hours, and urgent fixes lead to duplicated configurations. These growing pains make collaboration harder. Reusable CI/CD components offer a practical solution to improve pipeline efficiency. By transformin...

Was hat Silvester oder Saharastaub mit Störungen bei der Deutschen Bahn zu tun? Wie können wir Ratten mit weniger Gift effizienter bekämpfen? Wie können wir uns auf die häufiger auftretenden Schwerwetterereignisse vorbereiten? Diese und weitere Fragen sollen anhand von fünf realen IoT-Projekten bei der Deutschen Bahn beantwortet werden. Dazu werden jeweils die Anforderungen, die Umsetzung und die...

AI, like ChatGPT, is everywhere. But can AI solve difficult mathematical problems? In this talk we want to compare the skills in the area of Computer Algebra of Mathematica, SymPy and ChatGPT. We use dedicated exercises to compare these three systems. Who can compute and who is the winner? Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer....

extended Data Path (XDP) ist ein Feature aus dem Framework extended Berkley Package Filter (eBPF) mit dem individuelle Programme sicher in den Kernel geladen werden können und die Möglicheit zur effiziente Netzwerkprogrammierung eröffnen. Zuerst gibt es einen kurzen Abriss, wie eBPF und das Subset XDP funktioniert, wo die Stärken und Schwächen sind. An einem kleinen Beispiel wird die Programmierun...

Datensicherung ist essenziell, um sich vor Datenverlust zu schützen, sei es durch den Ausfall einer Festplatte oder den Diebstahl des Computers. Doch was passiert, wenn durch ein Unglück – wie einen Wohnungsbrand – sowohl die ursprüngliche als auch die gesicherte Kopie verloren gehen? Hier kommt das sogenannte „Offsite-Backup“ ins Spiel: eine Datensicherung an einem räumlich getrennten Standort. I...

Incus ist ein fork des LXD-Projektes, welches viele Jahre als Teil der Linux Container Community entwickelt und gepflegt wurde. Es bezeichnet sich selbst als modernes, sicheres und mächtiges Verwaltungswerkzeug für System Container und virtuelle Maschinen. Der Vortrag soll einen Überblick zum genannten Projekt verschaffen und klären, wie Incus gegenüber den bekannten Projekten wie Proxmox und XCP-...

Die Geschäftsplanung erfolgt heutzutage in der Regel mit einer Tabellenkalkulation. Der Vortrag stellt eine alternative Methode mithilfe von Juypter-Notebooks vor. Jupyter-Notebooks sind in den Datenwissenschaften beliebte Werkzeuge für wissenschaftliche Berechnungen und Datenvisualisierung. Ein Notebook ist ein Dokument, das Code, Text, Daten, Visualisierungen durch Diagramme und Grafiken sowie i...

Seit dem ersten Release vor über 20 Jahren hat sich Kodi einen festen Platz auf der Liste der beliebtesten Home-Theater-Systeme gesichert. Ursprünglich für die Xbox vorgesehen (daher auch der initiale Name XBMC für Xbox Media Center), ist diese Software mittlerweile auf den meisten Systemen als Bestandteil der Standard-Distribution verfügbar. Der Vortrag gibt einen Überblick über die fortgeschritt...

Die Diskussion um Künstliche Intelligenz wird oft von der Annahme geprägt, dass KI erst dann nützlich ist, wenn sie menschenähnliche oder sogar übermenschliche Fähigkeiten erreicht – also als AGI (Artificial General Intelligence) oder ASI (Artificial Superintelligence). Der Vortrag zeigt anhand historischer Beispiele auf, wann und wie KI übermenschliche Fähigkeiten besitzt und es somit nicht notwe...

Die digitale Überwachung nimmt stetig zu: Kameras auf Plätzen und in Zügen gehören heute zum Alltag. Die Mobilfunkprovider müssen Verbindungs- und Standortdaten für sechs Monate speichern. Bald müssen die Fluggesellschaften die Daten ihrer Passagiere dem Staat melden. Die Hersteller unserer Smartphones wissen sowieso immer, wo wir sind und mit wem wir kommunizieren. Ist unser Leben dank all dieser...

In den letzten Jahren hat das Strategische Design aus DDD einen enormen Zuspruch gewonnen, was auf jeden Fall gut und wichtig ist. Aber das bedeutet nicht, dass wir das Taktische Design von DDD vernachlässigen sollten. Für diesen Vortrag beginnen wir mit einer starren und fragilen Codebase, wie sie häufig im Laufe der Jahre entsteht. Wir führen Schritt für Schritt Refactorings durch, wobei wir den...

Tired of firefighting when a downstream service throws a curveball? We were too, so we figured out a way to build microservices that expect the unexpected. In this talk, I’ll share our journey from fragile systems to an architecture where resilience is the norm, not the exception. Soon after introducing microservices we were so overwhelmed by constant outages and endless alerts that we couldn’t ev...

This year marks the 25th anniversary of QuickCheck, the canonical property-based testing library that has found its way into virtually every programming language in different forms. In these 25 years, the implementers of these new libraries, along with the research community, has made significant advances to Property-Based Testing literature, transformed the way in which we see PBT, and continue t...

The logic underlying the Lean programming language and theorem prover does not know recursive functions, yet Lean users can define functions recursively. In this session we’ll get to look at how Lean translates the user’s specification into something that the logic understands, whether by structural recursion, well-founded recursion or the brand-new partial fixpoint strategy. We’ll also see how th...

One of the intriguing features of Swift is its distinction between value types and reference types. Conceptually, value types are always copied in assignments and passed-by-value in function calls — i.e., they are semantically immutable. In contrast, for reference types, Swift only copies a pointer to an object on an assignment and they are being passed-by-reference to functions. If such an object...

I’m a functional programmer at heart, and believe that the declarative semantics of functional programming are vastly superior to the kind of OOP we’ve been doing for the past 30 years. In most cases, that means based on imperative concepts, with some class, inheritance and subtyping structure added. And, as we will see in this talk: Subtyping polymorphism is not very good at avoiding unsafe type...

FP—what is it good for? The “P” is for “Programming”, the writing of programs. Judging from the papers and most books on functional programming, FP excels as a tool for writing short programs—up to a hundred lines maybe. We also know that there are large FP codebases at large companies, and folklore has it that this also works quite well. Yet there is precious little literature on how to go from a...

Domain-specific languages (DSL) are well-studied tools for solving problems specific to a domain. Especially in the Haskell Community, DSLs are quite popular due to parser-combinators and succinct definitions of abstract syntax trees (AST). However, it is often difficult to integrate a particular DSL into any modern IDE. This causes a DSL to be harder to use in practice and negatively affects prod...

Formal methods are very often touted as a necessary evolution of software development to cope with increasing complexity, risks, and challenges. This is especially true in functional programmers’ circles, as there’s historically a strong link between functional programming languages and formalisation of computing. After all, if software engineers really want to be considered as “true” engineers li...