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

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

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

Run your own digital infrastructure using MirageOS unikernels
44 min

Run your own digital infrastructure using MirageOS unikernels

Zero Knowledge Proof? That Sounds Useless!
45 min

Zero Knowledge Proof? That Sounds Useless!

Proofs for programs, programs for proofs
44 min

Proofs for programs, programs for proofs

Going back in time with the Undoable Monad
42 min

Going back in time with the Undoable Monad

Encoding Effects as Capabilities
40 min

Encoding Effects as Capabilities

A crash course on the OCaml module language
44 min

A crash course on the OCaml module language