iiinova — where your digital self keeps evolving

Reposted by marc o)))

Active Group GmbH @active-group.de · 23/06/2026

Inmitten der laufenden Debatte zu #AgenticEngineering haben auch wir bei der Active Group uns mit der Thematik auseinandergesetzt. Die Ergebnisse unserer Debatte hat @sperbsen.bsky.social in einem Blogpost zusammengefasst, den Sie hier lesen können: funktionale-programmierung.de/2026/06/23/a...

Zwei Personen in 60er-Jahre-Kleidung stehen links und rechts neben einem alten Rechner

033

Reposted by marc o)))

Active Group GmbH @active-group.de · 23/06/2026

We've heard a lot about #AgenticEngineering these past few months, whether we wanted to or not. @sperbsen.bsky.social post on our company blog summarises the results of our discussions at Active Group: funktionale-programmierung.de/en/2026/06/2...

funktionale-programmierung.de

Funktionale Programmierung - Active Group and "Agentic Engineering"

143

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 10/06/2026

Video of Franz Thoma's #BOBkonf2026 talk "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook" is now up for you to rewatch! bobkonf.de/2026/thoma.h... #BOBkonf

bobkonf.de

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.

033

marc o))) @defmarco.bsky.social · 10/06/2026

My friend Martin Günther and I are doing our hands-on lab “Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues” at #dddeu today. Come and join the experiment if you haven’t already registered! 2026.dddeurope.com/program/coll...

2026.dddeurope.com

Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues - DDD Europe 2026

000

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 02/06/2026

Thanks to CCC generously hosting, the videos for recorded talks from #BOBkonf2026 are going up! We're kicking this off today with Stefan Kaufmann's keynote "'Digital Sovereignty' – Searching for Meaning in a Magical Concept". Find the video, slides, etc here: bobkonf.de/2026/stk.html

bobkonf.de

BOB - Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

054

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 05/06/2026

Ariadne Engelbrecht's #BOBkonf2026 talk "Accessibility by Design: Practical A11y for Everyday Software Engineering" is now available online! bobkonf.de/2026/engelbr...

bobkonf.de

BOB - Accessibility by Design: Practical A11y for Everyday Software Engineering

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

044

Reposted by marc o)))

Active Group GmbH @active-group.de · 30/03/2026

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

conferences.isaqb.org

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

023

Reposted by marc o)))

Timothy Snyder @timothysnyder.bsky.social · 15/03/2026

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.

520269358469

Reposted by marc o)))

Existential Comics @existentialcomics.com · 14/03/2026

Possible solution to the Strait of Hormuz?

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.

9894122348

Reposted by marc o)))

xvw @xvw.lol · 14/03/2026

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

074

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

043

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

034

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

032

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

marc o))) @defmarco.bsky.social · 13/03/2026

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

bobkonf.de

BOB - Functional Programming in TypeScript

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

061

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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.

022

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

054

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/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:

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

032

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

0114

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

022

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/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".

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

022

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/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".

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

0115

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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"

1168

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

022

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 13/03/2026

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

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

012

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 06/03/2026

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

043

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 10/03/2026

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

197

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 10/03/2026

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

022

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 11/03/2026

Tutorial track A at #BOBkonf2026 continues after a tea break with Michael Koppmann's "Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)", where he demonstrates how we can model business workflows and constraints with types. Find out more: bobkonf.de/2026/koppman...

033

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 11/03/2026

Tutorial track B at #BOBkonf2026 continues with an accessibility tutorial (in German): Irmgard Rogalla and Alex Ackermann present "Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme". Find out more: bobkonf.de/2026/rogalla...

022

Reposted by marc o)))

Manuel Chakravarty @tacticalgrace.justtesting.org · 12/03/2026

Sitting in the ICE to Berlin for @bobkonf.bsky.social 🚅

011

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 12/03/2026

The final tutorial on track A at #BOBkonf2026 is @kosmikus.bsky.social 's "Haskell Tutorial", an introduction to Haskell. Find out more: bobkonf.de/2026/loeh.html

085

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 12/03/2026

And the final tutorial on track B for #BOBkonf2026: Holger Tiemeyer's "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus"! Find out more: bobkonf.de/2026/tiemeye...

001

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 09/03/2026

For the first tutorial after lunch at #BOBkonf2026, @beathagenlocher.com presents "Functional Programming in TypeScript" on track A. Read more here: bobkonf.de/2026/hagenlo...

054

marc o))) @defmarco.bsky.social · 04/11/2025

I have just pushed a translation of my 2018 article on transducers on our @activegroupgmbh.bsky.social company blog. In it, I dissect the how and why of Clojures transducers. Would love to hear your feedback! 🤩 funktionale-programmierung.de/en/2018/03/2... #clojure #functionalprogramming #lisp

funktionale-programmierung.de

Funktionale Programmierung - Transducer: Composition, Abstraction, Performance

073

Reposted by marc o)))

Active Group GmbH @active-group.de · 16/10/2025

Kollege @defmarco.bsky.social hat's schon perfekt zusammengefasst: der Blogartikel lohnt sich (und ist mittlerweile auch in englischer Sprache verfügbar, nämlich hier: funktionale-programmierung.de/en/2025/10/1... )

001

marc o))) @defmarco.bsky.social · 21/10/2025

Tickets for @bobkonf.bsky.social are on sale now! If you're interested in functional programming or anything that should be more mainstream, this is the place to be! @activegroupgmbh.bsky.social would love to welcome you there! bobkonf.de/2026/registr...

bobkonf.de

120

Reposted by marc o)))

Johannes @kenran.bsky.social · 17/10/2025

I still like Bluesky, but posting was never really my thing. Recently I've been giving the Fediverse a shot and it feels much more cozy! I'll keep trying it out, just posting random stuff (editor things and #crossstitch mostly atm). Updated my bio and happy to find familiar avatars over there!

021

Reposted by marc o)))

BOB Konferenz @bobkonf.de · 17/10/2025

You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!

097

Reposted by marc o)))

Haskell Interlude @haskellinterlude.bsky.social · 17/10/2025

We sat down with Stefan Wehr, professor at the Offenburg University of Applied Sciences, who has extensive experience with Haskell both in academia and industrial application. Enjoy the episode! haskell.foundation/podcast/71/

haskell.foundation

Stefan Wehr

Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler ...

063

marc o))) @defmarco.bsky.social · 13/10/2025

Der Kollege Schlegel hat ein paar kluge Gedanken zum Thema "Testbarkeit von puren Funktionen" und das Verhältnis von "testbar" und "formalisierbar" aufgeschrieben. Kurz und lesenswert auf unserem @activegroupgmbh.bsky.social Firmenblog funktionale-programmierung.de/2025/10/13/t...

funktionale-programmierung.de

Funktionale Programmierung - Zur Testbarkeit von puren Funktionen

000