Chaos Computer Club - recent events feed

Ever wondered if you could bring an old mass spectrometer back to life? Well, that’s exactly what this project was all about! With a mix of DIY repairs, scavenged parts, and a whole lot of learning, the API2000 tandem mass spectrometer got a second chance. From fixing a corroded interface heater to tracking down the right software (hello, Windows XP nostalgia!), every step was a challenge. But in the end, the first tests were a success – including injecting coffee to confirm the presence of caffeine (because, of course, coffee had to be involved). The journey doesn’t stop here. Next steps? Diving into deeper mathematical concepts, experimenting with blood analysis, and pushing the API2000 to its limits. about this event: https://gry.sh/posts/dgms2025/

Kennt ihr das noch von früher? Ihr verschickt schöne Urlaubsfotos per E-Mail, aber der Upload dauert ewig, bricht ab oder es kommt eine Fehler-Mail zurück: E-Mail zu groß. Andere senden euch 10-20 Bilder ohne Probleme. Wie machen die das nur? In Mailinglisten ist es noch schlimmer: Man fragt um Hilfe, hängt ein Foto zur Veranschaulichung an und bekommt als Antwort nur Belehrungen über zu große Anhänge. Dabei hat man das zusätzliche Video schon separat hochgeladen und nur verlinkt. Oder das Limit der Mailingliste ist so eng, dass man kein einziges Fotos anhängen kann. Andere aber schon - nur wie? Webforen wollten das lösen, doch deren Ära ist vorüber, und Upload-Limits gab es auch dort. Jetzt haben wir Instant Messenger, vieles hat sich verbessert, aber das Drama sind nun Videos: länger als 2 Minuten und der Upload wird zum Glücksspiel. Andere verschicken problemlos Videos von 5-20 Minuten. Wie ist das möglich? Und dann die erzwungene Qualitätsreduktion, so dass man Fotos, die wichtig sind, doch wieder per E-Mail versendet oder separat hochlädt. Wäre es nicht schöner, wenn ihr selbst entscheiden könntet, wie und wo die Qualität reduziert wird? Und warum nicht gleich die Metadaten entfernen, statt sich nur auf die automatische Bereinigung durch Messenger und Foren zu verlassen? Tatsächlich ist das gar nicht so kompliziert. Mit etwas Grundwissen, ein paar Werkzeugen und den richtigen Optionen wird Datensparsamkeit und Datenhygiene ganz einfach. Dieser Vortrag zeigt, wie es geht, direkt am Gerät! Je nach Laune und Nerdigkeit des Publikums darf auch gerne der Horizont des Vortragenden erweitert werden. Am Ende des Abends sollte jede Person in der Lage sein, einen Dialog wie den folgenden zu führen: “Bitte schicken Sie uns Ihren Lebenslauf”. “Bitte sehr, siehe Anhang.” “Danke se… huch?! Wurde Ihr Upload abgebrochen? Der Anhang ist deutlich kleiner als 1 MB!” “Nein, das ist richtig so.” Bis Freitag, 20 Uhr, wir freuen uns auf euch! Licensed to the public under http://creativecommons.org/licenses/by-sa/3.0/ about this event: https://c3voc.de

Lightning Talks (LT) sind Vorträge mit maximal 5 Minuten Dauer. Es wird vor Ort in der Nähe der Kasse eine Möglichkeit zum Einreichen von Vorschlägen geben. Die Auswahl der Vorträge aus den Einreichungen findet Samstag um 13 Uhr statt. Beachtet bitte dass die Slides für ausgewählte Vorträge bis 18 Uhr am Samstag eingericht werden müssen. Für alle Präsentationen wird ein einziger Laptop verwendet, es gibt keine Möglichkeit seinen eigenen Laptop anzuschließen (dauert zu lange). Präsentationen müssen als PDF eingereicht werden. Ihr willigt in die Aufnahme und das Streaming des LT ein, außerdem dürfen wir die Folien veröffentlichen. LT finden Sonntag Abend statt, reicht bitte nur etwas ein wenn ihr dann noch vor Ort seid. Außerdem wird nach Ablauf der 5 Minuten abgebrochen und der nächste Vortragende ist dran. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer.linux-tage.de/2025/de/programm/beitrag/140

