Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Active Group GmbH

@activegroupgmbh@discuss.systems
  • Open on discuss.systems

happiness through functional programming

Wir organisieren die BOB-Konferenz: @bobkonf@discuss.systems

67 Followers
8 Following
34 Posts
Joined December 15, 2022
Website:
https://active-group.de/
searchable:
Bluesky:
@active-group.de

Posts

Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Aug 06, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

Till Rauch's blog post "Laziness in Haskell" is now available-- with an English version for those who'd prefer that: https://funktionale-programmierung.de/en/2026/08/06/haskell-lazy.html

discuss.systems

Active Group GmbH: "Kollege Till Rauch hat auf unserem Firmenblog ein…" - discuss.systems

1
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Aug 06, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

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:
https://funktionale-programmierung.de/en/2026/08/06/haskell-lazy.html

funktionale-programmierung.de

Funktionale Programmierung - Laziness in Haskell

This article describes advantages and disadvantages of laziness in Haskell. They are illustrated in code examples.

1
0
2
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Aug 04, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @isaqb@mastodon.social

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.
https://www.active-group.de/de/schulung/FM/

mastodon.social

iSAQB: "𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃…" - Mastodon

2
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jul 31, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

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.

3
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jul 29, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Am Mittwoch, dem 14.10.2026, gibt Active-Group-C*O @sperbsen@discuss.systems beim Software-Architecture-Summit eine Keynote zum Thema "Was ist eigentlich aus Objekt-Orientiertem Design geworden?". Vorbeischauen lohnt sich!

Weitere Informationen gibt es hier: https://software-architecture-summit.de/modeling-und-design/was-ist-eigentlich-aus-objekt-orientiertem-design-geworden/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

2
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jul 08, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @bobkonf@discuss.systems

Was für den Kalender: am 26. Februar 2027 geht unsere Hauskonferenz, die BOB, in die nächste Runde!

Weitere Infos unter https://bobkonf.de oder hier im Fediversum: @bobkonf@discuss.systems

discuss.systems

Bob Konferenz: "Save the date: #BOBkonf2027 takes place Friday, 2…" - discuss.systems

2
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jul 02, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

Heute in einer Woche, am 9. Juli, sind @sperbsen@discuss.systems und Kollege Till Rauch beim vom @jugstuttgart@ijug.social organisierten Java-Forum Stuttgart -- vorbeischauen lohnt sich!

Links zu den Vorträgen finden Sie in den zitierten Beiträgen (zwei Ebenen–bitte klicken :) )

discuss.systems

Active Group GmbH: "Auch Kollege Till Rauch wird beim vom @jugstuttga…" - discuss.systems

2
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 23, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

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

discuss.systems

Active Group GmbH: "Inmitten der laufenden Debatte zu #AgenticEnginee…" - discuss.systems

12
0
9
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 23, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Inmitten der laufenden Debatte zu #AgenticEngineering haben auch wir bei der Active Group uns mit der Thematik auseinandergesetzt.

Die Ergebnisse unserer Debatte hat @sperbsen@discuss.systems in einem Blogpost zusammengefasst, den Sie hier lesen können:
https://funktionale-programmierung.de/2026/06/23/agai.html

discuss.systems

discuss.systems

11
0
8
2
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 19, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Unser Chef @sperbsen@discuss.systems hat auf dem Tag der Digitalen Freiheit des @ctt@chaos.social über den Weg der @activegroupgmbh@discuss.systems zu einer nachhaltigen Kapitalgesellschaft berichtet. Dank @c3voc@chaos.social kann man die Aufnahme anschauen!
https://media.ccc.de/v/tdf5-166-die-nachhaltige-kapitalgesellschaft-versuchsanordnung-und-bestandsaufnahme

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

3
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 12, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

Auch Kollege Till Rauch wird beim vom @jugstuttgart@ijug.social organisierten 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".

Weitere Infos: https://www.java-forum-stuttgart.de/vortraege/funktionale-programmierung-in-java/

discuss.systems

Active Group GmbH: "Am 09.07.2026 ist Active-Group-Chef @sperbsen mit…" - discuss.systems

1
0
1
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 08, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

Nächste Woche ist iSAQB® Software Architecture Forum, und @sperbsen@discuss.systems ist dabei! Noch gibt es Tickets:

discuss.systems

Active Group GmbH: "Am 16.-17. Juni veranstaltet der iSAQB® zum erste…" - discuss.systems

1
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 03, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Nächste Woche findet vom 8.-12. Juni in Antwerpen die Softwaremodellierungs- & Design-Konferenz @dddeu@m.aardling.social statt. Kollege @anarres@chaos.social hält dort am 10. Juni um 14:20 gemeinsam mit Martin Günther den Workshop "Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues".

