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
Recent Videos
44 min
Property-Based Testing: The Past, The Present, and The Future
Talk
Talks #1
44 min
2025-03-14
0
Alperen Keles
BOB Konferenz 2025
46 min
Service-less communication: is it possible?
Talk
Talks #2
46 min
2025-03-14
7
Bartosz Sypythkowski
BOB Konferenz 2025
44 min
Correct by Construction Concurrent Programs in Idris 2
Talk
Talks #2
44 min
2025-03-14
2
Guillaume Allais
BOB Konferenz 2025
43 min
Recursive Definitions in Lean
Talk
Talks #2
43 min
2025-03-14
0
Joachim Breitner
BOB Konferenz 2025
47 min
Die Starre überwinden - Mit DDD zu geschmeidigem Code
Talk
Talks #2
47 min
2025-03-14
3
Nicole Rauch
and
Martin Günther
BOB Konferenz 2025
42 min
Things We Never Told Anyone About Functional Programming
Talk
Talks #2
42 min
2025-03-14
0
Mike Sperber
BOB Konferenz 2025
44 min
Beyond the Basics of LSP: Advanced IDE services for OCaml
Talk
Talks #1
44 min
2025-03-14
2
Xavier Van de Woestyne
BOB Konferenz 2025
46 min
OOP is dead, long live Object Orientation!
Talk
Talks #2
46 min
2025-03-14
4
Franz Thoma
BOB Konferenz 2025
45 min
Abstraction and program design, or the power of parametricity
Talk
Talks #2
45 min
2025-03-14
2
Andres Löh
BOB Konferenz 2025
55 min
Keynote: Local-first Software
Talk
Talks #1
55 min
2025-03-14
12
Annette Bieniusa
BOB Konferenz 2025
43 min
Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers
Talk
Talks #1
43 min
2025-03-14
6
Tim Digel
BOB Konferenz 2025
57 min
Superhuman AI - Wie & wann ist KI nützlich?
Vortrag
V6
57 min
2025-03-22
14
Michael Christen
Chemnitzer Linux-Tage 2025
44 min
The Microservices Problem No One Warned Us About (And How You Can Avoid It)
Talk
Talks #1
44 min
2025-03-14
5
Ivett Ördög
BOB Konferenz 2025
46 min
Against the (formal) method?
Talk
Talks #2
46 min
2025-03-14
2
Arnaud Bailly
BOB Konferenz 2025
42 min
Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
Talk
Talks #1
42 min
2025-03-14
2
Ziyang Liu
BOB Konferenz 2025
41 min
A Language Server for your DSL for Fun and Profit
Talk
Talks #1
41 min
2025-03-14
0
Hannes Siebenhandl
BOB Konferenz 2025
47 min
Functional data structures in Swift
Talk
Talks #1
47 min
2025-03-14
0
Manuel Chakravarty
BOB Konferenz 2025
48 min
Lessons learnt aus 20 Jahren Grml
Admin
HS i13
48 min
2025-04-26
105
Michael Prokop
Grazer Linuxtage 2025
46 min
DIY: Build your own mechanical Keyboard
Hardware
HS i13
46 min
2025-04-26
78
Martin Lechner
and
Patrick Thorbauer
Grazer Linuxtage 2025
38 min
Home-cooked Software: A Backup Tale
Anwendung
HS i1
38 min
2025-04-26
120
Florian Winkelbauer
Grazer Linuxtage 2025