Active Group GmbH
@activegroupgmbh.bsky.social
happiness through functional programming
Website: https://active-group.de
Fediverse: @[email protected]
Unsere Konferenz: @bobkonf.bsky.social
Website: https://active-group.de
Fediverse: @[email protected]
Unsere Konferenz: @bobkonf.bsky.social
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/en/2025/10/1...
Funktionale Programmierung -
On the Testability of Pure Functions
funktionale-programmierung.de
October 16, 2025 at 12:15 PM
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/en/2025/10/1...
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... )
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 -
Zur Testbarkeit von puren Funktionen
funktionale-programmierung.de
October 16, 2025 at 10:40 AM
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... )
Unsere Hauskonferenz, die BOB, steht auch 2026 wieder an und wir freuen uns über Einreichungen!
We're back! Mark your calendars: BOBkonf returns on 13 March 2026 …
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
October 2, 2025 at 11:53 AM
Unsere Hauskonferenz, die BOB, steht auch 2026 wieder an und wir freuen uns über Einreichungen!
Reposted by Active Group GmbH
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 ↓
Neugierig geworden? Mehr Informationen gibt's hier ↓
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...
www.heise-devsec.de
June 20, 2025 at 11:43 AM
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 ↓
Neugierig geworden? Mehr Informationen gibt's hier ↓
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/software-arc...
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...
conferences.isaqb.org
September 25, 2025 at 7:46 AM
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/software-arc...
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.
- 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.
September 18, 2025 at 7:50 AM
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.
- 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.
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...
Vielleicht sieht man sich ja: www.meetup.com/tu-lambda/ev...
August 26, 2025 at 9:09 AM
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...
Vielleicht sieht man sich ja: www.meetup.com/tu-lambda/ev...
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...
www.qs-tag.de/abstracts/te...
Abstracts
www.qs-tag.de
August 18, 2025 at 10:19 AM
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...
www.qs-tag.de/abstracts/te...
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/core-java-jv...
#ag-unterwegs
Bidirectional Data Transformations: Write Once, Transform Both Ways - JAX
jax.de
August 7, 2025 at 9:45 AM
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/core-java-jv...
#ag-unterwegs
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/lfcs-se...
LFCS Seminar Tuesday 5th August: Michael Sperber | LFCS | School of Informatics
Michael Sperber, Active Group GmbH https://www.deinprogramm.de/sperber/
informatics.ed.ac.uk
August 1, 2025 at 7:27 AM
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/lfcs-se...
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
Die Veranstaltung an sich läuft 12.-14.09., mehr Details gibt's hier: munihac.de/2025.html
July 29, 2025 at 9:58 AM
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
Die Veranstaltung an sich läuft 12.-14.09., mehr Details gibt's hier: munihac.de/2025.html
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...
www.active-group.de/news/2025-07...
July 15, 2025 at 12:21 PM
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...
www.active-group.de/news/2025-07...
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...
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
www.active-group.de
July 9, 2025 at 8:01 AM
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...
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...
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/details/plss...
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...
2025.ecoop.org
July 3, 2025 at 1:24 PM
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/details/plss...
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...
June 26, 2025 at 7:39 AM
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...
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 ↓
Neugierig geworden? Mehr Informationen gibt's hier ↓
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...
www.heise-devsec.de
June 20, 2025 at 11:43 AM
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 ↓
Neugierig geworden? Mehr Informationen gibt's hier ↓
Am 10. Juli 2025 findet das Java Forum Stuttgart statt. Active-Group-Softwarearchitekt Markus Schlegel ist mit dem Vortrag "Decoupled by Default" als Speaker dabei. AG-C*O @sperbsen.bsky.social hält den Vortrag "Java gestern, heute und morgen" -- gemeinsam mit Falk Sippach.
June 18, 2025 at 8:26 AM
Am 10. Juli 2025 findet das Java Forum Stuttgart statt. Active-Group-Softwarearchitekt Markus Schlegel ist mit dem Vortrag "Decoupled by Default" als Speaker dabei. AG-C*O @sperbsen.bsky.social hält den Vortrag "Java gestern, heute und morgen" -- gemeinsam mit Falk Sippach.
Vom 30.6.-2.7.2025 hält @sperbsen.bsky.social in Hamburg eine #iSAQB-akkreditierte Schulung zum Thema "Domänenspezifische Sprachen" (www.active-group.de/schulung/DSL/) Durchgeführt wird diese zusammen mit unseren Kollegen bei oose: www.oose.de/seminar/doma...
Noch sind Plätze frei!
Noch sind Plätze frei!
June 4, 2025 at 1:04 PM
Vom 30.6.-2.7.2025 hält @sperbsen.bsky.social in Hamburg eine #iSAQB-akkreditierte Schulung zum Thema "Domänenspezifische Sprachen" (www.active-group.de/schulung/DSL/) Durchgeführt wird diese zusammen mit unseren Kollegen bei oose: www.oose.de/seminar/doma...
Noch sind Plätze frei!
Noch sind Plätze frei!
Auf unserem Blog ist jetzt die Retrospektive für die diesjährige @bobkonf.bsky.social nachzulesen: funktionale-programmierung.de/2025/05/23/b...
May 23, 2025 at 11:06 AM
Auf unserem Blog ist jetzt die Retrospektive für die diesjährige @bobkonf.bsky.social nachzulesen: funktionale-programmierung.de/2025/05/23/b...
In der aktuellen Ausgabe von JavaSpektrum ist wieder ein Artikel von unserem C*O @sperbsen.bsky.social zu lesen: "Java 21: Immer Ärger mit dem Stack" beschäftigt sich mit den in Java 21 hinzugekommenen Virtual Threads. Reinlesen lohnt sich!
www.sigs.de/artikel/java...
www.sigs.de/artikel/java...
Java 21: Immer Ärger mit dem Stack
Java 21: Virtual Threads und ihre Notwendigkeit. Erfahre mehr über Continuations und ihre Implementierung in der JVM.
www.sigs.de
May 22, 2025 at 11:00 AM
In der aktuellen Ausgabe von JavaSpektrum ist wieder ein Artikel von unserem C*O @sperbsen.bsky.social zu lesen: "Java 21: Immer Ärger mit dem Stack" beschäftigt sich mit den in Java 21 hinzugekommenen Virtual Threads. Reinlesen lohnt sich!
www.sigs.de/artikel/java...
www.sigs.de/artikel/java...
Kollege Markus Schlegel hält gleich bei der JAX einen Vortrag zum Thema "Decoupled By Default – funktionale Softwarearchitektur". Vorbeischauen lohnt sich!
jax.de/software-arc...
jax.de/software-arc...
Decoupled by Default – Funktionale Softwarearchitektur - JAX
jax.de
May 7, 2025 at 12:50 PM
Kollege Markus Schlegel hält gleich bei der JAX einen Vortrag zum Thema "Decoupled By Default – funktionale Softwarearchitektur". Vorbeischauen lohnt sich!
jax.de/software-arc...
jax.de/software-arc...
Active-Group-C*O @sperbsen.bsky.social und Kollege Markus Schlegel sprechen morgen bei der MedConf in München zum Thema "Kugelsichere Safety und Security mit formalen Methoden": www.medconf.de/1-konferenzt...
1. Konferenztag MedConf 2025 – MedConf
www.medconf.de
May 5, 2025 at 12:48 PM
Active-Group-C*O @sperbsen.bsky.social und Kollege Markus Schlegel sprechen morgen bei der MedConf in München zum Thema "Kugelsichere Safety und Security mit formalen Methoden": www.medconf.de/1-konferenzt...
Unser C*O @sperbsen.bsky.social und @kosmikus.bsky.social haben gemeinsam die neuste Folge des Podcasts der Haskell Foundation (Haskell Interlude) moderiert: ein Gespräch mit Farhad Mehta, Professor für Informatik (OST Rapperswil) & @zurihac.bsky.social-Organisator.
haskell.foundation/podcast/63/
haskell.foundation/podcast/63/
March 18, 2025 at 12:59 PM
Unser C*O @sperbsen.bsky.social und @kosmikus.bsky.social haben gemeinsam die neuste Folge des Podcasts der Haskell Foundation (Haskell Interlude) moderiert: ein Gespräch mit Farhad Mehta, Professor für Informatik (OST Rapperswil) & @zurihac.bsky.social-Organisator.
haskell.foundation/podcast/63/
haskell.foundation/podcast/63/
Reposted by Active Group GmbH
fqgrep release 1.1.0 now speeds up searching FASTQ files!
Thank-you to both Markus Schlegel from @activegroupgmbh.bsky.social for updating seq_io and Nicholas D. Crosbie of grepq for some competition and inspiration.
See more: github.com/fulcrumgenom...
Thank-you to both Markus Schlegel from @activegroupgmbh.bsky.social for updating seq_io and Nicholas D. Crosbie of grepq for some competition and inspiration.
See more: github.com/fulcrumgenom...
GitHub - fulcrumgenomics/fqgrep: Grep for FASTQ files
Grep for FASTQ files. Contribute to fulcrumgenomics/fqgrep development by creating an account on GitHub.
github.com
March 14, 2025 at 5:45 PM
fqgrep release 1.1.0 now speeds up searching FASTQ files!
Thank-you to both Markus Schlegel from @activegroupgmbh.bsky.social for updating seq_io and Nicholas D. Crosbie of grepq for some competition and inspiration.
See more: github.com/fulcrumgenom...
Thank-you to both Markus Schlegel from @activegroupgmbh.bsky.social for updating seq_io and Nicholas D. Crosbie of grepq for some competition and inspiration.
See more: github.com/fulcrumgenom...
Kollege David Frese hat vor einer Woche einen neuen Artikel in unserem Firmenblog veröffentlicht: "Spring-Boot mit Scala" nimmt sich der Frage an, ob und inwieweit man funktional in Scala programmieren und trotzdem Spring-Boot einsetzen kann.
funktionale-programmierung.de/2025/02/06/s...
funktionale-programmierung.de/2025/02/06/s...
Funktionale Programmierung -
Spring-Boot mit Scala
funktionale-programmierung.de
February 14, 2025 at 12:22 PM
Kollege David Frese hat vor einer Woche einen neuen Artikel in unserem Firmenblog veröffentlicht: "Spring-Boot mit Scala" nimmt sich der Frage an, ob und inwieweit man funktional in Scala programmieren und trotzdem Spring-Boot einsetzen kann.
funktionale-programmierung.de/2025/02/06/s...
funktionale-programmierung.de/2025/02/06/s...