Bob Conference Archive – 2026

This archive holds all talks of Bob 2026.

English

• Using Domain Driven Design to Refactor Stripe Billing
  Alexander Thiemann, Talk at Bob 2026, english
• SwiftUI is functional
  Manuel Chakravarty, Talk at Bob 2026, english
• Architecting Scalable CI Pipelines for Enterprises: Lessons Learned
  Johannes Dienst, Talk at Bob 2026, english
• Accessibility by Design: Practical A11y for Everyday Software Engineering
  Ariadne Engelbrecht, Talk at Bob 2026, english
• Programming Efficient Joins
  Fritz Henglein, Talk at Bob 2026, english
• Proofs for programs, programs for proofs
  Julia Himmel, Talk at Bob 2026, english
• Four Fascinating Programming Languages You've Probably Never Heard Of
  Lutz Hühnken, Talk at Bob 2026, english
• Zero Knowledge Proof? That Sounds Useless!
  Philipp Kant, Talk at Bob 2026, english
• Refinement types for the digital information age
  Olaf Klinke, Talk at Bob 2026, english
• Run your own digital infrastructure using MirageOS unikernels
  Hannes Mehnert, Talk at Bob 2026, english
• Generating tests from formal specification: the good, the bad and the messy
  Nicolas Osborne, Talk at Bob 2026, english
• Going back in time with the Undoable Monad
  Paul-Elliot, Talk at Bob 2026, english
• Encoding Effects as Capabilities
  NicolasRinaudo, Talk at Bob 2026, english
• Git meets Linked Data – A Tale of an Unusual Architecture
  Markus Schlegel, Talk at Bob 2026, english
• Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept
  Stefan Kaufmann, Talk at Bob 2026, english
• Bridging the Gap Between UX Design and Development: Atomic Design & Storybook
  Franz Thoma, Talk at Bob 2026, english
• A crash course on the OCaml module language
  Xavier Van de Woestyne, Talk at Bob 2026, english

German

• Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility
  Martin Grotzke, Talk at Bob 2026, german
• Funktionale Programmierung für vielbeschäftigte Javaentwickler
  Falk Sippach, Till Rauch, Talk at Bob 2026, german