Erneuerbare Energien erleben aktuell einen Boom. Gut für die Umwelt, den Geldbeutel und gut für technisch interessierte Menschen, die dabei viel lernen und selbst umsetzen können. Es gibt verschiedene Open-Source-Projekte, die für die Bereiche Messung von Stromerzeugung, Speicherung, Steuerung von Verbrauchern und Optimierung von Strombezug Lösungen bieten und auch gut zusammen funktionieren. Anders als bei den meisten Herstellerlösungen funktioniert dies auch ohne Cloud und mit Geräten von verschiedenen Herstellern. Der Vortrag richtet sich an Menschen, die noch nicht so tief im Thema drin stecken und bietet einen Einblick, welche Lösungen es gibt und wie man sie miteinander zum funktionieren bringt. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer.linux-tage.de/2025/de/programm/beitrag/247

Museen stehen vor der Herausforderung, ihre Inhalte möglichst attraktiv erlebbar gestalten zu wollen. Insbesondere kann historischem Wissen durch aktuelle Tools aus dem Bereich KI zu neuem Leben verholfen werden. Wie ein solches Vorhaben umgesetzt werden kann, zeigt unser Projekt. Das Robert-Schumann-Haus in Zwickau trat an die Westsächsische Hochschule Zwickau heran, mit dem Ziel, Besucher*innen die Möglichkeit zu geben, sich über einen historischen Telefonapparat mit Clara Schumann „unterhalten“ zu können. Über einen Zeitraum von 1,5 Jahren haben mehrere Studierendengruppen im Rahmen von Lehrveranstaltungen unter Leitung von Prof. Dr.-Ing. Hellbach eine technische Lösung entwickelt. Ab Frühjahr 2025 wird dieses interaktive Erlebnis für die Besucher*innen des Robert-Schumann-Hauses zugänglich sein. Im Vortrag werden die Herausforderungen und die Entwicklung eines Chatbots aus Komponenten wie Spracherkennung (Whisper), großem Sprachmodell (GPT via LangChain mit Anbindung an eine ChromaDB) und Sprachsynthese (ElevenLabs) durch ein Team von Studierenden beleuchtet. Der Prototyp läuft dabei großteils auf einem Desktop-PC, während ein Raspberry Pi im Telefonapparat die Audioein- und ausgabe steuert. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer.linux-tage.de/2025/de/programm/beitrag/198

