And finally, here's Nicole Rauch and Martin Günther's #BOBkonf2025 talk "Die Starre überwinden – Mit DDD zu geschmeidigem Code": https://bobkonf.de/2025/rauch-guenther.html

Start your week with Ivett Ördög's #BOBkonf2025 talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" here: https://bobkonf.de/2025/oerdoeg.html

Here's @nomeata 's #BOBkonf2025 talk "Recursive Definitions in Lean" for your to (re)watch: https://bobkonf.de/2025/breitner.html

#BOBkonf2025 talk "Property-Based Testing: The Past, The Present, and The Future" by @akeles is up on our website!
https://bobkonf.de/2025/keles.html

Franz Thoma's #BOBkonf2025 talk "OOP is dead, long live Object Orientation!" is now up on our website:
https://bobkonf.de/2025/thoma.html

If you missed @tacticalgrace.justtesting.org 's #BOBkonf2025 talk "Functional data structures in Swift", here's your chance to catch up: https://bobkonf.de/2025/chakravarty.html

(Re)watch the recording of @sperbsen 's #BOBkonf2025 talk "Things We Never Told Anyone About Functional Programming" here:
https://bobkonf.de/2025/sperber.html

Missed Arnaud Bailly's talk "Against the (formal) method?" at #BOBkonf2025? Here's your chance to catch up! https://bobkonf.de/2025/bailly.html

Good morning! Start your week with Hannes Siebenhandl's #BOBkonf2025 talk "A Language Server for your DSL for Fun and Profit":
https://bobkonf.de/2025/siebenhandl.html

Start your weekend with @gallais 's #BOBkonf2025 talk "Correct by Construction: Concurrent Programs in Idris 2":
https://bobkonf.de/2025/allais.html

The recording of Ziyang Liu's #BOBkonf2025 talk "Developing DSLs: A Look at Three Practical Strategies with Real-World Examples" is up!

Video and slides here: https://bobkonf.de/2025/liu.html

Rewatch @horusiath 's #BOBkonf2025 talk "Service-less communication: is it possible?" here:

https://bobkonf.de/2025/sypytkowski.html

Revisit Tim Digel's #BOBkonf2025 talk "Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers" (in German) here:
https://bobkonf.de/2025/digel.html

Missed the #BOBkonf2025 keynote on Local-first Software from Annette Bieniusa? Here's your chance to catch up:

https://bobkonf.de/2025/bieniusa.html

The videos for the talks at #BOBkonf2025 are up! We'll be posting links to the individual talk pages (many also containing the corresponding slides) over the next few days, but if you don't want to wait that long, here's the whole collection (kindly hosted by CCC):
https://media.ccc.de/c/bobkonf2025

Thanks for making #BOBkonf2025 a success, everyone! We had a great time and look forward to organising the next event.

BobKonf always leaves me with a head full of ideas. Most of which will never come to fruition, but still... .. this year reignited the feeling that there are very real industrial applications for "correctness by construction" (note: here I mean "Industrial" as the opposite of "academic").

Michael Sperber, who spoke in place of my unwell colleague @lutzhuehnken . set me wondering how to introduce such concepts to Engineers with no functional skills.

@bobkonf #bobkonf2025

What makes me most proud of @bobkonf and the excellent crew at @activegroupgmbh is this:
BOB is the nerdiest of nerd conferences, crammed with deep, technical content and expert speakers with many years of experience.
The #1 feedback I'm hearing is how friendly and accessible the conference is. Many kudos to everybody at #BOBkonf2025 - it was an absolute treat and honor.

Nicole Rauch and Martin Günther present their talk "Die Starre überwinden - Mit DDD zu geschmeidigem Code" at #BOBkonf2025

Ivett Ördög gives her talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" at #BOBkonf2025