Neugierig geworden? Mehr Infos gibt's hier:
https://2026.dddeurope.com/program/collaborative-data-modeling-discovering-domain-types-through-linguistic-cues/

1
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 02, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

An diesem Wochenende ist Active-Group-Chef @sperbsen@discuss.systems beim @zurihac@fosstodon.org in Rapperswil (Schweiz) und gibt dort gleich zwei Workshops:

- für Einsteiger "Write Your Own Haskell Program!"
- für Fortgeschrittene "Teaching Programming (Haskell) to Your Loved Ones"

Die Teilnahme am ZuriHac ist kostenlos. Mitmachen lohnt sich ganz sicher!

Weitere Informationen gibt es hier: https://zfoh.ch/zurihac2026/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

3
0
5
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · May 19, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Kollege Markus Schlegel hat Ende letzter Woche in unserem Firmenblog funktionale-programmierung.de einen neuen Artikel veröffentlicht: im dritten Teil seiner Artikelserie zum Programmieren mit Z3 dreht sich alles um Liquid Haskell.

Den Artikel finden Sie hier: https://funktionale-programmierung.de/2026/05/15/z3-theorembeweiser-3.html

Und wem Teil 1 und 2 noch fehlen: sie sind von Teil 3 aus verlinkt.

1
0
3
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · May 18, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @activegroupgmbh@discuss.systems

Übermorgen ist es soweit: @sperbsen@discuss.systems und Markus Schlegel sind bei der heise-Konferenz für Medizintechnik. Schaut vorbei!

discuss.systems

Active Group GmbH: "Am 20. Mai um 17:15 halten @sperbsen und Kollege…" - discuss.systems

1
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · May 13, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Chef @sperbsen@discuss.systems spricht am Freitag, 15. Mai, bei den Tagen der digitalen Freiheit #TDF5 über den Weg der Active Group zur mitarbeiter:innengeführten Firma. Vortragstitel: "Die nachhaltige Kapitalgesellschaft – Versuchsanordnung und Bestandsaufnahme".

Weitere Infos gibt es hier: https://cfp.cttue.de/tdf5/speaker/HDPQNW/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

3
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Apr 30, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Am 09.07.2026 ist Active-Group-Chef @sperbsen@discuss.systems mit seinem Vortrag "Data-Oriented Programming—Was ist das und wie geht das?" beim Java-Forum Stuttgart, organisiert durch @jugstuttgart@ijug.social

Mehr Informationen:
https://www.active-group.de/news/2026-04-30-java-forum-stuttgart/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

2
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Apr 23, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

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@discuss.systems eine Einführung in die funktionale Programmierung mit Racket.

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

5
0
3
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Mar 30, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Am 16.-17. Juni veranstaltet der iSAQB® zum ersten Mal das Software Architecture Forum in München-Unterhaching.
Unser Chef Dr. Michael Sperber ist ebenfalls vertreten mit Vorträgen zu Funktionaler Softwararchitektur und Domänenspezifischen Sprachen. Dr. Sperber ist außerdem Mitglied im Strategy Council des iSAQB und wird im Abschlusspanel des Forums dabeisein.
Very Early Bird läuft noch bis Donnerstag!
https://conferences.isaqb.org/software-architecture-forum/

2
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Mar 27, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Am 20. Mai um 17:15 halten @sperbsen@discuss.systems und Kollege Markus Schlegel bei der MedConf, der heise-Konferenz für Medizintechnik 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. Teilnehmen lohnt sich!

Weitere Informationen finden Sie unter https://medconf.de/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

1
0
1
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Mar 27, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

For more than a decade, we've been running our blog on functional programming, with over 150 posts to date. Until recently, we wrote exclusively for a German-speaking audience.
We now also publish many of our posts in English, and have also translated key posts of the pasts. Enjoy!
https://funktionale-programmierung.de/en/

funktionale-programmierung.de

Funktionale Programmierung - Übersicht

Funktionale Programmierung in der industriellen Praxis - das Firmenblog der Active Group GmbH

4
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Mar 10, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

RE: @richardseidl@mastodon.social

Active-Group-Chef @sperbsen@discuss.systems und Kollege Markus Schlegel sind in der heutigen Folge des Podcasts Software Testing dabei. Reingucken oder -hören lohnt sich! https://www.richard-seidl.com/de/blog/qualitaet-formale-methoden

mastodon.social

Richard Seidl: ""x = x + 1" – das funktioniert beim Programmieren…" - Mastodon

2
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Feb 26, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Ab dem 23.3. unterrichtet unser Chef Dr. Michael Sperber (@sperbsen@discuss.systems) die iSAQB-Advanced-Level-Schulung “Funktionale Softwarearchitektur” (FUNAR), bei unseren Freunden bei oose in Hamburg.
Die FUNAR entwickeln wir seit 2019 weiter. Sie bietet ein intensives Training in Softwarearchitektur mit Daten, Funktionen, Abstraktionen und ein bißchen Mathematik - Architektur, die jedes System besser macht. Vorkenntnisse sind nicht erforderlich, eine Einführung in die funktionale Programmierung machen wir am ersten Tag.
https://www.active-group.de/schulung/FUNAR/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

