System
Light
Dark
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
browse
conferences
bobkon
2026
Talks #1
BOB Konferenz 2026
Talks #1
Full playlist:
Video
name
duration
date
view count
Four Fascinating Programming Languages You've Probably Never Heard Of
Talk
Talks #1
2026-03-13
0
Lutz Hühnken
Proofs for programs, programs for proofs
Talk
Talks #1
2026-03-13
0
Markus Himmel
Zero Knowledge Proof? That Sounds Useless!
Talk
Talks #1
2026-03-13
0
Philipp Kant
Going back in time with the Undoable Monad
Talk
Talks #1
2026-03-13
0
Paul-Elliot
A crash course on the OCaml module language
Talk
Talks #1
2026-03-13
0
Xavier Van de Woestyne
Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept
Talk
Talks #1
2026-03-13
0
Stefan Kaufmann
