Mike Sperber's Avatar

Mike Sperber

@sperbsen.bsky.social

Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen

401 Followers  |  192 Following  |  104 Posts  |  Joined: 16.10.2023
Posts Following

Posts by Mike Sperber (@sperbsen.bsky.social)

Perlisisms - "Epigrams in Programming" by Alan J. Perlis

Here's a classic Perlisism:
โ€œIt goes against the grain of modern education to teach children to program. What fun is there in making plans, acquiring discipline in organizing thoughts, devoting attention to detail and learning to be self-critical?โ€
www.cs.yale.edu/homes/perlis...

04.03.2026 13:38 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

(I had also hoped for some CI support for this in the sense of tracking the resulting numbers and their evolution over time.)
The reality seems to be that it's just a unit test that says either true or false.
Was I wrong to expect more?

04.03.2026 09:38 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I had hoped that a "fitness function" would be a measure of the quality of the architecture, and I had thus expected that the way to practice EA would be to make sure that measure goes up (or at least not down).

04.03.2026 09:38 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I had gotten excited about the idea of Evolutionary Architecture, but until this week never had the chance to read the book. Now I'm a bit disappointed.

04.03.2026 09:38 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

For the final talk on track B at #BOBkonf2026, @tacticalgrace.justtesting.org will present "SwiftUI is functional", focussing on the underlying concepts for a great overview.

bobkonf.de/2026/chakrav...

04.03.2026 08:59 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I hate the re-soloing of development. We were so close to learning social skills, creating community, encouraging creativity & purpose, & applying empathy. Easier to manage if each of us is so busy with our genieswarms that we don't have time to talk & reflect.

03.03.2026 13:59 โ€” ๐Ÿ‘ 112    ๐Ÿ” 37    ๐Ÿ’ฌ 8    ๐Ÿ“Œ 4

The final talk on #BOBkonf2026 track A is Nicolas Rinaudo's "Encoding Effects as Capabilities" that discusses various features of Capabilities as implemented in Scala.

Find out more: bobkonf.de/2026/rinaudo...

03.03.2026 08:04 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Active Group

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

26.02.2026 10:27 โ€” ๐Ÿ‘ 0    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

Auch nach 30 Durchlรคufen macht die FUNAR immer noch SpaรŸ und ist jedes Mal ein biรŸchen anders, weil die Teilys ihre eigenen Fragen und Herausforderungen mitbringen. Vier anstrengende aber lohnenswerte Tage!

26.02.2026 10:30 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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

๐ŸŽ‰ ๐——๐—ฎ๐˜€ ๐—ฆ๐—ผ๐—ณ๐˜๐˜„๐—ฎ๐—ฟ๐—ฒ ๐—”๐—ฟ๐—ฐ๐—ต๐—ถ๐˜๐—ฒ๐—ฐ๐˜๐˜‚๐—ฟ๐—ฒ ๐—™๐—ผ๐—ฟ๐˜‚๐—บ โ€“ ๐—ฑ๐—ถ๐—ฒ ๐—ป๐—ฒ๐˜‚๐—ฒ ๐—ถ๐—ฆ๐—”๐—ค๐—•-๐—–๐—ผ๐—บ๐—บ๐˜‚๐—ป๐—ถ๐˜๐˜†-๐—ž๐—ผ๐—ป๐—ณ๐—ฒ๐—ฟ๐—ฒ๐—ป๐˜‡ ๐—ณรผ๐—ฟ ๐——๐—”๐—–๐—› โ€“ ๐—ถ๐˜€๐˜ ๐—น๐—ถ๐˜ƒ๐—ฒ! ๐ŸŽ‰

๐Ÿ“ 16.โ€“17. Juni 2026 | Mรผnchen-Unterhaching
๐ŸŽค 23 Sessions auf Deutsch ยท 23 #iSAQB Kurator:innen & Expert:innen vor Ort
๐Ÿ’ก Themen aus dem #CPSA Advanced Level
๐ŸŽŸ๏ธ Very Early Bird bis 2. April

๐Ÿ‘‰ t1p.de/zhq7r

25.02.2026 08:40 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Franz Thoma Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project ...

New Haskell Interlude!
Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell.
haskell.foundation/podcast/77/

23.02.2026 12:58 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Der Ukraine in den vier Jahren seit dem russischen รœberfall langsam, zรถgerlich, halbherzig und รผbervorsichtig zu helfen, war und ist menschlich, militรคrisch, wirtschaftlich und finanziell schlecht. Wer Frieden will, muss sich schnell und entschlossen durchsetzen wollen.

23.02.2026 07:35 โ€” ๐Ÿ‘ 458    ๐Ÿ” 110    ๐Ÿ’ฌ 15    ๐Ÿ“Œ 6
Symposium on Functional and Logic Programming 2026 | Functional Logic Programming 18th International Symposium on Functional and Logic Programming

