1. browse
  2. conferences
  3. bobkon
  4. 2026
  5. Talks #1

BOB Konferenz 2026

Talks #1

Full playlist: Video / Audio
Four Fascinating Programming Languages You've Probably Never Heard Of
45 min

Four Fascinating Programming Languages You've Probably Never Heard Of

Zero Knowledge Proof? That Sounds Useless!
45 min

Zero Knowledge Proof? That Sounds Useless!

Run your own digital infrastructure using MirageOS unikernels
44 min

Run your own digital infrastructure using MirageOS unikernels

A crash course on the OCaml module language
44 min

A crash course on the OCaml module language

Going back in time with the Undoable Monad
42 min

Going back in time with the Undoable Monad

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept
49 min

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept

Encoding Effects as Capabilities
40 min

Encoding Effects as Capabilities

Proofs for programs, programs for proofs
44 min

Proofs for programs, programs for proofs