BOB Konferenz's Avatar

BOB Konferenz

@bobkonf.bsky.social

The next BOB conference takes place in Berlin on 13 March 2026! Register now: https://bobkonf.de/2026/registration Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.

119 Followers  |  11 Following  |  210 Posts  |  Joined: 16.10.2023
Posts Following

Posts by BOB Konferenz (@bobkonf.bsky.social)

For the final talk on track B at #BOBkonf2026, @tacticalgrace.justtesting.org will present "SwiftUI is functional", focussing on the underlying concepts for a great overview.

bobkonf.de/2026/chakrav...

04.03.2026 08:59 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The final talk on #BOBkonf2026 track A is Nicolas Rinaudo's "Encoding Effects as Capabilities" that discusses various features of Capabilities as implemented in Scala.

Find out more: bobkonf.de/2026/rinaudo...

03.03.2026 08:04 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Logo for TNG Technology Consulting with the slogan "We solve hard IT problems"

Logo for TNG Technology Consulting with the slogan "We solve hard IT problems"

TNG Technology Consulting once again supports as as Bronze sponsor - many thanks!
www.tngtech.com

26.02.2026 08:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
entwickler.de Software Know-how Unbegrenzt. Wegweisend. Kompakt an Deiner Seite. Der neue Lernstandard fรผr Software-Professionals: Die Fullstack Experience

We're happy to announce @entwicklerde.bsky.social as another returning sponsor, helping us out at the Silver level for #BOBkonf2026!

18.02.2026 13:32 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...

13.02.2026 12:42 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Well-Typed LLD company logo, reading
"Well-Typed
The Haskell Consultants
Established 2008"

Well-Typed LLD company logo, reading "Well-Typed The Haskell Consultants Established 2008"

We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com

11.02.2026 14:26 โ€” ๐Ÿ‘ 4    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing".

Find out more here: bobkonf.de/2026/alex-th...

10.02.2026 09:10 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

For the final block of talks at #BOBkonf2026, Hannes Mehnert starts track A off with "Run your own digital infrastructure using MirageOS unikernels" where he introduces MirageOS's capabilities and explains how this project moved from a research experiment to production.

bobkonf.de/2026/mehnert...

02.02.2026 09:29 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUIโ€™s software architecture, with a focus on underlying concepts and not on a particular implementation.

Find out more:
bobkonf.de/2026/chakrav...

30.01.2026 09:50 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

The second #BOBkonf2026 talk of this block in track A is Olaf Klinke's "Refinement types for the digital information age", where we examine what happens if we use property languages to design a data type that makes illegal states unrepresentable.

Find out more: bobkonf.de/2026/klinke....

29.01.2026 09:00 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Logo for the iSAQBยฎ International Software Architecture Qualification Board

Logo for the iSAQBยฎ International Software Architecture Qualification Board

We're happy to announce that International Software Architecture Qualification Board @isaqb.bsky.social is sponsoring #BOBkonf2026 (bobkonf.de) at the silver level!

28.01.2026 12:01 โ€” ๐Ÿ‘ 5    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles.

bobkonf.de/2026/henglei...

27.01.2026 13:15 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

After a short break for tea, #BOBkonf2026 track A continues with "Proofs for programs, programs for proofs" -- Markus Himmel's talk on using Lean for both.

Find out more:
bobkonf.de/2026/himmel....

26.01.2026 09:06 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

On track B, #BOBkonf2026 continues with Markus Schlegel's experience report "Git meets Linked Data โ€“ A Tale of an Unusual Architecture".

Find out more: bobkonf.de/2026/schlege...

23.01.2026 09:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Track A at #BOBkonf2026 continues with "Generating tests from formal specification: the good, the bad and the messy" by Nicolas Osborne, a talk on the how to, pros, and cons of generating model-based testing from formal specifications in the OCaml ecosystem.

For more, see
bobkonf.de/2026/osborne...

22.01.2026 09:33 โ€” ๐Ÿ‘ 5    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Leaning In! 2026 A workshop for the Lean community - Thursday, March 12, 2026