The program for the International Symposium on Functional and Logic Programming - FLOPS - is out, and registration is open.
FLOPS 2026 will happen May 26-28 in Tsukuba, Japan -
see you in there!
functional-logic.org/events/flops...

23.02.2026 07:38 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
BNF from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

BNF from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

Body text from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

Body text from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

mflatt: letโ€™s ditch s-exps to make our language more accessible :)
also mflatt: rhombus defines eight different ways an identifier can have a binding in the core language and the standard library adds several more. here is the documentation for how to define a basic datatype. do you like this

20.02.2026 17:24 โ€” ๐Ÿ‘ 12    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Schlagzeile Welt:
Mit Extremisten sollte man nicht kooperierenโ€œ โ€“ Kretschmann warnt vor Linkspartei

Schlagzeile Welt: Mit Extremisten sollte man nicht kooperierenโ€œ โ€“ Kretschmann warnt vor Linkspartei

Was ist das eigentlich fรผr eine Strategie der Grรผnen in Baden-Wรผrttemberg, die CDU rechts รผberholen zu wollen? Und was ist das eigentlich fรผr ein Bundesland, in dem das funktioniert?

19.02.2026 06:51 โ€” ๐Ÿ‘ 488    ๐Ÿ” 94    ๐Ÿ’ฌ 83    ๐Ÿ“Œ 16
Post image

Im Jahr 2025 gab es in Deutschland zwischen 13 und 15 Mio neue COVID-Infektionen. In unserem neuen Paper "Update 2025: Modellierung der COVID-Infektionszahlen in Deutschland (2020-2025)" haben wir nun die Daten fรผr das 6. Jahr der Pandemie ergรคnzt (Pre-Print).

17.02.2026 10:28 โ€” ๐Ÿ‘ 151    ๐Ÿ” 68    ๐Ÿ’ฌ 8    ๐Ÿ“Œ 4
Preview
entwickler.de Software Know-how Unbegrenzt. Wegweisend. Kompakt an Deiner Seite. Der neue Lernstandard fรผr Software-Professionals: Die Fullstack Experience

We're happy to announce @entwicklerde.bsky.social as another returning sponsor, helping us out at the Silver level for #BOBkonf2026!

18.02.2026 13:32 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...

13.02.2026 12:42 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Well-Typed LLD company logo, reading
"Well-Typed
The Haskell Consultants
Established 2008"

Well-Typed LLD company logo, reading "Well-Typed The Haskell Consultants Established 2008"

We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com

11.02.2026 14:26 โ€” ๐Ÿ‘ 4    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Photo of Active Groupโ€™s trade-show booth, with Marcus Crestani in front. The back fall features the word โ€œAbstraktionโ€. The foreground contains a CRT terminal and a dot-matrix printer.

Photo of Active Groupโ€™s trade-show booth, with Marcus Crestani in front. The back fall features the word โ€œAbstraktionโ€. The foreground contains a CRT terminal and a dot-matrix printer.

On my way to OOP. My co-worker Marcus Crestani is already on-site at the @activegroupgmbh.bsky.social booth and looking fabulous, will try to do my best to compete.
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...

11.02.2026 09:30 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing".

Find out more here: bobkonf.de/2026/alex-th...

10.02.2026 09:10 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Registration

ZuriHac 2026 - Registrations are open!

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zรผrich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.

Register: zureg.zfoh.ch/register

09.02.2026 10:59 โ€” ๐Ÿ‘ 16    ๐Ÿ” 10    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

AGI is when everyone is using emacs

05.02.2026 15:06 โ€” ๐Ÿ‘ 13    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Looking forward to yet another OOP talk. I'll talk about something the software development/architecture community seems to have lost, namely leveraging powerful data/object models to design rich applications that make our lives better. See you next Thursday!

02.02.2026 11:27 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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.

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.

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

02.02.2026 11:26 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

Very much looking forward to talking about the conceptual origins of SwiftUI and how that makes it an effective and versatile UI framework!

30.01.2026 10:17 โ€” ๐Ÿ‘ 6    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUIโ€™s software architecture, with a focus on underlying concepts and not on a particular implementation.

Find out more:
bobkonf.de/2026/chakrav...

30.01.2026 09:50 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

The second #BOBkonf2026 talk of this block in track A is Olaf Klinke's "Refinement types for the digital information age", where we examine what happens if we use property languages to design a data type that makes illegal states unrepresentable.

Find out more: bobkonf.de/2026/klinke....

29.01.2026 09:00 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Logo for the iSAQBยฎ International Software Architecture Qualification Board

Logo for the iSAQBยฎ International Software Architecture Qualification Board

We're happy to announce that International Software Architecture Qualification Board @isaqb.bsky.social is sponsoring #BOBkonf2026 (bobkonf.de) at the silver level!

28.01.2026 12:01 โ€” ๐Ÿ‘ 5    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles.

bobkonf.de/2026/henglei...

27.01.2026 13:15 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1