Mike Sperber

374 Followers
456 Following
1.9K Posts
Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person.
websitehttps://www.deinprogramm.de/sperber/
software architecture
theater
searchable

โœจ ๐—ก๐˜‚๐—ฟ ๐—ป๐—ผ๐—ฐ๐—ต ๐—ฒ๐—ถ๐—ป๐—ฒ ๐—ช๐—ผ๐—ฐ๐—ต๐—ฒ ๐—ฏ๐—ถ๐˜€ ๐˜‡๐˜‚๐—บ ๐—ฆ๐—ผ๐—ณ๐˜๐˜„๐—ฎ๐—ฟ๐—ฒ ๐—”๐—ฟ๐—ฐ๐—ต๐—ถ๐˜๐—ฒ๐—ฐ๐˜๐˜‚๐—ฟ๐—ฒ ๐—™๐—ผ๐—ฟ๐˜‚๐—บ ๐Ÿฎ๐Ÿฌ๐Ÿฎ๐Ÿฒ! ๐ŸŽ‰ In genau einer Woche treffen sich Softwarearchitekt:innen, Entwickler:innen und IT-Expert:innen in Mรผnchen, um zwei Tage lang รผber moderne #Softwarearchitektur, aktuelle Herausforderungen und bewรคhrte Lรถsungsansรคtze zu diskutieren.

๐Ÿ’ก ๐—ช๐—ฎ๐—ฟ๐˜‚๐—บ ๐˜€๐—ถ๐—ฐ๐—ต ๐—ฑ๐—ฎ๐˜€ ๐—ฆ๐—”๐—™ ๐—น๐—ผ๐—ต๐—ป๐˜:
โœ” 2 Tage mit 22 Expert:innen und 23 Sessions auf Deutsch
โœ” Praxisnahe Inhalte statt Sales-Pitches
โœ” Themen: #DDD, #KI, #APIs, #Cloud etc.

๐Ÿ‘‰ saf.isaqb.org

#SAF2026 #iSAQB

@lindsey there are ways to make conferences cheaper, but making this suggestion out loud is akin to farting in a quiet room

RE: https://discuss.systems/@activegroupgmbh/116318230028504286

Nรคchste Woche ist iSAQBยฎ Software Architecture Forum, und @sperbsen ist dabei! Noch gibt es Tickets:

Second day of #zurihac, and enjoying it immensely. Simon PJ's talk on verse reminded me of the glory days of the Icon programming language.
Will talk about teaching functional programming/Haskell later today.
https://zfoh.ch/zurihac2026/

๐—ฆ๐—ผ๐—ณ๐˜๐˜„๐—ฎ๐—ฟ๐—ฒ ๐˜„๐—ถ๐˜๐—ต๐—ผ๐˜‚๐˜ ๐—•๐˜‚๐—ด๐˜€? ๐—ข๐—ป๐—น๐˜† ๐˜„๐—ถ๐˜๐—ต ๐—™๐—ผ๐—ฟ๐—บ๐—ฎ๐—น ๐— ๐—ฒ๐˜๐—ต๐—ผ๐—ฑ๐˜€ โ€“ ๐—œ๐—ป๐˜๐—ฒ๐—ฟ๐˜ƒ๐—ถ๐—ฒ๐˜„ ๐˜„๐—ถ๐˜๐—ต ๐—Ÿ๐—ฎ๐—ฟ๐˜€ ๐—›๐˜‚๐—ฝ๐—ฒ๐—น ๐ŸŽ™๏ธ
Can testing ever prove software correctness? @lars explains where testing reaches its limits and how formal methods provide stronger guarantees.

๐Ÿ’ก Topics:
โ€ข software correctness
โ€ข testing vs. formal methods
โ€ข verifiable systems

๐Ÿ‘‰ https://t1p.de/vs3p3

Lars will also present a German-language session on this topic at #SAF2026.

#iSAQB #SoftwareArchitecture #FormalMethods

RE: https://discuss.systems/@bobkonf/116221245258263851

Ariadne Engelbrecht's #BOBkonf2026 talk "Accessibility by Design: Practical A11y for Everyday Software Engineering" is now available online!

https://bobkonf.de/2026/engelbrecht.html

Re: flat web design.

Buttons that donโ€™t look like buttons.

I blew someoneโ€™s mind today. Sheโ€™s about my age, competent at her job, but not much into technology.

She complained that she always needs to scroll past the weeks in her web-based calendar.

I pressed the current date shown in the top-left corner above her appointments, which pulled up a big date overview by month.

She was so excited, asked me how I did that.

Mind you, the date was shown as simple black letters on a white background, with only a black, downwards-pointing chevron a bit to the right. It hardly suggested interactivity, especially to those not knowledgeable about web design.

I often think that flat design was a mistake, and todayโ€™s situation was a good example of bad user experience (UX) stemming from non-intuitive controls.

#UX #WebDesign #WebDev #accessibility

And I see the argument that CS lacks input from the humanities field of science. But at the same time, there are science communicators who have (justified) strong stances against pseudoscientific nonsense like homeopathy etc, but seem to have no qualms about โ€œAIโ€ as tools for access to knowledge.

Theoretical CS is one of the very first courses one takes in CS up to today. And one could argue that this is, in essence, just another flavour of philosophy. Yet, it appears to be vastly underrated.

I want smaller programs with fewer features that take longer to write by people who are happier to do so and Iโ€™m not kidding