Interrupting our regular #BOBkonf2026 updates to direct your attention to our partner conference Leaning In! that takes place the day BEFORE BOB, 12 March 2026, also in Berlin -- why not combine both if you're travelling anyway?

Find more information here: leaning.in/2026/

21.01.2026 09:19 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
BOB - Funktionale Programmierung fรผr vielbeschรคftigte Javaentwickler BOB Konferenz, Best of Breed Konferenz fรผr Software-Entwickler und Entscheider in der Softwareentwicklung.

Track B at #BOBkonf2026 continues after lunch with Falk Sippach & Till Rauch's talk "Funktionale Programmierung fรผr vielbeschรคftigte Javaentwickler". They show us which functional principles work in Java 8 and how to integrate them for better work- and control flow.

More:
bobkonf.de/2026/sippach...

20.01.2026 09:14 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

After lunch, #BOBkonf2026 track A continues with @huehnken.de's talk "Four Fascinating Programming Languages You've Probably Never Heard Of". No spoilers in the teaser, but if you want to find out more:

bobkonf.de/2026/huehnke...

19.01.2026 09:11 โ€” ๐Ÿ‘ 6    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Final call for #BOBkonf2026 Early Bird tickets -- sales end at 23:59 UTC+1 tonight!

For more information, check bobkonf.de/2026/registr...

16.01.2026 19:06 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
BOB - Bridging the Gap Between UX Design and Development: Atomic Design & Storybook BOB Konferenz, Best of Breed Konferenz fรผr Software-Entwickler und Entscheider in der Softwareentwicklung.

As the second talk on #BOBkonf2026 track B, we'll have Franz Thoma with "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook", introducing a structured approach for communicating reusable UI components between designers and developers.

More: bobkonf.de/2026/thoma.h...

16.01.2026 09:16 โ€” ๐Ÿ‘ 7    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!

15.01.2026 14:48 โ€” ๐Ÿ‘ 5    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

As the second talk on #BOBkonf2026's track A, Paul-Elliot will present "Going back in time with the Undoable Monad" and talk about how monads are a way to embed a โ€œcomputingโ€ DSL in a programming language.

More detail: bobkonf.de/2026/paul-el...

15.01.2026 09:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

#BOBkonf2026 talks track B starts off with Ariadne Engelbrecht's "Accessibility by Design: Practical A11y for Everyday Software Engineering", a talk focussed on ways to make accessibility a natural part of our everyday engineering work.

Find out more here: bobkonf.de/2026/engelbr...

14.01.2026 09:00 โ€” ๐Ÿ‘ 4    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCamlโ€™s powerful module system as a core language feature.

For more information, see bobkonf.de/2026/woestyn...

13.01.2026 09:05 โ€” ๐Ÿ‘ 8    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Kicking off our intro to the #BOBkonf2026 programme with our keynote: Stefan Kaufmann's "'Digital Sovereignty' โ€“ Searching for Meaning in a Magical Concept" explores the ways the term has been used over the past decade. More detail:
bobkonf.de/2026/stk.html

12.01.2026 09:07 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

There's one week left to buy our discounted Early Bird Ticket! Find more information and get yours here: bobkonf.de/2026/registr...

09.01.2026 10:54 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

First week of 2026 is done! #BOBkonf2026 preparations recap so far: our Early Bird tickets are on sale, our program is up, and over the coming weeks, we'll make a series of posts introducing our program points. Same procedure as every year, friends.

Don't want to wait? All information is up here:

07.01.2026 08:01 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

The programme for #BOBkonf2026 is up!

bobkonf.de/2026/program...

15.12.2025 08:42 โ€” ๐Ÿ‘ 4    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Our heavily discounted pig-in-a-poke ticket is only available for another ~35 hoursโ€”sales end 23:59 UTC+1 on 11 Dec (tomorrow)! After that, Early Bird pricing applies.

Registration info: bobkonf.de/2026/registr...

10.12.2025 11:38 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Notifications are out for #BOBkonf2026. This is once again a *great* program - with a sad eye we look at the long list of great submissions we had to reject.
Program will be out on Dec 12. See you hopefully on March 13 in Berlin!

05.12.2025 17:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1