OCaml seems neat

Das iSAQB Software Architecture Forum 2026 iSAQB Software Architecture Forum | 16.-17. Juni 2026 in München – Unterhaching | Die neue iSAQB®-Community-Konferenz für DACH

Am 16.-17. Juni veranstaltet der iSAQB® das Software Architecture Forum in München-Unterhaching.
Unser Chef Dr. Michael Sperber ist ebenfalls vertreten mit Vorträgen und wird auf dem Abschlusspanel des Forums dabeisein.
Very Early Bird läuft noch bis Donnerstag!
conferences.isaqb.org/software-arc...

Enzi (Möbel) – Wikipedia

"Enzi" ist ein Eigenname für das Sitzmöbel und hat entsprechend keine Übersetzung 😇

de.wikipedia.org/wiki/Enzi_(M...

If we made the green energy transition this war would be unthinkable and these authoritarians wouldn’t be in power — not in the US, not in Iran, not in Saudi Arabia, not in Russia. Hydrocarbons are killing our freedom and just plain killing us.

Eine Cartoon-Zeichnung zeigt eine Straßenszene mit einem Zebrastreifen, auf dem Zahlen als Figuren mit Augen und Armen gehen. Links steht die Zahl 6 und sagt in einer Sprechblase „AFTER YOU…“ zu der vor ihr laufenden Zahl 3,1415, die den Beginn der Kreiszahl Pi darstellt und sich nach hinten umdreht. Die 3,1415 führt eine sehr lange Schlange weiterer Ziffern an, die sich wie eine endlose Reihe über den Zebrastreifen erstreckt. Unter der Szene steht der Text „A DECISION SHARON CAME TO REGRET“, was andeutet, dass Sharon (die 6) ihre Höflichkeit bereut, weil sie nun hinter der unendlich langen Zahl Pi warten muss.

🤭 💐 π-day

Straight of Hormuz, with Buddha imposed, text: The realization that the lack of oil isn't causing your suffering, but the desire for oil itself, on your path to enlightenment.

Possible solution to the Strait of Hormuz?

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

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"

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".

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".

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".

I had the pleasure of filling in for my colleague @beathagenlocher.com at @bobkonf.bsky.social today and did a tutorial on "Functional Programming in TypeScript". Slides and link to code can be found on the BOB homepage. bobkonf.de/2026/hagenlo...

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".

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.

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:

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:

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.

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

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.

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

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

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".

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".

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

Marco Schneider teaches the tutorial "FP in TypeScript" 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".

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"!

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.

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

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

Tutorial track B at #BOBkonf2026 opens with "Functional 3D graphics for the browser in scheme" by Théo Tyburn, which will teach participants to write advanced 3d graphics pipelines for the browser using the sacr3d library for guile scheme.

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

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

Find out more here: bobkonf.de/2026/morel.h...

One new talk coming in: Philip Kant is going to present "Zero Knowledge Proof? That Sounds Useless!", a talk that introduces Zero Knowledge Proofs for programmers who haven’t studied cryptography, at #BOBkonf2026.

bobkonf.de/2026/kant.html