Podcast Episodes
Back to SearchFreiheit oder Sicherheit? Überwachung im digitalen Zeitalter (dgna)
Die digitale Überwachung nimmt stetig zu: Kameras auf Plätzen und in Zügen gehören heute zum Alltag. Die Mobilfunkprovider müssen Verbindungs- und St…
1 year, 7 months ago
Die Starre überwinden - Mit DDD zu geschmeidigem Code (bobkonf2025)
In den letzten Jahren hat das Strategische Design aus DDD einen enormen Zuspruch gewonnen, was auf jeden Fall gut und wichtig ist. Aber das bedeutet …
1 year, 7 months ago
The Microservices Problem No One Warned Us About (And How You Can Avoid It) (bobkonf2025)
Tired of firefighting when a downstream service throws a curveball? We were too, so we figured out a way to build microservices that expect the unexp…
1 year, 7 months ago
Property-Based Testing: The Past, The Present, and The Future (bobkonf2025)
This year marks the 25th anniversary of QuickCheck, the canonical property-based testing library that has found its way into virtually every programm…
1 year, 7 months ago
Recursive Definitions in Lean (bobkonf2025)
The logic underlying the Lean programming language and theorem prover does not know recursive functions, yet Lean users can define functions recursiv…
1 year, 7 months ago
OOP is dead, long live Object Orientation! (bobkonf2025)
I’m a functional programmer at heart, and believe that the declarative semantics of functional programming are vastly superior to the kind of OOP we’…
1 year, 7 months ago
Functional data structures in Swift (bobkonf2025)
One of the intriguing features of Swift is its distinction between value types and reference types. Conceptually, value types are always copied in as…
1 year, 7 months ago
Things We Never Told Anyone About Functional Programming (bobkonf2025)
FP—what is it good for? The “P” is for “Programming”, the writing of programs. Judging from the papers and most books on functional programming, FP e…
1 year, 7 months ago
Against the (formal) method? (bobkonf2025)
Formal methods are very often touted as a necessary evolution of software development to cope with increasing complexity, risks, and challenges. This…
1 year, 7 months ago
A Language Server for your DSL for Fun and Profit (bobkonf2025)
Domain-specific languages (DSL) are well-studied tools for solving problems specific to a domain. Especially in the Haskell Community, DSLs are quite…
1 year, 7 months ago