Viele von uns kennen sie: Die (Jira-)Tickets mit der Problembeschreibung „XYZ 'funktioniert nicht'!!11elf11!!!“ – für uns TechnikerInnen immer eine Herausforderung, ruhig zu bleiben und gleichzeitig den Menschen bei der Lösung des Problems zu unterstützen. Dabei begleitet die „Kunst, Fragen zu stellen“ die IT von Anbeginn an. Trotzdem wird sie kaum in der formellen Ausbildung behandelt. In diesem Talk wollen wir uns des Themas „Wie stelle ich Fragen 'richtig'?“ annehmen, und ich versuche, euch auf unterhaltsame Weise Hilfestellungen zu geben, einerseits selber Fragen „besser“ zu stellen, andererseits aber auch „Funktioniert nicht“-FragerInnen dahingehend zu motivieren, in Zukunft „bessere“ Fragen zu stellen. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer.linux-tage.de/2025/de/programm/beitrag/330

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 notwendig ist, auf eine allumfassende KI zu warten, sondern wie der fließende Übergang von spezialisierter zu allgemeiner KI bereits jetzt genutzt werden kann. Damit wir moderne KI-Werkzeuge, insbesondere KI Chatbots sinnvoll nutzen können, ist es richtig die Leistungen durch Benchmarks und Use Cases zu beobachten. Im Vortrag werden solche Benchmarks vorgestellt und erklärt. Abschließend werfen wir einen Blick in die Zukunft: Welche kulturellen und gesellschaftlichen Veränderungen ergeben sich durch die Integration übermenschlicher KI in die Arbeitswelt? Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://chemnitzer.linux-tage.de/2025/de/programm/beitrag/267

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 Supple Design Strategien (supple: englisch für “geschmeidig”) aus DDD sowie anderen bekannten Refactoring-Patterns folgen. Dabei führen wir Value Objects, Entities und weitere Elemente des Taktischen Designs nach und nach ein. Dies erlaubt es uns, die Codebase klar zu strukturieren, so dass Änderungen schnell und leicht möglich sind und das Arbeiten mit dem Code wieder Freude bereitet. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/rauch-guenther.html

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 even stop to figure out what was going wrong. In this talk, I’ll share how we rediscovered the Saga pattern during that chaos and how it transformed our fragile system into a resilient one. By exploring the failure modes and incomplete implementations we encountered, you’ll gain a deeper understanding of the pattern and how to apply it effectively to build more reliable systems. This talk isn’t just a war story; it’s a blueprint for resilience. You’ll walk away with a crucial pattern that you can immediately apply to your systems, turning potential disasters into manageable events, and achieve a 99.999% uptime. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/oerdoeg.html

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 this affects compiled code (namely not at all), and the difference between partial and unsafe. This session will likely contain high amounts of improvised live-coding and benefit greatly from your questions, suggestions and discussions. (This spontaneous talk is based on the talk given at Leaning in 2025.) The material presented can be found at https://github.com/nomeata/lean-bobkonf-2025. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/breitner.html

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 to do so. In this talk, I’ll present to you the challenges that have been solved, and the ones that aren’t. I’ll present you with the latest advances that haven’t been incorporated into existing libraries, talk about our work with my collaborators on opening new avenues for the future of property based testing, and share my vision of what the future shall bring to us. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/keles.html

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 gets mutated, it changes for for all references. While most languages feature both value and reference types, Swift is unique in that (1) it makes it easy to define and use both flavours of types and (2) it supports fine-grained mutability control. For large values, such as arrays, frequent copying carries a significant performance penalty. Hence, the Swift compiler goes to great length to avoid copying whenever it is safe. For large values, this effectively boils down to a copy-on-write strategy, where a large value is only copied when it actually is being mutated (on one code path). Swift facilitates for user-defined value types to also adopt this copy-on-write strategy. In this talk, I will explain the semantic difference between value and reference types, and I will illustrate how this facilitates safe and robust coding practices in Swift. Moreover, I will explain how the copy-on-write strategy for large values works and how it interacts with Swift’s memory management system. Finally, I will demonstrate how you can define your own copy-on-write large value types. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/chakravarty.html

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 conversions, inheritance is not very good ad code reuse, and classes are not very good at being extensible. When it comes to building larger systems, however, we can get back to the ideas and concepts that drove the invention of Object Orientation: Independent entities that encapsulate and hide their own state, that communicate via message passing, and that can be exchanged at runtime without having to replace the entire system. And I’d argue that most of the systems we build today actually follow these concepts – in a good way! And in that sense, I believe that Object Orientation is actually a good and successful concept – just not on code level, but on a system and infrastructure level. In this talk, we’re going to explore the history of the term “Object-Oriented”, how that concept evolved, where it went wrong, and how to redeem it. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/thoma.html

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 hundred lines to a million lines of functional code. This hinders FP adoption by not-(yet?)-practicioners, who ask questions like: - How do I find module boundaries? - How do I organize teams for functional projects? - How do I document my functional codebase? - How do I onboard newcomers? - What’s a good book on functional software architecture? - Is there a book or website of functional patterns? - What are the benefits of FP—really? - How does functional software development to qualities and requirements beyond functionality? Successful practitioners rely on folklore and experience for the answers to these questions, but precious little is written down in findable places and accessible formats. This talk is a call to action: We need to do a better job at outreach—find the gaps in our published knowledge, write down what’s undocument and—going to extremes—talk to other communities who know a thing or two about large-scale software development. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/sperber.html

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 like mechanical or nuclear engineers, they will need to embrace formalisation and root their practices and tools in solid mathematical foundations. But one can ask the question: is this narrative true? Is it necessary for software development to come of age and embrace formal methods? And, perhaps more importantly, is it desirable? Based on my experience developing software over the past 30 years, in a wide array of environments, some of which even using formal methods, and some theoretical, epistemological and philosophical references, I try to answer those questions in a more nuanced way. This presentation puts formal methods (FM) in perspective within the broader domain of software development, as yet another tool to deliver value. I shall present my experience working with FM, identify various shortcomings and issues of FM in the software development lifecycle, and suggest ways to mitigate those issues in order to help teams benefit the most from FM. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/bailly.html

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 productivity. Sometimes, developers combat this by implementing plugins that introduce syntax highlighting specific to an editor. However, we argue that it is preferable to use existing infrastructure, such as the Language Server Protocol, which provides out-of-the-box IDE support for most editors. In this talk, we focus on key challenges for implementing a Language Server, as a Language Server simply has different requirements from a parser or an interpreter. We discuss how to approach the design and implementation of a DSL such that we get Language Server support (almost) for free. In particular, we show how to provide advanced IDE features, such as semantics-aware syntax highlighting or automatic refactorings, with minimal effort. To implement this, we augment the AST to retain additional information about the sources, such as parentheses, comments, and whitespace, in a non-intrusive way. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/siebenhandl.html

