https://media.ccc.de/c/bobkonf2026 This feed contains all events from bobkonf2026 as mp4 see video outro Tue, 19 May 2026 16:38:46 -0000 https://static.media.ccc.de/media/events/bobkonf/2026/logo.png https://media.ccc.de/c/bobkonf2026 https://media.ccc.de/v/bob11-2026-digital-sovereignity-kaufmann We've been using the term "digital sovereignty" going on ten years now. But what does that "digital sovereignty" even mean? Looking at research connected to the term shows that it has been used as an argument for very different, sometimes diametrically opposed goals and ideas. Does it even make sense to use it anymore? Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2026/stk.html Fri, 13 Mar 2026 09:00:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2026/h264-sd/bob2026-1-eng-Keynote_Digital_Sovereignty_-_Searching_for_Meaning_in_a_Magical_Concept_sd.mp4?1779208041 8f370b8c-6e08-4fc3-a8ea-6e16741f1ab6 2026-03-13T09:00:00+01:00 Stefan Kaufmann No 1, 2026, bob2026, Talk, Talks #1, bob2026-eng, BOB, BOB Konferenz, Day 1 We've been using the term "digital sovereignty" going on ten years now. But what does that "digital sovereignty" even mean? Looking at research connected to the term shows that it has been used as an argument for very different, sometimes diametrically opposed goals and ideas. Does it even make sense to use it anymore? Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2026/stk.html 00:49:54 https://media.ccc.de/v/bob11-2026-ocaml-module-language-woestyne Many programming languages offer modules, namespaces, or package systems. But very few provide **a true module language**. In this talk, we’ll explore OCaml’s powerful module system as a core language feature. We’ll learn how to use modules effectively, understand their design principles and limitations, and discuss the challenges posed by type equalities, type preservation, and strengthening. We’ll also look at ongoing work clarifying their semantics, including recursive modules, type anchoring, and signature avoidance. We’ll see how modules solve real problems, discover clever and expressive encodings, and identify their practical limits. Along the way, we’ll build familiarity with key concepts such as functors, applicative and generative functors, ascriptions, and strengthening and understand how OCaml’s module language enables elegant, modular, and type-safe program design. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2026/woestyne.html Fri, 13 Mar 2026 10:15:00 +0100 https://cdn.media.ccc.de/events/bobkonf/2026/h264-sd/bob2026-2-eng-A_crash_course_on_the_OCaml_module_language_sd.mp4?1779208389 da9a9d6f-dafd-48c1-8dd4-47f6a2eb34b8 2026-03-13T10:15:00+01:00 Xavier Van de Woestyne No 2, 2026, bob2026, Talk, Talks #1, bob2026-eng, BOB, BOB Konferenz, Day 1 Many programming languages offer modules, namespaces, or package systems. But very few provide **a true module language**. In this talk, we’ll explore OCaml’s powerful module system as a core language feature. We’ll learn how to use modules effectively, understand their design principles and limitations, and discuss the challenges posed by type equalities, type preservation, and strengthening. We’ll also look at ongoing work clarifying their semantics, including recursive modules, type anchoring, and signature avoidance. We’ll see how modules solve real problems, discover clever and expressive encodings, and identify their practical limits. Along the way, we’ll build familiarity with key concepts such as functors, applicative and generative functors, ascriptions, and strengthening and understand how OCaml’s module language enables elegant, modular, and type-safe program design. Licensed to the public under https://creativecommons.org/licenses/by/3.0/de about this event: https://bobkonf.de/2026/woestyne.html 00:44:08 media.ccc.de / RSS 0.3.2 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 bobkonf2026 as mp4