iiinova — where your digital self keeps evolving

Reposted by Mike Sperber

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

012

Reposted by Mike Sperber

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

Nächste Woche ist @sperbsen bei den Scaladays -- vorbeischauen lohnt sich!

012

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 07/10/2026

Heute in einer Woche ist es soweit und @sperbsen hält beim Software-Architecture-Summit eine Keynote zum Thema "Was ist eigentlich aus Objekt-Orientiertem Design geworden?"

011

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 02/10/2026

For the new Haskell Interlude, we sat down with Edward Kmett. Ed is a legend in the Haskell community. We talk about design principles for Haskell libraries, category theory, cache-oblivious algorithms and his current work involving Haskell, C++, and FPGAs. haskell.foundation/podcast/87/

haskell.foundation

Edward Kmett

For the new Haskell Interlude, we sat down with Edward Kmett. Ed is the Founder and Chief Scientist of Positron AI. More importantly, he's a legend in the Haskell community for authoring many, many po...

1154

Reposted by Mike Sperber

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

The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November. Find more information, check bobkonf.de/2027/cfc.html #BOBkonf

bobkonf.de

065

Mike Sperber @sperbsen.bsky.social · 02/10/2026

WTF, since the upgrade to iOS 27, the Camera app crashes on every picture. (Freezes for a few seconds, then goes back to the beginning.) Anyone know how to fix?

220

Mike Sperber @sperbsen.bsky.social · 02/10/2026

Ab 26.10. machen wir eine Online-iSABQ-AL-Schulung “Funktionale Softwarearchitektur” (FUNAR). Ich nenne sie “Architektur-Vermeidungs-Schulung”, weil die schwerfälligen Elemente anderer Ansätze wegfallen und wir uns ganz um die Domäne kümmern können. www.active-group.de/de/schulung/...

010

Reposted by Mike Sperber

Torsten „Teggy“ Grust @teggy.org · 01/10/2026

At U Tübingen, we need 5s to introduce students to programming fundamentals.

2144

Reposted by Mike Sperber

Software Architecture Gathering @sagconference.bsky.social · 01/10/2026

𝗦𝗼 𝗺𝗮𝗻𝘆 𝘁𝗼𝗽𝗶𝗰𝘀, 𝘀𝗼 𝗺𝗮𝗻𝘆 𝘃𝗮𝗹𝘂𝗮𝗯𝗹𝗲 𝘁𝗮𝗸𝗲𝗮𝘄𝗮𝘆𝘀! 🤩 From #SoftwareArchitecture to the integration of #AI: one of our #SAGconf attendees highlights the broad range of topics & valuable takeaways shared by our speakers. 🫶 Want to experience it yourself? Join us at #SAG2026 in Berlin! 👉 sag.isaqb.org

022

Reposted by Mike Sperber

Open Security Conference @opensecurityconf.bsky.social · 01/10/2026

The Open Security Conference is getting closer an closer! 🤩 📆 5-8 November 2026 📍 SeminarZentrum Rückersbach (Germany, close to Frankfurt am Main) ℹ️ opensecurityconference.org 1/2

opensecurityconference.org

Home

Welcome to the Open Security Conference (osco), the people-centred international gathering for everyone interested in cybersecurity. Join us 5-8 November 2026 in Rückersbach, Germany.

143

Reposted by Mike Sperber

iSAQB® - International Software Architecture Qualification Board @isaqb.bsky.social · 30/09/2026

𝗧𝗵𝗲 𝗶𝗦𝗔𝗤𝗕 𝗚𝗲𝗻𝗲𝗿𝗮𝗹 𝗔𝘀𝘀𝗲𝗺𝗯𝗹𝘆 𝟮𝟬𝟮𝟲 𝗵𝗮𝘀 𝗰𝗼𝗺𝗲 𝘁𝗼 𝗮 𝗰𝗹𝗼𝘀𝗲! 🤝 Thank you to all our members for two days of open exchange and for contributing your time and expertise throughout the year to advance #SoftwareArchitecture education and #certification worldwide. #iSAQB #GeneralAssembly

021

Reposted by Mike Sperber

Grace, Shahbanu Empress of the Known Universe 🐝 @shahbanu.kawaii.social · 26/09/2026

therefore a computer must never make a fashion decision

0133

Reposted by Mike Sperber

Bijan Moini @bijanmoini.de · 26/09/2026