Concurrent programs destructively updating shared memory are notoriously hard to get right. Concurrent separation logics are logics with built-in notions of e.g. ownership of memory regions, concurrent accesses, and lock mechanisms. They give experts a way to verify a posteriori that complex concurrent imperative programs hopefully abide by their formal specification. We will see how next generation languages let us get rid of a posteriori verification in favour of a correct-by-construction approach whereby the program is interactively built in a specification-respecting dialogue with the compiler. For this presentation we will be using Idris 2, a general purpose functional language with an expressive type system combining dependent types to enforce complex invariants and linear logic to track resource usage. We will demonstrate how a simple library can capture ideas from concurrent separation logic by providing proof-carrying concurrent primitives. These make it impossible to write into memory one does not own or to release a lock without having proven that its associated invariant has been re-established. They also guarantee that whatever is read from the shared memory is invariant-respecting. This will culminate in worked out example e.g. the definition of map-reduce primitives repeatedly and safely breaking down a buffer into chunks that can be processed concurrently and/or a naïve bank with concurrent cash machines. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/allais.html

Domain-specific languages (DSLs) are languages specialized for a particular domain, and are typically equipped with features that make them well-suited for programming within that domain. This talk explores and compares three common strategies to creating DSLs: Standalone DSLs, which are entirely new languages. DSLs embedded in existing host languages. DSLs that are subsets of existing host languages, which may employ one of two techniques: metaprogramming and compiler plugins. Each strategy comes with its own benefits and drawbacks, and the optimal choice will vary based on your unique needs. We’ll give an in-depth comparison of these approaches with real-world examples, considering the viewpoints of both language developers and language users. An example domain is smart contract languages for the Cardano blockchain, where DSLs employing each of the three strategies can be found. We’ll also draw examples from fields such as flight control systems, signal processing and more. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/liu.html

This talk is going to focus on peer-to-peer apps. We’ll try to answer the question: how to build an app that will enable information exchange between our clients without a need to maintain heavy backend infrastructure? Is it even possible? We’ll walk through different ways of data exchange, from local to wide arena networks, and how to make them work for us. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/sypytkowski.html

LSP has greatly standardised the behaviour of IDEs, in a good direction: we can provide, de-facto, decent language support in editors supporting LSP. But it also imposes a standardisation that often assumes that all languages behave like TypeScript. In this presentation, I’ll introduce you to Merlin, the IDE service library for OCaml, and cover the custom features (via code-action and custom-request) that enhance the OCaml development experience (covering expression destructuring, expression construction, search by types (à la hoogle, directly in the IDE), type enclosures etc.). The aim of the presentation was to show how to go beyond the default features offered by LSP and offer a development experience adapted to a more expressive language. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/woestyne.html

