Recent Videos

Property-Based Testing: The Past, The Present, and The Future
44 min

Property-Based Testing: The Past, The Present, and The Future

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Die Starre überwinden - Mit DDD zu geschmeidigem Code
47 min

Die Starre überwinden - Mit DDD zu geschmeidigem Code

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

Beyond the Basics of LSP: Advanced IDE services for OCaml
44 min

Beyond the Basics of LSP: Advanced IDE services for OCaml

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Keynote: Local-first Software
55 min

Keynote: Local-first Software

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers
43 min

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers

Superhuman AI - Wie & wann ist KI nützlich?
57 min

Superhuman AI - Wie & wann ist KI nützlich?

The Microservices Problem No One Warned Us About (And How You Can Avoid It)
44 min

The Microservices Problem No One Warned Us About (And How You Can Avoid It)

Against the (formal) method?
46 min

Against the (formal) method?

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
42 min

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples

A Language Server for your DSL for Fun and Profit
41 min

A Language Server for your DSL for Fun and Profit

Functional data structures in Swift
47 min

Functional data structures in Swift

Lessons learnt aus 20 Jahren Grml
48 min

Lessons learnt aus 20 Jahren Grml

DIY: Build your own mechanical Keyboard
46 min

DIY: Build your own mechanical Keyboard

Home-cooked Software: A Backup Tale
38 min

Home-cooked Software: A Backup Tale