Ich werde nie verstehen, wie Menschen auf Goethe, Weihnachten und die Nationalmannschaft (als sie noch weiß war …) stolz sein können, nicht aber darauf, dass dieses Land seit 2015/16 so vielen Menschen Schutz geboten und insbesondere vielen Kindern ein Leben mit Perspektiven geschenkt hat.

371058234

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 25/09/2026

I will talk about the embedded Accelerate array language in Haskell, in two weeks at MuniHac: justtesting.org/a/3mwdfeghhx...

justtesting.org

Accelerate your numeric code in Haskell at MuniHac 2026

An embedded array language in Haskell for multicore CPU and GPU systems

0143

Reposted by Mike Sperber

TNG Technology Consulting GmbH @tngtech.com · 23/09/2026

Don't miss our yearly Haskell gathering from October 9th - 11th at TNG's headquarters. Feel free to register here for #Munihac 👉 munihac.de/2026.html

053

Reposted by Mike Sperber

Markus Harrer @markusharrer.de · 22/09/2026

Claude Opus 5.5 completed a 680,000-line code migration in under a day. It converted the files from ASCII to UTF-8 using the iconv command on Bash.

183

Reposted by Mike Sperber

knoxxi @linksrheiner.de · 21/09/2026

Herzlichen Glückwunsch @afelia.bsky.social zum Verdienstorden der Bundesrepublik Deutschland Höchstverdiente Auszeichnung!

Marina Weisband,
Münster/Nordrhein-Westfalen Nicht nur zuzuschauen, sondern aktiv mitzugestalten, das war für Marina Weisband schon als Studentin eine Selbstverständlichkeit. Als Geschäftsführerin der Piratenpartei wurde sie das Gesicht einer neuen politischen Generation. Dabei widmete sie sich vor allem digital- und bildungspolitischen Themen. Diesen ist sie stets treu geblieben: So hat Marina Weisband 2014 das Projekt "aula - ausdiskutieren und live abstimmen" geschaffen - eine digitale Plattform für junge Menschen, mit der sie Angelegenheiten, die ihre Schulen oder Vereine betreffen, selbst gestalten können. Seit 2022 ist Marina Weisband zudem als ehrenamtliche Beiratin in der Stiftung Bildung aktiv. In Vortragen, zahlreichen Publikationen und online klärt sie unermüdlich über Faschismus, Rassismus sowie Antisemitismus auf und tritt mit beispielhafter
Entschlossenheit für eine demokratische Gesellschaft ein.

601712349

Reposted by Mike Sperber

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

0128

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 15/09/2026

We're joined by Michael Hanus, a professor at CAU and creator of Curry, a functional-logic language that resembles Haskell. We talked about what functional logic programming is, how it improves over plain FP, and the challenges of semantics and implementation. haskell.foundation/podcast/86/

haskell.foundation

Michael Hanus

In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic programming, the combination of logic and functional pr...

0122

Reposted by Mike Sperber

Software Architecture Summit @softwarearchsummit.bsky.social · 14/09/2026

OOD ist aus der Praxis verschwunden – aber was ist geblieben? @sperbsen.bsky.social fragt in seiner Keynote, was davon geblieben ist – und welche Prinzipien heute noch tragen. 🔗 software-architecture-summit.de/mod…

021

Mike Sperber @sperbsen.bsky.social · 11/09/2026

Wir haben über ein Jahr zu viert an der Vorbereitung des Trainings gearbeitet. Jetzt ist es endlich so weit, und wir freuen uns riesig, daß es endlich losgeht und daß formale Methoden (insbesondere formale Spezifikationen) jüngst endlich etwas Aufmerksamkeit bekommen haben.

032

Reposted by Mike Sperber

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

Reposted by Mike Sperber

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

#BOBkonf registration is now open! Come and get your massively reduced pig-in-a-poke ticket to #BOBkonf2027: bobkonf.de/2027/registr...

bobkonf.de

032

Mike Sperber @sperbsen.bsky.social · 10/09/2026

This IMHO is the greatest thing since sliced bread: Now that Apple has discontinued the AFP protocol of old Time Capsules, James Chang figured out that the TC firmware is based on NetBSD, hacked it to provide SMB, and did a UI frontend to make it super-easy to install. github.com/jamesyc/Time...

github.com

GitHub - jamesyc/TimeCapsuleSMB: Hacking the Apple AirPort Time Capsule to run modern Samba

Hacking the Apple AirPort Time Capsule to run modern Samba - jamesyc/TimeCapsuleSMB