In this talk I want to revisit the parametricity theorem: from parametrically polymorphic types, i.e., types that contain type variables that can be arbitrarily instantiated, we can directly infer certain properties of the underlying functions, without ever having to look at their implementation. A simple example in Haskell is the type forall a. a -> a, which (apart from looping or crashing functions) can only be inhabited by the identity function. This may sound like a curiosity, but I will argue that it is in fact an invaluable tool in program design and day-to-day reasoning about programs, and explain how to build an intuition that allows you to do so without the need for deep or complicated theory. We will look at several interesting examples and hopefully make a few perhaps surprising discoveries along the way. I will also try to explain how in the case of parametricity, making types more abstract can really help in making functions easier to understand, whereas it often feels like the opposite may be true. To this end, I will try to contrast abstraction in the context of parametricity with other kinds of type-level abstraction common in Haskell, in particular abstraction via type classes, and show how they are different. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/loeh.html

Die Netze BW als Verteilnetzbetreiber für Strom, Gas und Wasser in Baden-Württemberg entwickelt und betreibt Software für den Betrieb von Netzen. Als Teil kritischer Infrastruktur des öffentlichen Lebens waren die Anforderung an Zuverlässigkeit immer sehr hoch. Kombiniert mit der zunehmenden Komplexität der Energiewende müssen immer mehr und immer komplexere Prozesse abgebildet und mittels Software realisiert werden. In diesem Vortrag wird der bisherige Weg von #NETZlive, einem Softwareprojekt der Netze BW, gezeigt, wie mittels Microservices, Containerisierung, Clusterbildung, redundanten Anwendungen, fehlertoleranten Entwicklungssprachen und der funktionalen Programmierung an sich die Zuverlässigkeit der Systeme gesteigert wurde und wie es noch weiter gesteigert werden muss. Dazu fordert die Energiewende eine höhere Automatisierung von kritischen, ins Netz eingreifenden Prozessen, was zusätzlich die höchste Sicherheitsbewertung der Software mit sich bringt. Der Vortrag gibt einen Ausblick, was hier mittelfristig erforderlich sein wird. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/digel.html

Local-first software redefines how applications handle data by prioritizing user ownership of data, responsiveness, and offline functionality. Unlike traditional cloud-dependent software, local-first applications store and process data primarily on users’ devices rather than relying on continuous connectivity to a central server. This ensures that the software remains usable even without an internet connection, offers faster interactions by eliminating latency introduced by remote servers, and gives users greater control over their data. Local-first architectures typically incorporate mechanisms for synchronization, enabling seamless collaboration and data sharing across devices. Techniques, such as Conflict-free Replicated Data Types (CRDTs), are the “secret sauce” to ensure that updates made on one device are automatically reconciled with changes made on others, even when they happen offline. This talk will delve into the principles of local-first software, the inner workings of CRDTs, practical implementation strategies, and the challenges developers must overcome to realize this vision. Finally, we will show the strengths and limitations in case studies such as collaborative spreadsheets and present methods for verifying the correctness of local-first applications. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2025/bieniusa.html

PsyLink is an open source electrode armband that measures electric signals on the skin and turns them into computer inputs. The talk discusses why neural interfaces are an important but also tricky subject, and explains how PsyLink turns nerve impulses into keyboard inputs - from the electrical circuits, to the embedded firmware, to the machine learning software that does the signal processing (and about making the software cross-platform using Rust). Licensed to the public under https://creativecommons.org/licenses/by-sa/4.0/ about this event: https://c3voc.de

Ionisierende kosmische Strahlung ist eine der großen Gefahren für Astronauten im Weltall. Wie kann diese nicht spürbare Gefahr gemessen und sichtbar gemacht werden? Zum Mond, zum Mars und darüber hinaus – hochenergetische kosmische Strahlung und Sonnenstürme können Körper und Raumschiff schädigen. Außerhalb des schützenden Magnetfelds und der Atmosphäre der Erde bedeutet die ionisierende Strahlung vor allem Gefahr. Um wirksame Schutzmaßnahmen zu entwickeln, müssen zuverlässige Messdaten erhoben werden. Wir freuen uns Karel Marsalek bei uns zu begrüßen, den Leiter der Entwicklung elektronischer aktiver Instrumente für die Messung der kosmischen ionisierenden Strahlung im Weltall am Deutschen Zentrum für Luft- und Raumfahrt. Er spricht über die Entwicklung, Kalibration, Charakterisierung und Tests der Weltraumhardware, die zur Detektion von Strahlung an Bord der ISS, auf Satelliten, in der Mondumlaufbahn sowie auf der Mondoberfläche und auf Erkundungsmissionen eingesetzt wird. Im Vortrag nimmt Karel uns im Kontext der Artemis I Mission auf eine Reise von der Erde zum Mond und wieder zurück mit, um zu zeigen, wie aufgrund der Messdaten die Schutzeigenschaften der Raumfähren evaluiert werden. Licensed to the public under https://creativecommons.org/licenses/by-sa/4.0/ about this event: https://c3voc.de

