BOB Konferenz's Avatar

BOB Konferenz

@bobkonf.bsky.social

Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.

97 Followers  |  7 Following  |  171 Posts  |  Joined: 16.10.2023  |  1.8237

Latest posts by bobkonf.bsky.social on Bluesky

Auf unserem Blog ist jetzt die Retrospektive fΓΌr die diesjΓ€hrige @bobkonf.bsky.social nachzulesen: funktionale-programmierung.de/2025/05/23/b...

23.05.2025 11:06 β€” πŸ‘ 3    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

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

19.05.2025 13:25 β€” πŸ‘ 1    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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: bobkonf.de/2025/oerdoeg...

19.05.2025 07:08 β€” πŸ‘ 2    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

Here's Joachim Breitner's #BOBkonf2025 talk "Recursive Definitions in Lean" for your to (re)watch: bobkonf.de/2025/breitne...

16.05.2025 07:40 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

15.05.2025 07:04 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

14.05.2025 13:41 β€” πŸ‘ 1    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

14.05.2025 07:02 β€” πŸ‘ 3    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

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

13.05.2025 13:03 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Missed @abailly.bsky.social 's "Against the (formal) method?" at #BOBkonf2025? Here's your chance to catch up! bobkonf.de/2025/bailly....

12.05.2025 13:07 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1

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

12.05.2025 07:12 β€” πŸ‘ 2    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

The good folks at @tarides.com have written a wunderful review of our conference -- check it out!

12.05.2025 06:52 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

09.05.2025 13:07 β€” πŸ‘ 4    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

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: bobkonf.de/2025/liu.html

09.05.2025 06:55 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

bobkonf.de/2025/sypytko...

08.05.2025 13:26 β€” πŸ‘ 3    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0

Missed @xvw.lol's #BOB2025 talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here: bobkonf.de/2025/woestyn...

08.05.2025 07:05 β€” πŸ‘ 11    πŸ” 8    πŸ’¬ 0    πŸ“Œ 1

The video of @kosmikus.bsky.social's #BOBkon2025 talk "Abstraction and program design, or the power of parametricity" is now up!
bobkonf.de/2025/loeh.html

07.05.2025 13:03 β€” πŸ‘ 8    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

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

07.05.2025 07:03 β€” πŸ‘ 4    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

Missed the #BOBkonf2025 keynote on Local-first Software from Annette Bieniusa? Here's your chance to catch up:
bobkonf.de/2025/bienius...

06.05.2025 07:03 β€” πŸ‘ 4    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

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.de):
media.ccc.de/c/bobkonf2025

05.05.2025 12:20 β€” πŸ‘ 8    πŸ” 8    πŸ’¬ 0    πŸ“Œ 0
Preview
Leaning In! 2025 - YouTube Videos for the talks presented at Leaning In! 2025 in Berlin, Germany. https://leaning.in/2025/

At long last, videos from the 2025 edition of Leaning In! are now available! Just go here:

www.youtube.com/playlist?lis...

23.04.2025 04:22 β€” πŸ‘ 5    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

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

17.03.2025 08:54 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Two people presenting at a conference. Several audience members are visible from behind.

Two people presenting at a conference. Several audience members are visible from behind.

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

14.03.2025 17:40 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1
Ivett Γ–rdΓΆg presenting her talk at BOB conference 2025

Ivett Γ–rdΓΆg presenting her talk at BOB conference 2025

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

14.03.2025 17:23 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1
A person gives a presentation at a conference. Most of the image is taken up by a the big presentation on the wall.

A person gives a presentation at a conference. Most of the image is taken up by a the big presentation on the wall.

Joshua TΓΆpfer teaches his tutorial "Die andere Art des Teamworks: Whole Team Ensemble Programming" at #BOBkonf2025

14.03.2025 17:16 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
A person with a beard teaching a tutorial. Several audience members are visible from behind.

A person with a beard teaching a tutorial. Several audience members are visible from behind.

Roland Meyer (not pictured) and Thomas Haas giving their tutorial "Programming with weak consistency, and Dartagnan" at #BOBkonf2025

14.03.2025 17:07 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
A person presents at a conference. They are wearing a t-shirt with a lambda symbol on it.

A person presents at a conference. They are wearing a t-shirt with a lambda symbol on it.

Joachim Breitner talks about "Lean" at #BOBkonf2025

14.03.2025 16:25 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
A person presents at a conference. Some audience members are visible in the left corner of the image.

A person presents at a conference. Some audience members are visible in the left corner of the image.

Alperen Keles presents his talk "Property-Based Testing: The Past, The Present, and The Future" at #BOBkonf2025

14.03.2025 16:10 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
A person gives a talk at a conference.

A person gives a talk at a conference.

Franz Thoma presenting his talk "OOP is dead, long live Object Orientation!" at #BOBkonf2025

14.03.2025 15:44 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 1    πŸ“Œ 1
A person giving a talk at a conference.

A person giving a talk at a conference.

@tacticalgrace.justtesting.org giving his talk "Functional data structures in Swift" at #BOBkonf2025

14.03.2025 15:34 β€” πŸ‘ 7    πŸ” 3    πŸ’¬ 1    πŸ“Œ 1
A seated person presenting at a conference.

A seated person presenting at a conference.

Benjamin Wolf teaches participants how to create beautiful documentation in "SchΓΆne Dokumentation – nur mit Text" at #BOBkonf2025

14.03.2025 15:19 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

@bobkonf is following 7 prominent accounts