262

Mike Sperber @sperbsen.bsky.social · 08/09/2026

I'll be at the @isaqb.bsky.social Software Architecture Gathering and talk about the most important topic in programming (and architecture): abstraction.

Promo picture saying “Software Architecture Gathering, November 16-19, 2026, Berlin”, and then
“Official Speaker: Mike Sperber”

121

Reposted by Mike Sperber

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

Reposted by Mike Sperber

Type Theory Forall @ttforall.bsky.social · 05/09/2026

We also dive into Racket, programming language design, and Shriram’s decades of experience thinking about how we teach people to reason about programs. A fascinating conversation! ▶️ twp.ai/4hvacX 3/3

twp.ai

youtu.be

0205

Reposted by Mike Sperber

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

The #BOBkonf2027 Call for Contributions is live! We're accepting submissions until 2 November 2026. More information regarding the call can be found here: bobkonf.de/2027/cfc.html

bobkonf.de

087

Reposted by Mike Sperber

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

Reposted by Mike Sperber

boarders.bsky.social @boarders.bsky.social · 29/08/2026

The concept of ‘language levels’ from racket is, to me, one of the great unsung ideas in computing. Imagine photoshop with extensible affordances gated to your current skill level, or a coding harness, or R studio, or a browser, or a terminal. To me it would be the welcome anti-philosophy to RTFM

5307

Reposted by Mike Sperber

Junrui Liu @junrui-liu.bsky.social · 29/08/2026

Watching this and nodding along to so many things (as I'm procrastinating on prepping for my next lecture on design recipes in Racket)

082

Mike Sperber @sperbsen.bsky.social · 29/08/2026

It's the day of @funarch.bsky.social ! I'll give my talk on Local-First Distributed Configuration in about 2 hours here, and you can watch it remotely! www.youtube.com/watch?v=c0pw...

youtube.com

[ICFP 2026] IP139 Kelley - FUNARCH (Aug 29th)

YouTube video by ACM SIGPLAN

020

Reposted by Mike Sperber

Ashley @ashleysays.bsky.social · 27/08/2026

Chefs kiss

12555321679

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 27/08/2026

Keen on some Haskell in October? I’ll be at MuniHac (9-11 October), giving a keynote on 9 October about the Accelerate EDSL for numeric computing: munihac.de/2026.html#Ma...

0134

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 26/08/2026

In today’s episode, we’re joined by Brent Yorgey, Associate Professor of CS at Hendrix College and the creator of the Diagrams vector graphics library and Swarm, a 2D programming and resource gathering game. We talk about teaching, DSLs, and competitive coding. haskell.foundation/podcast/85/

haskell.foundation

Brent Yorgey

In today's episode, we're joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix College and the creator, among other things, of the Diagrams vector graphics library and Swarm, a 2...

096

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 23/08/2026

New blog post: earlier this year, I presented at @bobkonf.de, arguing that “SwiftUI is functional”, I positioned SwiftUI’s approach in the context of the OOish MVC and the FPish MVU architectures. Here are the abstract and the video of the talk: justtesting.org/a/3mtpblfgfj...

justtesting.org

SwiftUI is functional

My talk from BOBkonf 2026

1105

Reposted by Mike Sperber

P(aul) Frazee @pfrazee.com · 22/08/2026

Every object oriented language introduction starts with showing the clean hierarchy of dog and cat inheriting from animal, while every real codebase is like

14874141

Reposted by Mike Sperber

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

Reposted by Mike Sperber

Phillips OBrien @phillipspobrien.bsky.social · 27/07/2026

Latest free piece is out. Praising a racist, conspiracist, anti-democratic, Trump-worshipper because she takes one position you like is a dangerous move and is to be regretted. The struggle is basically the same in the US and Ukraine. open.substack.com/pub/phillips...

open.substack.com

It Is All One

Because a Racist, Conspiracist, Anti-Democrat, Oppression-Supporting, Trump-Worshipper Takes One Good Position, Does Not Make Her Worthy Of Praise

1224077

Reposted by Mike Sperber

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

Mike Sperber @sperbsen.bsky.social · 04/08/2026

It was excellent working with Lars on the curriculum. Our training is ready and about to go accreditation, and we're offering the first batch of trainings in the fall/winter. We'll have lots to say about true software verification and FM architecture. www.active-group.de/en/training/...

active-group.de

Active Group

010