Wir zeigen uns gegenseitig unsere Podcast-Hardware und tauschen unsere Meinungen dazu aus. Bringt alle Euer Aufnahmegerät, Eure Kabellage, Eure Kopfhörer und Headsets, Eure Aufzeichnungssoftware und andere technische Lösungen zur Aufnahme von Podcasts auf. Wir platzieren alles auf einem großen Tisch und alle dürfen allen alles erklären. Licensed to the public under https://creativecommons.org/licenses/by/4.0/ about this event: https://pretalx.c3voc.de/subscribe11/talk/C8YUQS/

Im September 2019 trat die Zahlungsdiensterichtlinie 2 (kurz PSD2) in Kraft. Es folgten Verwirrung, Chaos, und Frustration. Nutzer:innen wurden von neuen Authentifizierungsmaßnahmen überrumpelt, FOSS-Entwickler:innen aus wichtigen Schnittstellen ausgeschlossen und zu allem Unglück mussten wir schon wieder über die Schufa reden. Doch es ist noch nicht alles verloren. Vor zwei Jahren wurde die Richtlinie von der EU evaluiert, und eine dritte PSD wurde erstmals im Sommer 2023 vorgestellt. Wann sie finalisiert wird und in Kraft tritt ist noch unklar, doch ein Jahr nach der ersten Veröffentlichung lohnt es sich Mal tiefer einzusteigen. Die EU Kommission hat schließlich aus den von ihr verursachten Problemen gelernt, und macht mit PSD3 jetzt alles wieder gut, stimmts? Ein loser Überblick über die Herausforderungen und Probleme der PSD2, gefolgt von einer Gegenüberstellung mit den vorgeschlagenen Änderungen durch die PSD3. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://talks.hackover.de/hackover24/talk/XLE93M/

Everything you should know about plastic recycling and how you can take part in solving the plastic problem In this talk I will give an overview about what is currently done to recycle post consumer plastic. You will get to know why this is important and what you can do to improve the situation with plastic waste. I will also give you some tips on how to avoid plastic pollution in your consumer behaviour. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://talks.hackover.de/hackover24/talk/8FSG87/

Wer schon mal mit den drei großen Buchstaben aus Walldorf arbeiten musste und innerhalb von SAP Code geschrieben hat, ist sehr wahrscheinlich auch in irgendeiner Form mit "Transporten" in Kontakt gekommen. Und wer schon öfter Code innerhalb von SAP geschrieben und transportiert hat, wird sich vermutlich auch schon gefragt haben, warum Transporte eigentlich so schei^W besonders sind. In diesem Talk geht es darum, wie Transporte von innen aussehen und wie sie (vermutlich) so geworden sind. Wer schon mal mit den drei großen Buchstaben aus Walldorf arbeiten musste und innerhalb von SAP Code geschrieben hat, ist sehr wahrscheinlich auch in irgendeiner Form mit "Transporten" in Kontakt gekommen. Und wer schon öfter Code innerhalb von SAP geschrieben und transportiert hat, wird sich vermutlich auch schon gefragt haben, warum Transporte eigentlich so schei^W besonders sind. Die Möglichkeiten für den klassischen SAP-Entwickler, herauszufinden, was in so einem Transport tatsächlich steckt, sind allerdings recht begrenzt, da die ganze SAP-Welt Unternehmen vorbehalten ist, die entsprechend viele Goldbarren jeden Monat nach Walldorf schicken und sich der Hobby-Hacker nicht mal eben eine Demo-Lizenz klicken kann. Zudem kommt er oder sie selbst als Mitarbeitende in so einem Unternehmen, die jeden Tag Code schreibt und unter den Transporten leiden muss, üblicherweise nicht als root auf die unterliegenden SAP-Server. Und falls diese Hürden doch alle genommen werden, steht man dann trotzdem nur vor einem proprietärem Haufen Binary. Daher bringe ich in diesem Talk mal etwas Licht in das recht... historische Transport-Format, gepaart mit Vermutungen, wie es denn so weit kommen konnte. Disclaimer: Ich bin kein SAP-Mitarbeiter. Praktisch alle Infos in diesem Talk stammen aus Reverse Engineering, sind vollkommen inoffiziell, potentiell ungenau und daher ähnlich zu behandeln wie ein Xerox-Scan. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://talks.hackover.de/hackover24/talk/EY7ZJZ/