1
0
2
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Feb 02, 2026
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

It's been a while - but next week, we'll once again have a booth at @oop@sueden.social.
Come see us to chat about software architecture beyond the boring mainstream, how to have a great digital transformation project, and our diverse offering of accredited @isaqb@mastodon.social trainings.
(Or just come to see a booth that looks ... a little different.)
Also check out our CEO Michael Sperber's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
https://www.oop-konferenz.de/de/programm/konferenzprogramm/do-43

sueden.social

OOP Konferenz (@oop@sueden.social) - sueden.social

1
0
2
1
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Oct 16, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

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:
https://funktionale-programmierung.de/en/2025/10/16/testability-of-pure-functions.html

funktionale-programmierung.de

Funktionale Programmierung - On the Testability of Pure Functions

3
0
3
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Oct 16, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Der Blogartikel zur Testbarkeit von puren Funktionen von Kollege Markus Schlegel ist nun auch in englischer Sprache verfügbar:
https://funktionale-programmierung.de/en/2025/10/16/testability-of-pure-functions.html

funktionale-programmierung.de

Funktionale Programmierung - On the Testability of Pure Functions

2
0
2
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Oct 12, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Unser Chef Michael Sperber berichtet aus der Erfahrung der vergangenen sechs Jahre mit unserer Schulung zu funktionaler Softwarearchitektur im Rahmen des Advanced Level des @isaqb@mastodon.social !
@funarch@discuss.systems

mastodon.social

iSAQB (@isaqb@mastodon.social) - Mastodon

1
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Oct 12, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Unser Kollege Markus Schlegel trägt aus unserer Architekturarbeit zu funktionalen UI-Toolkits vor.
@funarch@discuss.systems

1
0
1
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Oct 02, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Unsere Hauskonferenz, die BOB, steht auch 2026 wieder an und wir freuen uns über Einreichungen!

@bobkonf@discuss.systems

discuss.systems

Bob Konferenz: "We're back! Mark your calendars: BOBkonf returns …" - discuss.systems

4
0
4
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Sep 25, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Am 25. November 2025 ist AG-Chef @sperbsen@discuss.systems mit seinem Vortrag "Great Software Architecture With Glorious Data Models" beim vom iSAQB und @heiseonline@social.heise.de veranstalteten Software Architecture Gathering in Berlin:

https://conferences.isaqb.org/software-architecture-gathering/session/great-software-architecture-with-glorious-data-models/

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

2
0
3
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Sep 18, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Wir haben noch Plätze in iSAQB-Schulungen im Advanced Level frei!

- 6.10.-9.10.: Funktionale Softwarearchitektur" (Modul FUNAR)
https://www.active-group.de/schulung/FUNAR

- 3.11.-5.11.: Domänenspezifische Sprachen (Modul DSL)
https://www.active-group.de/schulung/dsl

Beide geben jeweils 30 Credit Points für den iSAQB Advanced Level und
können natürlich unabhängig voneinander besucht werden.

Für weitere Informationen stehen wir gern zur Verfügung.

Wer erstmal Grundlagen braucht: vom 1.-4.12. veranstalten wir eine Schulung fürs iSAQB Foundation Level in Tübingen. https://www.active-group.de/schulung/foundation

0
0
0
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Aug 26, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

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: https://www.meetup.com/tu-lambda/events/310597541/

19. Tü.λ – Recursion Schemes: Ana, Cata, Para, What?, Wed, Aug 27, 2025, 6:45 PM   | Meetup
Meetup

19. Tü.λ – Recursion Schemes: Ana, Cata, Para, What?, Wed, Aug 27, 2025, 6:45 PM | Meetup

The next meetup will take place on August 27, 2025 at the [itdesign office](https://itdesign.de/), Friedrichstraße 12. 18:45 Doors open & Welcome **Recursion Schemes: Ana

3
0
3
0
Open post
activegroupgmbh
Active Group GmbH @activegroupgmbh@discuss.systems · Jun 20, 2025
Active Group GmbH
@activegroupgmbh@discuss.systems

happiness through functional programming Wir organisieren die BOB-Konferenz: @bobkonf

discuss.systems

Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen@discuss.systems 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 ↓
https://www.heise-devsec.de/veranstaltung-83802-0-kugelsichere-software-mit-formalen-methoden.html

discuss.systems

Mike Sperber (@sperbsen@discuss.systems) - discuss.systems

2
0
2
0

Remote instance

discuss.systems
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 16:28:55 UTC