Time to taste the #bobkonf2026 coffee 😍

So cool this #bobkonf2026 😍
Thanks for the organisation, speakers and attendees!
I'll try to ve there next year!

Manuel Chakravarty presents his talk "SwiftUI is functional" at BOBkonf 2026.

The final talk on track B of #BOBkonf2026 is @tacticalgrace.justtesting.org 's "SwiftUI is functional":

NicolasRinaudo presents "Encoding Effects as Capabilities" at Bobkonf 2026.

NicolasRinaudo closes out #BOBkonf2026 's talks block A with "Encoding Effects as Capabilities"

Holger Tiemeyer teaches his tutorial "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus" at BOBkonf 2026.

Holger Tiemeyer closes out tutorial track B at #BOBkonf2026 with "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus".

Andres Löh teaches his "Haskell tutorial" at BOBkonf 2026.

The last tutorial on block A at #BOBkonf2026 is Andres Löh's "Haskell tutorial".

Alexander Thiemann presents his talk "Using Domain Driven Design to Refactor Stripe Billing" at BOBkonf 2026.

Alexander Thiemann starts off the last talks track B block at #BOBkonf2026 with "Using Domain Driven Design to Refactor Stripe Billing".

Hannes Mehnert gives his talk "Run your own digital infrastructure using MirageOS unikernels" at Bobkonf 2026.

The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert and "Run your own digital infrastructure using MirageOS unikernels"

"Interactive (zero knowledge) proof works, because you trust yourself. Hopefully."

#bobkonf2026

Martin Grotzke presents "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" at BOBkonf 2026.

Martin Grotzke gives his talk "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" on talk track B at #BOBkonf2026

Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at BOBkonf 2026. The slide on the wall is entitled "Z and the divisibility claim".

Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at #BOBkonf2026.

Alex Ackermann and Dr. Irmhild Rogalla present their accessibility tutorial "Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme" at Bobkonf 2026.

Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:

Michael Koppmann teaches his tutorial "Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)" at Bobkonf 2026.

Tutorial track A at #BOBkonf2026 continues after a brief coffee break with "Illegal States Are My Favorite Security Vulnerabilities"—here's Michael Koppmann teaching:

Fritz Henglein presents his talk "Programming Efficient Joints" at Bobkonf 2026.

On talks track B at #BOBkonf2026, Fritz Henglein presents "Programming Efficient Joints" to a freshly caffeinated audience.

Markus Himmel presents his talk "Proofs for programs, programs for proofs" at Bobkonf 2026. A slide titled "Matching on empty types" is visible on the wall.

We're caffeinated and ready to continue! #BOBkonf2026 talks track A brings us Markus Himmel with "Proofs for programs, programs for proofs".

Markus Schlegel presenting "Git meets Linked Data" at #BOBkonf2026.

Markus Schlegel gives his talk "Git meets Linked Data" at #BOBkonf2026.

Nicolas Osborne presenting his talk "Generating tests from formal specification" at Bobkonf 2026.

Next on talks track A: Nicolas Osborne presents "Generating tests from formal specification" at #BOBkonf2026.

Carine Morel and Sudha Parimala teaching their tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml" at BOBkonf 2026.

Tutorial track B at #BOBkonf2026 continues with
@lyrm.bsky.social and Sudha Parimala's tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml".

Marco Schneider teaches a tutorial on functional programming in typescript at Bobkonf 2026.

Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.

Till Rauch and Falk Sippach give their (German-language) talk "FP für vielbeschäftigte Javaentwickler"

First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".

Lutz Hühnken speaks about "four fascinating programming languages" at BOBkonf 2026.

We've had lunch and are now energised for more talks and tutorials at #BOBkonf2026! Talks track A continues with
@huehnken.de 's talk "Four Fascinating Programming Languages You've Probably Never Heard Of".

Franz Thoma speaks on "Atomic Design & Storybook" at BOBkonf 2026.

On #BOBkonf2026 talks track B, Franz Thoma gives his talk on "Atomic Design & Storybook".

Paul-Elliot gives his talk on "Undoable Monad" at BOBkonf 2026. The audience is partially visible.

Paul-Elliot gives his talk on "Undoable Monad" on talk track A of #BOBkonf2026.

Théo Tyburn teaches "Functional 3D graphics for the browser in scheme" at BOBkonf 2026.

Théo Tyburn opens tutorial track B at #BOBkonf2026 with "Functional 3D graphics for the browser in scheme".

Johannes Breitner teaches a tutorial at BOBkonf 2026.

Tutorial track A at #BOBkonf2026 starts with Joachim Breitner's "Lean" tutorial.

Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering" at BOBkonf 2026. A slide with information about her is projected onto the wall.

On #BOBkonf2026 talks track B, Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering".

Xavier van de Woestyne presents "A crash course on the OCaml module language" at BOBkonf 2026. A slide in the background reads "Why this presentation & warning"

Talk track A at #BOBkonf2026 starts off with @xvw.lol 's "A crash course on the OCaml module language"!

Stefan Kaufmann speaks on "'Digital Sovereignty' – Searching for Meaning in a Magical Concept" at BOBkonf 2026. A slide projection shows the heading "II. Logomachy and Magic Concepts"

#BOBkonf2026 is off to a great start with Stefan Kaufmann's keynote "'Digital Sovereignty' – Searching for Meaning in a Magical Concept".

"Emperor's new clothes industrial complex" ;-)

#bobkonf2026

@stk’s Keynote at #BoBKonf2026 on “Digital Sovereignty” is good for many reasons, dissecting a lot of the myths and problems around this term. But I had to chuckle at the “markdown for everything “ slide being followed by `</digressive rant>` – i.e. HTML. :-)