In the realm of modern software development, ensuring correctness and reliability of software systems is paramount. Functional programming langaunges like Haskell offer a unique approach to achieving these goals through strong type systems, immutable data structures, and pure functions. Despite its practical benefits, functional programming is not yet widely-used in mainstream development. Here, we'll take you on a gentle exploration of the fundamentals of functional programming, emphasizing concepts like referential transparency, purity, and correctness through verifiable specifications. Through practical examples and approachable explanations, we will illustrate how Haskell's paradigms can lead to a more robust and maintainable codebase. This talk serves as a friendly guide for beginners eager to dive into the world of functional programming and to harness its power to write verifiably correct, maintainable software. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://talks.hackover.de/hackover24/talk/XCRTE7/

Wir schauen uns an, wie Verwaltungsdigitalisierung gesetzlich motiviert ist, welche technischen Unterbauten beteiligt sind und warum das alles so lange dauert. Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://talks.hackover.de/hackover24/talk/KVSXBJ/

How do you transmit data when there’s 205,000 people trying to access the same mobile network in a field? Satellites, of course! After facing dilemmas of tracking the staff shuttles at a major UK festival, we decided to look at other options and discovered some cheap Iridium satellite constellation hardware on eBay. When they arrived, we surveyed what we had purchased, discovered it was ex-Ministry of Defense hardware, and hasn’t been scrubbed properly. After getting a new pair of trousers and making the relevant disclosures, we worked to reverse engineer the hardware and get some usable data transmitting into space (and back down). This involved dumping the firmware of the chip, and stepping bit-by-bit through the memory to understand what was happening, as well as a few casual emails to defence contractors. Getting airtime for satellite hardware was also a challenge, and working around the intricacies of Iridium Short Burst Data. Furthermore, we’ve developed the concept into an interactive map that overlays the realtime position of the tracker, and gives speed and heading data. Licensed to the public under https://creativecommons.org/licenses/by-sa/4.0/ about this event: https://www.emfcamp.org/schedule/2024/90-adventures-with-iridium

Zur Lage der Bürger- und Menschenrechte in Deutschland Am 22. Mai 2024, zum 75. Jahrestag des Grundgesetzes, wurde in Berlin der Grundrechte-Report 2024 vorgestellt. In seinen 44 Beiträgen zeigt der alternative Verfassungsschutzbericht erneut auf, wie Gesetzgebung, Verwaltung und Behörden, aber auch Gerichte und Privatunternehmen die demokratischen und freiheitlichen Grundlagen unserer Gesellschaft gefährden. about this event: https://www.fiff.de/veranstaltungen/grundrechtereport2024

Zur Lage der Bürger- und Menschenrechte in Deutschland Am Dienstag, den 23. Mai 2023 um 10 Uhr wurde in Berlin der neue Grundrechte-Report vorgestellt. In seinen 38 Beiträgen zeigt der alternative Verfassungsschutzbericht erneut auf, wie Gesetzgebung, Verwaltung und Behörden, aber auch Gerichte und Privatunternehmen die demokratischen und freiheitlichen Grundlagen unserer Gesellschaft gefährden. Link: https://www.fiff.de/veranstaltungen/grundrechtereport2023 about this event: https://www.fiff.de/veranstaltungen/grundrechtereport2023