https://media.ccc.de/c/bobkonf2024 This feed contains all events from bobkonf2024 as mp4 see video outro Tue, 23 Jun 2026 19:38:32 -0000 https://static.media.ccc.de/media/events/bobkonf/2024/logo.png https://media.ccc.de/c/bobkonf2024 https://media.ccc.de/v/bob11-2024-the-unreasonale-effectiveness-of-events-huehnken For many, event-driven communication is often considered just an implementation detail. However, event-driven architecture has implications that reach far beyond the realm of asynchronous messaging. In this presentation, we will delve into many of these implications in detail. From delivery guarantees to promise theory, from designing event payloads to functional programming, from error handling to strategic domain-driven design - we will embark on a journey from seemingly minor details to the big picture. about this event: https://bobkonf.de/2024/huehnken.html Fri, 15 Mar 2024 17:10:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-8-eng-The_Unreasonable_Effectiveness_of_Events_sd.mp4?1720982212 1f38d787-9829-4d89-9c7b-6cc96658ecce 2024-03-15T17:10:00+01:00 Lutz Hühnken No bob2024, 8, 2024, Talk, BOB, BOBKonferenz For many, event-driven communication is often considered just an implementation detail. However, event-driven architecture has implications that reach far beyond the realm of asynchronous messaging. In this presentation, we will delve into many of these implications in detail. From delivery guarantees to promise theory, from designing event payloads to functional programming, from error handling to strategic domain-driven design - we will embark on a journey from seemingly minor details to the big picture. about this event: https://bobkonf.de/2024/huehnken.html 00:45:04 https://media.ccc.de/v/bob11-2024-zero-knowledge-proofs-for-privacy-and-trust-kant Zero-knowledge proofs are cryptographic techniques that allow a prover to convince a verifier that certain statements hold, without providing any additional information. They are becoming increasingly popular in the blockchain space, as they provide solutions to overcome inherent weaknesses of blockchains: as they assume a complete lack of trust between participants, every calculation has to be replicated by multiple parties, which leads to poor efficiency. Also, blockchains provide a shared public ledger, which by default is lacking any privacy. In this presentation, we will discuss zero-knowledge succinct non-interactive arguments of knowledge (zkSNARKS). Using the mina blockchain and smart contract system as an example, we will show how they can be used to efficiently create trust in an untrusted environment. We will also look at how they allow creating applications with a programmable degree of privacy. While zero knowledge techniques are a perfect match for blockchains, and they are rapidly gaining traction in that industry, their usefulness goes beyond that. The goal of this presentation is to introduce the audience to the concept of zero knowledge proofs, and provide a basic understanding and intuition of how they work, and under which circumstances they can be useful. about this event: https://bobkonf.de/2024/kant.html Fri, 15 Mar 2024 17:10:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-15-eng-Zero-Knowledge-Proofs_for_Privacy_and_Trust_sd.mp4?1720981743 5fb44183-40d6-44de-872e-72b8d8f0f7c8 2024-03-15T17:10:00+01:00 Philipp Kant No bob2024, 15, 2024, Talk, BOB, BOBKonferenz Zero-knowledge proofs are cryptographic techniques that allow a prover to convince a verifier that certain statements hold, without providing any additional information. They are becoming increasingly popular in the blockchain space, as they provide solutions to overcome inherent weaknesses of blockchains: as they assume a complete lack of trust between participants, every calculation has to be replicated by multiple parties, which leads to poor efficiency. Also, blockchains provide a shared public ledger, which by default is lacking any privacy. In this presentation, we will discuss zero-knowledge succinct non-interactive arguments of knowledge (zkSNARKS). Using the mina blockchain and smart contract system as an example, we will show how they can be used to efficiently create trust in an untrusted environment. We will also look at how they allow creating applications with a programmable degree of privacy. While zero knowledge techniques are a perfect match for blockchains, and they are rapidly gaining traction in that industry, their usefulness goes beyond that. The goal of this presentation is to introduce the audience to the concept of zero knowledge proofs, and provide a basic understanding and intuition of how they work, and under which circumstances they can be useful. about this event: https://bobkonf.de/2024/kant.html 00:45:31 https://media.ccc.de/v/bob11-2024-software-analytics-with-data-science-on-software-data-harrer Data Science has demonstrated its value in extracting insights from business data, raising the question: Why not apply these principles to our software systems’ data? In this talk, I’ll introduce you to the world of Software Analytics. We’ll explore how to extract valuable insights from software data by using tools and techniques from data science to get rid of big, systemic problems in our software systems. You’ll learn how to leverage scientific thinking, manage the analysis process, and apply literate statistical programming to analyze software systems in an understandable way. Or to put it in the words of software developers: We automate the analysis of large software systems using open-source tools like Jupyter Notebook, Python, pandas, jQAssistant, and Neo4j. I’ll also demonstrate through live-coding how we can gain new insights from data sources like Git repositories, performance measurements, or source code. Join me in this session to acquire your starter kit for uncovering deeply hidden issues and change the way of improving systems with data-driven software analysis! about this event: https://bobkonf.de/2024/harrer.html Fri, 15 Mar 2024 16:20:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-14-eng-Software_Analytics_with_Data_Science_on_Software_Data_sd.mp4?1720980416 e577fdf6-d83f-42fd-8b5b-a7046b053fd4 2024-03-15T16:20:00+01:00 Markus Harrer No bob2024, 14, 2024, Talk, BOB, BOBKonferenz Data Science has demonstrated its value in extracting insights from business data, raising the question: Why not apply these principles to our software systems’ data? In this talk, I’ll introduce you to the world of Software Analytics. We’ll explore how to extract valuable insights from software data by using tools and techniques from data science to get rid of big, systemic problems in our software systems. You’ll learn how to leverage scientific thinking, manage the analysis process, and apply literate statistical programming to analyze software systems in an understandable way. Or to put it in the words of software developers: We automate the analysis of large software systems using open-source tools like Jupyter Notebook, Python, pandas, jQAssistant, and Neo4j. I’ll also demonstrate through live-coding how we can gain new insights from data sources like Git repositories, performance measurements, or source code. Join me in this session to acquire your starter kit for uncovering deeply hidden issues and change the way of improving systems with data-driven software analysis! about this event: https://bobkonf.de/2024/harrer.html 00:39:49 https://media.ccc.de/v/bob11-2024-referenziell-transparente-business-prozesse-in-funktional-haerer Die explizite Modellierung von Business-Prozessen und deren Visualisierung ist ab einer bestimmten Größe und Anzahl von Prozessen unabdingbar. Ob zur Diskussion über Fachlichkeiten, zur Formulierung neuer Prozess-Modelle oder Wartung und Weiterentwicklung alter Prozess-Modelle - Prozess-Modelle als Diskussionsgrundlage erweisen sich als riesige Hilfe. Wäre es dazu nicht toll, wenn die Prozess-Modelle, einschließlich komplexer Bedingungen von Statusübergängen, referenziell transparent wären, das heißt auf vergleichbaren Daten beruhen, die sich einfach serialisieren und visualisieren lassen? In diesem Talk zeigen wir nicht nur, wie wir unter Zuhilfenahme verschiedener Techniken aus der funktionalen Programmierung derartige Prozess-Modelle formulieren und ausführen, sondern auch, wie wir wiederverwendbare Prozessbausteine definieren, um über Prozess-Modelle zu abstrahieren. Die Modellierung stellt sich dabei so flexibel heraus, dass sie als Grundlage für verschiedene Prozess-Standards, wie BPMN & co verwendet werden kann. Durch die Kombination mit einem Event-basierten System entsteht so mit geringem Aufwand eine mächtige und leicht erweiterbare Prozess-Engine für unterschiedlichste prozessbasierte Anwendungen. about this event: https://bobkonf.de/2024/haerer.html Fri, 15 Mar 2024 16:20:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-7-deu-Referenziell_transparente_Business-Prozesse_in_funktional_sd.mp4?1720979378 aafa184c-1120-480c-b14f-bd5dfa8a6027 2024-03-15T16:20:00+01:00 Simon Härer No bob2024, 7, 2024, Talk, BOB, BOBKonferenz Die explizite Modellierung von Business-Prozessen und deren Visualisierung ist ab einer bestimmten Größe und Anzahl von Prozessen unabdingbar. Ob zur Diskussion über Fachlichkeiten, zur Formulierung neuer Prozess-Modelle oder Wartung und Weiterentwicklung alter Prozess-Modelle - Prozess-Modelle als Diskussionsgrundlage erweisen sich als riesige Hilfe. Wäre es dazu nicht toll, wenn die Prozess-Modelle, einschließlich komplexer Bedingungen von Statusübergängen, referenziell transparent wären, das heißt auf vergleichbaren Daten beruhen, die sich einfach serialisieren und visualisieren lassen? In diesem Talk zeigen wir nicht nur, wie wir unter Zuhilfenahme verschiedener Techniken aus der funktionalen Programmierung derartige Prozess-Modelle formulieren und ausführen, sondern auch, wie wir wiederverwendbare Prozessbausteine definieren, um über Prozess-Modelle zu abstrahieren. Die Modellierung stellt sich dabei so flexibel heraus, dass sie als Grundlage für verschiedene Prozess-Standards, wie BPMN & co verwendet werden kann. Durch die Kombination mit einem Event-basierten System entsteht so mit geringem Aufwand eine mächtige und leicht erweiterbare Prozess-Engine für unterschiedlichste prozessbasierte Anwendungen. about this event: https://bobkonf.de/2024/haerer.html 00:44:28 https://media.ccc.de/v/bob11-2024-property-testing-all-the-things-in-serenityos-janiczek *: not all the things. I’m a big proponent of property-based testing (as in, QuickCheck or Hypothesis), be it in Elm, Haskell, Scala or JavaScript - it’s great at finding tricky edge cases, refining your understanding of your system and giving you confidence it works for more cases than just your happy path unit tests. Imagine my horror when I saw that SerenityOS, my favorite “watch and admire it from distance” open source project didn’t have any support for property-based testing! There were three options: don’t test at all, test with unit tests, or fuzz the binary as a black box. I set out to write a property-based testing framework for SerenityOS, complete with automatic shrinking and all, and to use it to write property tests for apps and libraries all across SerenityOS. In this talk I want to share that journey, the surprising complications and how I overcame them, the tests I’ve written and categories they fall into, and the bugs I’ve found. about this event: https://bobkonf.de/2024/janiczek.html Fri, 15 Mar 2024 15:05:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-13-eng-Property-testing_all_the_things_in_SerenityOS_sd.mp4?1720979043 bbece69b-eb18-40bc-88ca-34eecc46910b 2024-03-15T15:05:00+01:00 Martin Janiczek No bob2024, 13, 2024, Talk, BOB, BOBKonferenz *: not all the things. I’m a big proponent of property-based testing (as in, QuickCheck or Hypothesis), be it in Elm, Haskell, Scala or JavaScript - it’s great at finding tricky edge cases, refining your understanding of your system and giving you confidence it works for more cases than just your happy path unit tests. Imagine my horror when I saw that SerenityOS, my favorite “watch and admire it from distance” open source project didn’t have any support for property-based testing! There were three options: don’t test at all, test with unit tests, or fuzz the binary as a black box. I set out to write a property-based testing framework for SerenityOS, complete with automatic shrinking and all, and to use it to write property tests for apps and libraries all across SerenityOS. In this talk I want to share that journey, the surprising complications and how I overcame them, the tests I’ve written and categories they fall into, and the bugs I’ve found. about this event: https://bobkonf.de/2024/janiczek.html 00:44:17 https://media.ccc.de/v/bob11-2024-javascript-fatigue-und-die-hypermedia-renaissance-schneider Hypermedia erlebt in den letzten Jahren eine Renaissance. Das Elixir-Webframework Phoenix bietet mit Live-Views einen Hypermedia-Mechanismus an, um reiche Webfrontends ohne JavaScript zu schreiben. Ähnlich das Turbo-Paket für Ruby on Rails. Dazu gesellt sich seit einiger Zeit HTMX. Das ist eine sprach- und frameworkunabhängige Javascript-Bibliothek die HTML als Hypertext endlich vervollständigen soll. Wer sich schon immer darüber geärgert hat, dass nur Anchor-Tags und Formulare einen Request abschicken dürfen, warum diese überhaupt nur GET bzw. POST unterstützen und warum immer gleich die ganze Seite ersetzt werden muss, ist hier genau richtig. Anders als mit React und Konsorten bekommen wir mit HTMX endlich wieder die Möglichkeit, wirklich deklarativen Frontendcode zu schreiben und den Zustand dort zu lassen, wo er ohnehin hingehört: auf dem Server. Dass die Frontend Buildzeiten auf Null sinken ist natürlich ein netter Bonus. Wer also keine Lust mehr hat, für jede Single Page Application grundlegende Browserfunktionalität nachzubauen (looking at you, Navigation und History) oder Performancehacks für große Selects zu basteln, kann sich hier anschauen, wie das deklarative Hypermedia Web in Zukunft (wieder) aussehen könnte. about this event: https://bobkonf.de/2024/schneider.html Fri, 15 Mar 2024 15:05:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-6-deu-Hyper_Hyper_Javascript_fatigue_und_die_Hypermedia_Renaissance_sd.mp4?1720977802 b048d207-3245-4392-bc66-ecfad74fc70e 2024-03-15T15:05:00+01:00 Marco Schneider No bob2024, 6, 2024, Talk, BOB, BOBKonferenz Hypermedia erlebt in den letzten Jahren eine Renaissance. Das Elixir-Webframework Phoenix bietet mit Live-Views einen Hypermedia-Mechanismus an, um reiche Webfrontends ohne JavaScript zu schreiben. Ähnlich das Turbo-Paket für Ruby on Rails. Dazu gesellt sich seit einiger Zeit HTMX. Das ist eine sprach- und frameworkunabhängige Javascript-Bibliothek die HTML als Hypertext endlich vervollständigen soll. Wer sich schon immer darüber geärgert hat, dass nur Anchor-Tags und Formulare einen Request abschicken dürfen, warum diese überhaupt nur GET bzw. POST unterstützen und warum immer gleich die ganze Seite ersetzt werden muss, ist hier genau richtig. Anders als mit React und Konsorten bekommen wir mit HTMX endlich wieder die Möglichkeit, wirklich deklarativen Frontendcode zu schreiben und den Zustand dort zu lassen, wo er ohnehin hingehört: auf dem Server. Dass die Frontend Buildzeiten auf Null sinken ist natürlich ein netter Bonus. Wer also keine Lust mehr hat, für jede Single Page Application grundlegende Browserfunktionalität nachzubauen (looking at you, Navigation und History) oder Performancehacks für große Selects zu basteln, kann sich hier anschauen, wie das deklarative Hypermedia Web in Zukunft (wieder) aussehen könnte. about this event: https://bobkonf.de/2024/schneider.html 00:43:25 https://media.ccc.de/v/bob11-2024-model-based-testing-with-quickcheck-bailly QuickCheck is well-known as a framework for Property-Based Testing whereby one writes tests as properties some code should respect and use generators and shrinkers to prove or find counterexamples to those properties. Building on those principles, quickcheck-dynamic is a new tool to define State-Machine like models of software, generate and run sequence of actions, and express properties of the system in terms of high-level Dynamic Logic expressions. This session is both an introduction to, and an experience report on, the use of quickcheck-dynamic and more generally to the principles and practices of Model-Based Testing. Through a few examples drawn from real-life use of the library, I hope to convince the audience of the relevance of these tools for the development of complex, stateful software. about this event: https://bobkonf.de/2024/bailly.html Fri, 15 Mar 2024 14:15:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-12-eng-Model-Based_Testing_with_QuickCheck_sd.mp4?1720973943 371aa3f8-ba1b-4e2c-a4ca-ab79772d996e 2024-03-15T14:15:00+01:00 Arnaud Bailly No bob2024, 12, 2024, Talk, BOB, BOBKonferenz QuickCheck is well-known as a framework for Property-Based Testing whereby one writes tests as properties some code should respect and use generators and shrinkers to prove or find counterexamples to those properties. Building on those principles, quickcheck-dynamic is a new tool to define State-Machine like models of software, generate and run sequence of actions, and express properties of the system in terms of high-level Dynamic Logic expressions. This session is both an introduction to, and an experience report on, the use of quickcheck-dynamic and more generally to the principles and practices of Model-Based Testing. Through a few examples drawn from real-life use of the library, I hope to convince the audience of the relevance of these tools for the development of complex, stateful software. about this event: https://bobkonf.de/2024/bailly.html 00:44:14 https://media.ccc.de/v/bob11-2024-konsequente-barrierefreiheit-durch-partizipation-im-prozess-paliszewska-rogalla Ausgangsthesen: (1) Barrierearme oder barrierefreie Software und/oder IT-Systeme (=Produkte) können nur das Ergebnis entsprechend gestalteter Entwicklungsprozesse sein, Barrierfreiheit nachträglich zu implementieren ist kaum möglich und sehr teuer. (2) Die Anforderungen aus der BITV 2.0 bzw. WACG 2.x reichen für die barrierefreie Gestaltung von Software und/oder IT-Systemen nicht aus. Sie müssen durch weitere Anforderungen und durch die systematische Einbeziehung von Menschen mit (unterschiedlichen) Behinderungen erweitert werden. Lösungsansätze: (3) Einen Rahmen zur Prozessgestaltung liefert die neue Norm ISO/IEC 30071-1. (4) Aus unserer Sicht ist vor allem Partizipation im Prozess erforderlich, also: Menschen mit Behinderungen werden von Anfang an, schon bei Anforderungserhebung einbezogen und in verschiedenen Rollen in alle Entwicklungsphasen, wie Design, Implementierung sowie Tests. Erfahrungen: (5) Als Mitglieder eines Teams von Menschen mit unterschiedlichen Behinderungen berichten wir, was unsere Erfahrungen sind und was aus unserer Sicht die wichtigsten technischen wie nicht-technischen Anforderungen sind. Die Basis bildet die Schärfung des Bewusstseins für die tatsächlichen Bedürfnisse und Herausforderungen von Menschen mit Behinderungen, bei Entwickler*innen wie in der Gesellschaft insgesamt. about this event: https://bobkonf.de/2024/paliszewska-rogalla.html Fri, 15 Mar 2024 14:15:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-5-deu-Konsequente_Barrierefreiheit_durch_Partizipation_im_Prozess_sd.mp4?1720975443 ca76dbd7-0433-4a45-bbaa-1fc2712b1455 2024-03-15T14:15:00+01:00 Irmhild Rogalla, Jolanta Paliszewska No bob2024, 5, 2024, Talk, BOB, BOBKonferenz Ausgangsthesen: (1) Barrierearme oder barrierefreie Software und/oder IT-Systeme (=Produkte) können nur das Ergebnis entsprechend gestalteter Entwicklungsprozesse sein, Barrierfreiheit nachträglich zu implementieren ist kaum möglich und sehr teuer. (2) Die Anforderungen aus der BITV 2.0 bzw. WACG 2.x reichen für die barrierefreie Gestaltung von Software und/oder IT-Systemen nicht aus. Sie müssen durch weitere Anforderungen und durch die systematische Einbeziehung von Menschen mit (unterschiedlichen) Behinderungen erweitert werden. Lösungsansätze: (3) Einen Rahmen zur Prozessgestaltung liefert die neue Norm ISO/IEC 30071-1. (4) Aus unserer Sicht ist vor allem Partizipation im Prozess erforderlich, also: Menschen mit Behinderungen werden von Anfang an, schon bei Anforderungserhebung einbezogen und in verschiedenen Rollen in alle Entwicklungsphasen, wie Design, Implementierung sowie Tests. Erfahrungen: (5) Als Mitglieder eines Teams von Menschen mit unterschiedlichen Behinderungen berichten wir, was unsere Erfahrungen sind und was aus unserer Sicht die wichtigsten technischen wie nicht-technischen Anforderungen sind. Die Basis bildet die Schärfung des Bewusstseins für die tatsächlichen Bedürfnisse und Herausforderungen von Menschen mit Behinderungen, bei Entwickler*innen wie in der Gesellschaft insgesamt. about this event: https://bobkonf.de/2024/paliszewska-rogalla.html 00:42:58 https://media.ccc.de/v/bob11-2024-erlang-ocaml-same-thing-ostera Ever wondered what type-safe, massively concurrent functional programming could look like? Join me on a journey from Erlang to OCaml and back again. We’ll learn about Caramel 🍬 – an experiment in bringing type-safety for the Erlang VM. Caramel was born out of the question: why is Erlang hard to type? – and as it turns out, it is not! If you restrict it enough. So much so that what you end up with is…OCaml? On the flip side, the new algebraic effects and multicore capabilities of OCaml 5 open the possibility of new execution models. How far could we take them? Could we inject Erlang’s famed concurrency model into OCaml? Riot 🌪️ is an actor-model runtime for OCaml 5 that brings multi-core scheduling and lightweight processes, communicating via message passing. Key Takeaways _ Learn more about how type safety and supervision trees make for the ultimate reliability stack - Understand the convergence of Erlang and OCaml - Get started writing Type-safe actor systems in OCaml with Riot about this event: https://bobkonf.de/2024/ostera.html Fri, 15 Mar 2024 12:35:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-11-eng-Erlang_OCaml_same_thing_sd.mp4?1720972376 171bd1d8-fbf1-4d78-ac81-a953a5a7a271 2024-03-15T12:35:00+01:00 Leandro Ostera No bob2024, 11, 2024, Talk, BOB, BOBKonferenz Ever wondered what type-safe, massively concurrent functional programming could look like? Join me on a journey from Erlang to OCaml and back again. We’ll learn about Caramel 🍬 – an experiment in bringing type-safety for the Erlang VM. Caramel was born out of the question: why is Erlang hard to type? – and as it turns out, it is not! If you restrict it enough. So much so that what you end up with is…OCaml? On the flip side, the new algebraic effects and multicore capabilities of OCaml 5 open the possibility of new execution models. How far could we take them? Could we inject Erlang’s famed concurrency model into OCaml? Riot 🌪️ is an actor-model runtime for OCaml 5 that brings multi-core scheduling and lightweight processes, communicating via message passing. Key Takeaways _ Learn more about how type safety and supervision trees make for the ultimate reliability stack - Understand the convergence of Erlang and OCaml - Get started writing Type-safe actor systems in OCaml with Riot about this event: https://bobkonf.de/2024/ostera.html 00:46:21 https://media.ccc.de/v/bob11-2024-kommunikationsmuster-fuer-services-butenuth Kennt jemand eine IT-Landschaft mit nur einer Anwendung? Ich nicht, selbst die größten Monolithen lösen selten alles alleine. In den meisten Unternehmen existieren normalerweise mehrere Anwendungen, die auf ihre Bereiche spezialisiert sind. Die Spezialisierung wird aber vermutlich selten so weit gehen, dass die verwendeten Daten vollständig disjunkt sind. In den meisten Fällen liegt ein bunter Mix vor: Rein lokale Daten einer Anwendung, redundant gespeicherte Daten und Aufgaben, die von einer zur nächsten Anwendung weitergereicht werden. Wie gehen wir mit diesem Zoo am besten um, ohne in einer Wildnis zu landen, in der Daten und Aufträge verloren gehen, Daten inkonsistent sind oder Aufträge mehrfach ausgeführt werden? Manche sehen in API-Management und REST die Lösung für alle Probleme, andere schwören auf Event-driven-Architecture mit zentralem Event-Broker. Ich werde (einfache) Kommunikationsmuster für die häufigsten Probleme in derartig verteilten Systemen vorstellen, immer mit den Zielen einfach, zuverlässig und effizient. Und dem Wissen, dass es ohne Kompromisse nicht geht. about this event: https://bobkonf.de/2024/butenuth.html Fri, 15 Mar 2024 12:35:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-4-deu-Kommunikationsmuster_fuer_Services_Effizient_und_zuverlaessig_sd.mp4?1720970844 b9c15eec-2a9e-4584-87da-3cf80d69af18 2024-03-15T12:35:00+01:00 Roger Buthenuth No bob2024, 4, 2024, Talk, BOB, BOBKonferenz Kennt jemand eine IT-Landschaft mit nur einer Anwendung? Ich nicht, selbst die größten Monolithen lösen selten alles alleine. In den meisten Unternehmen existieren normalerweise mehrere Anwendungen, die auf ihre Bereiche spezialisiert sind. Die Spezialisierung wird aber vermutlich selten so weit gehen, dass die verwendeten Daten vollständig disjunkt sind. In den meisten Fällen liegt ein bunter Mix vor: Rein lokale Daten einer Anwendung, redundant gespeicherte Daten und Aufgaben, die von einer zur nächsten Anwendung weitergereicht werden. Wie gehen wir mit diesem Zoo am besten um, ohne in einer Wildnis zu landen, in der Daten und Aufträge verloren gehen, Daten inkonsistent sind oder Aufträge mehrfach ausgeführt werden? Manche sehen in API-Management und REST die Lösung für alle Probleme, andere schwören auf Event-driven-Architecture mit zentralem Event-Broker. Ich werde (einfache) Kommunikationsmuster für die häufigsten Probleme in derartig verteilten Systemen vorstellen, immer mit den Zielen einfach, zuverlässig und effizient. Und dem Wissen, dass es ohne Kompromisse nicht geht. about this event: https://bobkonf.de/2024/butenuth.html 00:43:26 https://media.ccc.de/v/bob11-2024-functional-programming-in-swift-chakravarty When people talk about functional programming in modern multi-paradigm languages, they usually mention Rust, Scala, or Kotlin. You rarely hear Swift being mentioned. This is odd, as one might argue that, of these languages, Swift places the strongest emphasis on functional programming. In this talk, I will explain the core functional programming features of Swift, including its expressive type system, value types, and mutability control. Furthermore, I will discuss how Swift’s language design is influenced by the desire to create a language that addresses the whole spectrum from low-level systems programming up to high-level applications with sophisticated graphical user interfaces. Beyond the core language itself, functional programming also permeates Swift’s rich ecosystem of libraries. To support this point, I will outline some FP-inspired core libraries, covering concepts from functional data structures over functional reactive programming to declarative user interfaces. Finally, I will briefly summarise practical considerations for using Swift in your own projects. This includes the cross-platform toolchain, the package manager, and interoperability with other languages. about this event: https://bobkonf.de/2024/chakravarty.html Fri, 15 Mar 2024 11:45:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-10-eng-Functional_Programming_in_Swift_sd.mp4?1720966983 a064fb6e-5975-46bb-94df-5ab0f98dd325 2024-03-15T11:45:00+01:00 Manuel Chakravarty No bob2024, 10, 2024, Talk, BOB, BOBKonferenz When people talk about functional programming in modern multi-paradigm languages, they usually mention Rust, Scala, or Kotlin. You rarely hear Swift being mentioned. This is odd, as one might argue that, of these languages, Swift places the strongest emphasis on functional programming. In this talk, I will explain the core functional programming features of Swift, including its expressive type system, value types, and mutability control. Furthermore, I will discuss how Swift’s language design is influenced by the desire to create a language that addresses the whole spectrum from low-level systems programming up to high-level applications with sophisticated graphical user interfaces. Beyond the core language itself, functional programming also permeates Swift’s rich ecosystem of libraries. To support this point, I will outline some FP-inspired core libraries, covering concepts from functional data structures over functional reactive programming to declarative user interfaces. Finally, I will briefly summarise practical considerations for using Swift in your own projects. This includes the cross-platform toolchain, the package manager, and interoperability with other languages. about this event: https://bobkonf.de/2024/chakravarty.html 00:44:46 https://media.ccc.de/v/bob11-2024-kontrollsoftware-fuer-eine-jupitermission-schirmer-winkelmann Die Implementierung der Steuersoftware für das Messinstrument SWI auf der ESA Jupiter-Raumsonde JUICE dauerte acht Jahre und fand unter in vieler Hinsicht ungünstigen Bedingungen statt. Höchste Priorität bei der Entwicklung hatten maximale Laufzeitstabilität und Einhaltung der Liefertermine. Um diese Ziele zu erreichen mussten verschiedene in der Industrie übliche und von der ESA vorgeschlagene Methoden durch effizientere Herangehensweisen ersetzt werden. Die aufgetretenen Probleme und die entsprechenden Lösungen werden im Einzelnen besprochen. about this event: https://bobkonf.de/2024/schirmer-winkelmann.html Fri, 15 Mar 2024 11:45:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-3-deu-Kontrollsoftware_fuer_eine_Jupitermission_der_ESA_Ein_Erfahrungsbericht_sd.mp4?1720968716 e323823f-fad9-4820-a09a-2b84df5e4ee5 2024-03-15T11:45:00+01:00 Oskar Schirmer, Felix Winkelmann No bob2024, 3, 2024, Talk, BOB, BOBKonferenz Die Implementierung der Steuersoftware für das Messinstrument SWI auf der ESA Jupiter-Raumsonde JUICE dauerte acht Jahre und fand unter in vieler Hinsicht ungünstigen Bedingungen statt. Höchste Priorität bei der Entwicklung hatten maximale Laufzeitstabilität und Einhaltung der Liefertermine. Um diese Ziele zu erreichen mussten verschiedene in der Industrie übliche und von der ESA vorgeschlagene Methoden durch effizientere Herangehensweisen ersetzt werden. Die aufgetretenen Probleme und die entsprechenden Lösungen werden im Einzelnen besprochen. about this event: https://bobkonf.de/2024/schirmer-winkelmann.html 00:44:32 https://media.ccc.de/v/bob11-2024-cypress-ueberall-sokenou Das Open-Source-Werkzeug Cypress ist ursprünglich als Alternative zu Selenium im Bereich der End-2-End-Tests in der Webentwicklung gestartet. Inzwischen füllt es mit Component Testing auch die Lücke zwischen Unit- und End-2-End-Tests in der Webentwicklung, die bisher nur ungenügend besetzt war, also bei den Komponenten- und Integrationstests. Lässt man Cypress Component Tests in sein Projekt, dann automatisiert man damit schnell nicht nur Komponententests, sondern auch Unit-Tests. Sie bieten sich damit als Ersatz für typische Unit-Test-Werkzeuge für Webanwendungen wie Jest oder Karma an. Cypress etabliert sich damit als Automatisierungswerkzeug für alle Teststufen, von den Unit- bis hin zu den End-2-End-Test. Kann Cypress wie ein Schweizer Taschenmesser wirklich den kleinen Zoo der bisher verwendeten Werkzeuge ablösen? Wir haben es ausprobiert und berichten über Erfahrungen positiver Art, aber auch über die Grenzen, an die wir gestoßen sind. Unter anderem zeigen wir anhand von Beispiele, wie Cypress als TDD-Werkzeug eingesetzt werden kann, wie einfach bestehende Tests migriert werden können, und haben evaluiert, was unter welchen Bedingungen schneller und stabiler ist, die Unit-Tests in Jest oder die in Cypress. about this event: https://bobkonf.de/2024/sokenou.html Fri, 15 Mar 2024 10:15:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-2-deu-Cypress_ueberall_-_Ein_einziges_Automatisierungswerkzeug_fuer_alle_Teststufen_sd.mp4?1720964576 6dc26c7d-412f-4fc2-9482-424a1be382f0 2024-03-15T10:15:00+01:00 Dehla Sokenou No bob2024, 2, 2024, Talk, BOB, BOBKonferenz Das Open-Source-Werkzeug Cypress ist ursprünglich als Alternative zu Selenium im Bereich der End-2-End-Tests in der Webentwicklung gestartet. Inzwischen füllt es mit Component Testing auch die Lücke zwischen Unit- und End-2-End-Tests in der Webentwicklung, die bisher nur ungenügend besetzt war, also bei den Komponenten- und Integrationstests. Lässt man Cypress Component Tests in sein Projekt, dann automatisiert man damit schnell nicht nur Komponententests, sondern auch Unit-Tests. Sie bieten sich damit als Ersatz für typische Unit-Test-Werkzeuge für Webanwendungen wie Jest oder Karma an. Cypress etabliert sich damit als Automatisierungswerkzeug für alle Teststufen, von den Unit- bis hin zu den End-2-End-Test. Kann Cypress wie ein Schweizer Taschenmesser wirklich den kleinen Zoo der bisher verwendeten Werkzeuge ablösen? Wir haben es ausprobiert und berichten über Erfahrungen positiver Art, aber auch über die Grenzen, an die wir gestoßen sind. Unter anderem zeigen wir anhand von Beispiele, wie Cypress als TDD-Werkzeug eingesetzt werden kann, wie einfach bestehende Tests migriert werden können, und haben evaluiert, was unter welchen Bedingungen schneller und stabiler ist, die Unit-Tests in Jest oder die in Cypress. about this event: https://bobkonf.de/2024/sokenou.html 00:45:39 https://media.ccc.de/v/bob11-2024-end-to-end-type-safety-with-your-own-api-spec-dsl-schmaltz This talk offers a deep dive into the creation of a custom Domain-Specific Language (DSL) for HTTP API specifications, focusing on achieving end-to-end type safety targeting TypeScript client applications with Go/Rust/OCaml backends. I’ll share my experiences and choices in developing this DSL in OCaml, highlighting its design principles and challenges encountered. Key discussion points include the necessity of type safety across software layers, DSL design strategies, and the detailed process of building and integrating the DSL. I’ll cover some practical challenges and solutions in DSL development, considering aspects like type inference, schema validation, and automatic code generation for the backend routes and the client-side bindings. about this event: https://bobkonf.de/2024/schmaltz.html Fri, 15 Mar 2024 10:15:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-9-eng-End-to-end_Type-Safety_with_Your_Own_API_Spec_DSL_sd.mp4?1720966066 7e82bd82-afba-4765-8a1d-9c222d0f6763 2024-03-15T10:15:00+01:00 Sabine Schmaltz No bob2024, 9, 2024, Talk, BOB, BOBKonferenz This talk offers a deep dive into the creation of a custom Domain-Specific Language (DSL) for HTTP API specifications, focusing on achieving end-to-end type safety targeting TypeScript client applications with Go/Rust/OCaml backends. I’ll share my experiences and choices in developing this DSL in OCaml, highlighting its design principles and challenges encountered. Key discussion points include the necessity of type safety across software layers, DSL design strategies, and the detailed process of building and integrating the DSL. I’ll cover some practical challenges and solutions in DSL development, considering aspects like type inference, schema validation, and automatic code generation for the backend routes and the client-side bindings. about this event: https://bobkonf.de/2024/schmaltz.html 00:44:24 https://media.ccc.de/v/bob11-2024-whos-afraid-of-the-turnstile-rossberg Programmers are well familiar with BNF as a concise and precise formal notation for defining programming language syntax. Nobody would consider describing syntax in prose. But more than 60 years after the introduction of syntax formalisms, it’s still accepted practice that programming language semantics, which is the far more delicate part of a language definition, is specified by a combination of cumbersome prose, hidden assumptions, and wishful thinking. In this talk, I show how we closed this gap in the specification of WebAssembly, hopefully demonstrating that there is little reason to be afraid of formal semantics. In the end, it’s merely syntax! The techniques that the academic community has developed over the past 4 decades work well and scale to a full-blown industrial language. I also give a peek at a novel tool chain this approach enables us to build, which can generate much of the written WebAssembly specification and corresponding proofs and tests, achieving new levels of trust in the correctness of the specification. about this event: https://bobkonf.de/2024/rossberg.html Fri, 15 Mar 2024 09:00:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2024/h264-sd/bob2024-1-eng-Keynote_Whos_Afraid_of_the_Turnstile_sd.mp4?1720964156 1daf62a1-cf78-44e5-ae38-847c2c6035db 2024-03-15T09:00:00+01:00 Andreas Rossberg No bob2024, 1, 2024, Talk, BOB, BOBKonferenz Programmers are well familiar with BNF as a concise and precise formal notation for defining programming language syntax. Nobody would consider describing syntax in prose. But more than 60 years after the introduction of syntax formalisms, it’s still accepted practice that programming language semantics, which is the far more delicate part of a language definition, is specified by a combination of cumbersome prose, hidden assumptions, and wishful thinking. In this talk, I show how we closed this gap in the specification of WebAssembly, hopefully demonstrating that there is little reason to be afraid of formal semantics. In the end, it’s merely syntax! The techniques that the academic community has developed over the past 4 decades work well and scale to a full-blown industrial language. I also give a peek at a novel tool chain this approach enables us to build, which can generate much of the written WebAssembly specification and corresponding proofs and tests, achieving new levels of trust in the correctness of the specification. about this event: https://bobkonf.de/2024/rossberg.html 00:54:42 media.ccc.de / RSS 0.3.3 CCC media team media@c3voc.de CCC media team No CCC Congress Hacking Security Netzpolitik A wide variety of video material distributed by the CCC. All content is taken from cdn.media.ccc.de and media.ccc.de A wide variety of video material distributed by the Chaos Computer Club. This feed contains all events from bobkonf2024 as mp4