Sign in

Active Group GmbH

@active-group.de
55 followers 4 following 85 posts

happiness through functional programming Website: active-group.de Fediverse: @activegroupgmbh@discuss.systems Unsere Konferenz bei Bluesky: @bobkonf.de

PostsRepliesMedia
Active Group GmbH @active-group.de · 23/09/2026
FUNAR-Plätze frei! Wir halten vom 26. bis 29.10.2026 online eine @isaqb.bsky.social-zertifizierte Schulung zur funktionalen Softwarearchitektur (FUNAR) ab. Mehr Details finden Sie hier: lnkd.in/dSDqPGYm
000
Reposted by Active Group GmbH
BOB Konferenz @bobkonf.de · 21/09/2026
They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...
Portrait photo of Xavier Leroy
0127
Active Group GmbH @active-group.de · 11/09/2026
Unsere neue @isaqb.bsky.social-Schulung: „FM – Formale Methoden“ mit @sperbsen.bsky.social - wie korrekte Software durch mathematische Beweise sichergestellt werden kann. 5.10. - 7.10.2026, 9:00 - 17:00 Uhr oose.campus | Schomburgstraße 50 | 22767 Hamburg Anmeldung: www.oose.de/seminar/form...
011
Active Group GmbH @active-group.de · 08/09/2026
Unsere Hauskonferenz, die BOB, findet auch 2027 wieder statt: am 26. Februar in Berlin. Der Call for Contributions ist eröffnet und läuft bis zum 2. November, wir freuen uns über Beiträge!
000
Active Group GmbH @active-group.de · 07/09/2026
In ca. einem Monat ist @sperbsen.bsky.social beim Software-Architecture-Summit -- noch gibt es Tickets!
012
Active Group GmbH @active-group.de · 31/08/2026
Am 12.10.2026 ist Active-Group-CEO @sperbsen.bsky.social mit seinem Vortrag "Teaching Software Architecture using Scala" bei den Scaladays in Berlin. Interesse? Noch gibt es Tickets. Mehr Infos zum Vortrag: scaladays.org/session/teac...
scaladays.org
Teaching Software Architecture using Scala
At Active Group, we have taught more than 30 three-day trainings on Functional Software Architecture since 2019, mostly to audiences with little or no prior exposure to functional programming. For the...
011
Active Group GmbH @active-group.de · 19/08/2026
Am 17. November 2026 hält Active-Group-C*O @sperbsen.bsky.social beim iSAQB Software Architecture Gathering 2026 den Vortrag "To Abstract, or Not to Abstract, That is the Question". Weitere Infos: www.software-architecture-gathering.com/session/to-a...
software-architecture-gathering.com
To Abstract, or Not to Abstract, That Is the Question - Software Architecture Gathering 2026
In software design, abstraction is a two-edged sword: It can enable reuse, create powerful generalizations, yield flexible models, and enhance domain understanding. It can also result in incomprehensi...
011
Active Group GmbH @active-group.de · 12/08/2026
Am 12.11.2026 ist Active-Group-CEO @sperbsen.bsky.social mit seinem Vortrag "Testbarkeit als Architekturprinzip" beim Software-QS-Tag in Frankfurt am Main. Anhören lohnt sich! Weitere Infos unter www.qs-tag.de/abstracts/te...
qs-tag.de
Abstracts
031
Active Group GmbH @active-group.de · 06/08/2026
Till Rauch's blog post "Laziness in Haskell" is now available-- with an English version for those who'd prefer that: funktionale-programmierung.de/en/2026/08/0...
000
Active Group GmbH @active-group.de · 06/08/2026
Kollege Till Rauch hat auf unserem Firmenblog einen neuen Artikel veröffentlicht: "Laziness in Haskell" betrachtet, welche Vorteile die Laziness mit sich bringt, aber auch, welche Fallstricke durch sie entstehen. Interesse? Hier entlang: funktionale-programmierung.de/en/2026/08/0...
funktionale-programmierung.de
Funktionale Programmierung - Laziness in Haskell
This article describes advantages and disadvantages of laziness in Haskell. They are illustrated in code examples.
000
Active Group GmbH @active-group.de · 04/08/2026
Unser Training zum iSAQB-Curriculum ist fertig und steht vor der Akkreditierung. Erste Kurse gibt's ab 7.10. in Hamburg und ab 30.11. online. www.active-group.de/de/schulung/...
active-group.de
Active Group
011
Reposted by Active Group GmbH
iSAQB® - International Software Architecture Qualification Board @isaqb.bsky.social · 03/08/2026
𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 What if you could prevent software defects before they become expensive problems? @lars.mastodon.hupel.info.ap.brid.gy explains why #FormalMethods are more practical than many think. 👉️ t1p.de/3cr0d #iSAQB #CPSA
Formal Methods: Interview with Lars Hupel on Preventing Costly Software Defects
022
Active Group GmbH @active-group.de · 31/07/2026
Die einen oder anderen haben es vielleicht schon gemerkt: die Active Group hat ein neues Logo! Statt unserem alten @ctivegroup-Logo gibt's jetzt Wort- und Bildmarke in verschiedenen Farbkombinationen. Mehrere Monate haben unsere Kolleg:innen gemeinsam mit Designer Johannes Benedix daran gefeilt.
000
Active Group GmbH @active-group.de · 29/07/2026
Am Mittwoch, dem 14.10.2026, gibt Active-Group-C*O @sperbsen.bsky.social beim Software-Architecture-Summit eine Keynote zum Thema "Was ist eigentlich aus Objekt-Orientiertem Design geworden?". Vorbeischauen lohnt sich! Weitere Infos: software-architecture-summit.de/modeling-und...
software-architecture-summit.de
Was ist eigentlich aus Objekt-Orientiertem Design geworden? - Software Architecture Summit
011
Active Group GmbH @active-group.de · 08/07/2026
Was für den Kalender: am 26. Februar 2027 geht unsere Hauskonferenz, die BOB, in die nächste Runde! Weitere Infos unter bobkonf.de oder hier auf Bluesky: @bobkonf.bsky.social
bobkonf.de
022
Active Group GmbH @active-group.de · 02/07/2026
Heute in einer Woche, am 9. Juli, sind @sperbsen.bsky.social und Kollege Till Rauch beim vom @jugs.org organisierten Java-Forum Stuttgart -- vorbeischauen lohnt sich! Links zu den Vorträgen finden Sie in den zitierten Beiträgen (zwei Ebenen–bitte klicken :) )
011
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
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
Active Group GmbH @active-group.de · 19/06/2026
Unser Chef @sperbsen.bsky.social hat auf dem Tag der Digitalen Freiheit des Chaostreff Tübingen über den Weg der @activegroupgmbh.bsky.social zu einer nachhaltigen Kapitalgesellschaft berichtet. Dank dem VOC des CCC kann man die Aufnahme anschauen! media.ccc.de/v/tdf5-166-d...
media.ccc.de
Die nachhaltige Kapitalgesellschaft – Versuchsanordnung und Bestandsaufnahme
Die Tübinger Firma Active Group GmbH gibt es seit 1997 und wurde ursprünglich als Familienunternehmen gegründet. Die Gründer hatten, als ...
023
Active Group GmbH @active-group.de · 12/06/2026
Auch Kollege Till Rauch wird beim @jugs.org Java-Forum Stuttgart 2026 am 9. Juli dabei sein: gemeinsam mit Falk Sippach (embarc Software Consulting GmbH) hält er dort den Vortrag "Funktionale Programmierung in Java. Was wir von Haskell lernen können". www.java-forum-stuttgart.de/vortraege/fu...
java-forum-stuttgart.de
Funktionale Programmierung in Java - Java Forum Stuttgart
In vielen Java-Projekten wird funktionale Programmierung noch immer als exotisch oder unnötig betrachtet. Statt klarer Datenflüsse und unveränderlicher Zustände dominieren imperative Strukturen, Seite...
011
Active Group GmbH @active-group.de · 08/06/2026
Nächste Woche ist iSAQB® Software Architecture Forum, und @sperbsen.bsky.social ist dabei! Noch gibt es Tickets:
000
Active Group GmbH @active-group.de · 03/06/2026
Nächste Woche findet vom 8.-12. Juni die Softwaremodellierungs- & Design-Konferenz @dddeu.bsky.social statt und Kollege Marco Schneider hält gemeinsam mit Martin Günther den Workshop "Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues". 2026.dddeurope.com/program/coll...
2026.dddeurope.com
Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues - DDD Europe 2026
022
Active Group GmbH @active-group.de · 02/06/2026
Dies Wochenende ist AG-Chef @sperbsen.bsky.social mit gleich zwei Workshops beim @zurihac.bsky.social: - "Write Your Own Haskell Program!" (Einsteiger) - "Teaching Programming (Haskell) to Your Loved Ones" (Fortgeschrittene) Mitmachen lohnt sich! Weitere Infos: zfoh.ch/zurihac2026/
zfoh.ch
ZuriHac 2026
ZuriHac is a free annual Haskell event brought to you by «Zürich Friends of Haskell»
032
Active Group GmbH @active-group.de · 19/05/2026
Kollege Markus Schlegel hat Ende letzter Woche in unserem Firmenblog einen neuen Artikel veröffentlicht: im dritten Teil seiner Artikelserie zum Programmieren mit Z3 dreht sich alles um Liquid Haskell. Link: funktionale-programmierung.de/2026/05/15/z... Teil 1 und 2 sind von Teil 3 aus verlinkt.
funktionale-programmierung.de
Funktionale Programmierung - Verifikation von Algorithmen mit Z3 – Teil 3
033
Active Group GmbH @active-group.de · 18/05/2026
Übermorgen ist es soweit: @sperbsen.bsky.social und Markus Schlegel sind bei der heise-Konferenz für Medizintechnik. Schaut vorbei!
033
Active Group GmbH @active-group.de · 13/05/2026
Chef @sperbsen.bsky.social spricht am Freitag, 15. Mai, bei den Tagen der digitalen Freiheit #TDF5 in "Die nachhaltige Kapitalgesellschaft—Versuchsanordnung und Bestandsaufnahme" über den Weg der Active Group zur mitarbeiter:innengeführten Firma. Weiterlesen: cfp.cttue.de/tdf5/speaker...
cfp.cttue.de
Mike Sperber TDF5
Schedule, talks and talk submissions for TDF5
043
Active Group GmbH @active-group.de · 30/04/2026
Am 09.07.2026 ist Active-Group-Chef @sperbsen.bsky.social mit seinem Vortrag "Data-Oriented Programming—Was ist das und wie geht das?" beim Java-Forum Stuttgart, organisiert durch @jugs.org Mehr Informationen: www.active-group.de/news/2026-04...
active-group.de
Active Group
011
Active Group GmbH @active-group.de · 23/04/2026
Heute ist Girls' Day! Neun Schülerinnen aus Tübingen und Umgebung besuchen die Active Group, um den Alltag einer Softwareentwicklerin kennenzulernen. Wir ein spannendes Programm geplant; gerade gibt @sperbsen.bsky.social eine Einführung in die funktionale Programmierung mit Racket.
Michael Sperber unterrichtet im Rahmen des Girls' Day 2026 funktionale Programmierung mit Racket.
032
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
Active Group GmbH @active-group.de · 27/03/2026
Am 20. Mai um 17:15 halten @sperbsen.bsky.social und Kollege Markus Schlegel bei der MedConf in München einen Vortrag zum Thema "Formale Methoden am Praxisbeispiel". Sie werden die Methoden und Werkzeuge an einem einfachen Herzschrittmacher auf Basis des Bresenham-Algorithmus demonstrieren.
medconf.de
MedConf – Die führende Konferenz für Software & Geräteentwicklung in der Medizintechnik
Der wichtigste Branchentreff im DACH-Raum: Erfahren Sie alles über Normen, Richtlinien, KI, Risikomanagement und Qualitätssicherung in der Medizintechnik.
021
Active Group GmbH @active-group.de · 27/03/2026
For more than a decade, we've been running our blog on functional programming, with over 150 posts to date. Until recently, we wrote for a German-speaking audience. We now also publish many posts in English, and have also translated key posts of the pasts. Enjoy! funktionale-programmierung.de/en/
031
Active Group GmbH @active-group.de · 10/03/2026
Active-Group-Chef @sperbsen.bsky.social und Kollege Markus Schlegel sind in der heutigen Folge des Podcasts Software Testing dabei. Reingucken oder -hören lohnt sich! www.richard-seidl.com/de/blog/qual...
richard-seidl.com
Formale Methoden in der Softwarequalität - Richard Seidl
Entdecke, wie formale Methoden Fehler in Software verhindern und Qualität sichern. Erfahre, warum sie mehr als reine Theorie sind.
042
Active Group GmbH @active-group.de · 26/02/2026
Ab dem 23.3. unterrichtet unser Chef Dr. Michael Sperber (@sperbsen) die iSAQB-Advanced-Level-Schulung “Funktionale Softwarearchitektur” (FUNAR), bei unseren Freunden bei oose in Hamburg. www.active-group.de/schulung/FUN...
active-group.de
Active Group
101
Active Group GmbH @active-group.de · 02/02/2026
It's been a while - but next week, we'll once again have a booth at OOP. Come see us to chat - or just come to see a booth that looks ... a little different.) Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday! www.oop-konferenz.de/de/programm/...
A photo of a trade-show booth for Active Group with the word “Abstraktion” featured prominently, along with a CRT terminal and a dot-matrix printer.
021
Active Group GmbH @active-group.de · 16/10/2025
New article up on our blog on functional programming: Markus Schlegel's "On the Testability of Pure Functions" talks about testability, formalisability, and the relationship between these two qualities. Read it here: funktionale-programmierung.de/en/2025/10/1...
funktionale-programmierung.de
Funktionale Programmierung - On the Testability of Pure Functions
043
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
Active Group GmbH @active-group.de · 02/10/2025
Unsere Hauskonferenz, die BOB, steht auch 2026 wieder an und wir freuen uns über Einreichungen!
020
Reposted by Active Group GmbH
Active Group GmbH @active-group.de · 20/06/2025
Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen.bsky.social mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" dabei. Angesetzter Termin für den Vortrag ist der 1. Oktober um 15:35. Neugierig geworden? Mehr Informationen gibt's hier ↓
heise-devsec.de
heise devSec – die Konferenz für sichere Software- und Webentwicklung
Sichere Software beginnt vor der ersten Zeile Code ... Schwerpunkte im Herbst 2025 sind GenAI und Vibe Computing, Secure Software Development Lifecycle (SSDL), KI in der Softwareentwicklung, DevSecOps...
022
Active Group GmbH @active-group.de · 25/09/2025
Am 25. November 2025 ist AG-Chef @sperbsen.bsky.social mit seinem Vortrag "Great Software Architecture With Glorious Data Models" beim von @isaqb.bsky.social und @heise.de veranstalteten Software Architecture Gathering in Berlin: conferences.isaqb.org/software-arc...
conferences.isaqb.org
Great Software Architecture With Glorious Data Models - Software Architecture Gathering 2025
Domain models are crucial for good software architecture: Good models are expressive and elastic in the face of changes, software projects are full of poor models that make changes pure hell. This goe...
021
Active Group GmbH @active-group.de · 18/09/2025
Plätze in iSAQB-Schulungen im Advanced Level frei! - 6.10.-9.10.: Funktionale Softwarearchitektur" (Modul FUNAR) www.active-group.de/schulung/FUNAR - 3.11.-5.11.: Domänenspezifische Sprachen (Modul DSL) www.active-group.de/schulung/dsl Für weitere Informationen stehen wir gern zur Verfügung.
000
Active Group GmbH @active-group.de · 26/08/2025
Morgen, am Mittwoch dem 27. August, findet die 19. Tü.λ - Tübinger Functional Programming Night statt, Thema: Recursion Schemes: Ana, Cata, Para, What? Vielleicht sieht man sich ja: www.meetup.com/tu-lambda/ev...
021
Active Group GmbH @active-group.de · 18/08/2025
AGler Markus Schlegel und @sperbsen.bsky.social halten am 13. November 2025 auf dem QS-Tag in Frankfurt ihren Vortrag "Testen ist heute, morgen sind Formale Methoden": www.qs-tag.de/abstracts/te...
qs-tag.de
Abstracts
021
Active Group GmbH @active-group.de · 07/08/2025
Am 6. November 2025 ist AG-Kollege Marcus Crestani mit "Bidirektionale Datentransformationen – Schluss mit doppelter Logik!" bei der w-jax in München: jax.de/core-java-jv... #ag-unterwegs
jax.de
Bidirectional Data Transformations: Write Once, Transform Both Ways - JAX
000
Active Group GmbH @active-group.de · 01/08/2025
AG-Chef @sperbsen.bsky.social hält am kommenden Dienstag einen Vortrag am Laboratory for Foundations of Computer Science der Universität Edinburgh: informatics.ed.ac.uk/lfcs/lfcs-se...
informatics.ed.ac.uk
LFCS Seminar Tuesday 5th August: Michael Sperber | LFCS | School of Informatics
Michael Sperber, Active Group GmbH https://www.deinprogramm.de/sperber/
022
Active Group GmbH @active-group.de · 29/07/2025
Bei MuniHac 2025 ist @sperbsen.bsky.social am 14.09.2025 mit seiner Keynote "Six Years of FUNAR – Teaching Software Architecture and Haskell to the Uninitiated" vertreten. Die Veranstaltung an sich läuft 12.-14.09., mehr Details gibt's hier: munihac.de/2025.html
022
Active Group GmbH @active-group.de · 15/07/2025
Gestern war ein großer Tag für uns: Wir waren beim Notar, um die Gesellschaftsanteile der Active Group vollständig in Mitarbeiter:innen-Hand zu überführen. www.active-group.de/news/2025-07...
Foto von Mitarbeiter:innen der Active Group auf einer Brücke in Tübingen, unterwegs zum Notar.
041
Active Group GmbH @active-group.de · 09/07/2025
Wir freuen uns, unsere erste komplett selbst geplante und durchgeführte iSAQB®-Foundation-Schulung ankündigen zu können! Sie findet vom 1. bis 4. Dezember 2025 im schönen Tübingen statt und wird mit der Prüfung abgeschlossen. Weitere Informationen: www.active-group.de/schulung/Fou...
active-group.de
Active Group
021
Active Group GmbH @active-group.de · 03/07/2025
Morgen, am 4. Juli, ist @sperbsen.bsky.social mit seinem Vortrag "Do Programming Languages Fulfill Requirements? Should They?" beim PLSS Workshop on Programming Language Standardization and Specification 2025 in Bergen: 2025.ecoop.org/details/plss...
2025.ecoop.org
Do Programming Languages Fulfill Requirements? Should They? (PLSS 2025 - – Programming Language Standardization and Specification) - ECOOP 2025
Workshop on Programming Language Standardization and Specification The evolution of widely adopted programming languages is critical for ensuring their sustainability, interoperability, and adaptabili...
032
Active Group GmbH @active-group.de · 26/06/2025
Am kommenden Dienstag (01. Juli 2025) um 16:00 ist Kollege Marcus Crestani mit seinem Vortrag "The Root of All Evil: Shared Mutable State and How to Get Rid of It" bei der Developer Week in Nürnberg: www.developer-week.de/speaker/#/sp...
000
Active Group GmbH @active-group.de · 20/06/2025
Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen.bsky.social mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" dabei. Angesetzter Termin für den Vortrag ist der 1. Oktober um 15:35. Neugierig geworden? Mehr Informationen gibt's hier ↓
heise-devsec.de
heise devSec – die Konferenz für sichere Software- und Webentwicklung
Sichere Software beginnt vor der ersten Zeile Code ... Schwerpunkte im Herbst 2025 sind GenAI und Vibe Computing, Secure Software Development Lifecycle (SSDL), KI in der Softwareentwicklung, DevSecOps...
022