Mike Sperber's Avatar

Mike Sperber

@sperbsen

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

401
Followers
192
Following
106
Posts
16.10.2023
Joined
Posts Following

Latest posts by Mike Sperber @sperbsen

One new talk coming in: Philip Kant is going to present "Zero Knowledge Proof? That Sounds Useless!", a talk that introduces Zero Knowledge Proofs for programmers who havenโ€™t studied cryptography, at #BOBkonf2026.

bobkonf.de/2026/kant.html

10.03.2026 14:25 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Still need a hotel room for the conference? We've been notified there's someone who's unable to attend with an (1) uncancellable reservation at the Scandic Potsdamer Platz 12.-14. March. If you can use this, dm us; we'll put you in touch! Offer is good as long as the message is up.

10.03.2026 12:20 ๐Ÿ‘ 1 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

After lunch, tutorial track B at #BOBkonf2026 continues with @lyrm.bsky.social and Sudha Parimala's "Parallelism without panic: a userโ€™s guide to multicore safety in OCaml".

Find out more here: bobkonf.de/2026/morel.h...

10.03.2026 08:04 ๐Ÿ‘ 7 ๐Ÿ” 6 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Jamie Willis In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits...

In the new Interlude, we focus on teaching. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.
haskell.foundation/podcast/78/

09.03.2026 07:27 ๐Ÿ‘ 8 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

For the first tutorial after lunch at #BOBkonf2026, @beathagenlocher.com presents "Functional Programming in TypeScript" on track A. Read more here:
bobkonf.de/2026/hagenlo...

09.03.2026 09:04 ๐Ÿ‘ 5 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Dr. Michael Sperber - Software Architecture Summit Dr. Michael Sperber ist Geschรคftsfรผhrer der Active Group GmbH in Tรผbingen, die Individualsoftware ausschlieรŸlich mit funktionaler Programmierung entwickelt. Er ist international anerkannter Experte fรผ...

Bin auf dem Weg zum @entwicklerde.bsky.social Software Architecture Summit nach Mรผnchen. Neben dem Workshop am Morgen zu "Data-Oriented Programming" mache ich jetzt spontan auch noch am Nachmittag "Deep Dive Funktionale Modellierungโ€.
software-architecture-summit.de/speaker/dr-m...

08.03.2026 16:00 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
code.talks 2026 โ€“ The Conference for Your Entire Dev Team Join 3,500+ developers and CTOs in Hamburg on November 4 & 5, 2026. 100+ curated sessions, top speakers and a community that feels like home. Early Bird tickets available now.

I'm honored to be on the code.talks PC this year. Will chair the โ€œScience" track together with Uwe Friedrichsen.
codetalks.com/curators

06.03.2026 15:14 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Tutorial track B at #BOBkonf2026 opens with "Functional 3D graphics for the browser in scheme" by Thรฉo Tyburn, which will teach participants to write advanced 3d graphics pipelines for the browser using the sacr3d library for guile scheme.

For more information, see
bobkonf.de/2026/tyburn....

06.03.2026 09:25 ๐Ÿ‘ 4 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
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 ๐Ÿ‘ 117 ๐Ÿ” 39 ๐Ÿ’ฌ 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 ๐Ÿ‘ 487 ๐Ÿ” 94 ๐Ÿ’ฌ 82 ๐Ÿ“Œ 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