Mike Sperber

New Work by Gary Larson | TheFarSide.com Get an exclusive look at brand new cartoons and artwork from cartoonist Gary Larson, creator of the iconic comic strip The Far Side®.

Gary Larson is back in the saddle, New Stuff from the Far Side!
thefarside.com/new-stuff
(Thanks to @kaltmamsell.bsky.social for the pointer.)

Reminded my what a pleasure it is to listen to @teggy.org explain stuff.

You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!

We sat down with Stefan Wehr, professor at the Offenburg University of Applied Sciences, who has extensive experience with Haskell both in academia and industrial application.
Enjoy the episode!
haskell.foundation/podcast/71/

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:
funktionale-programmierung.de/en/2025/10/1...

Congratulations to Martin Odersky for receiving the Programming Languages Achievement Award @icfp-conference.bsky.social - well deserved! :)

I can only confirm what it says on the citation, his work deeply impacted how I view programming.

Let's work towards making #Scala a continued success!

YouTube video by ACM SIGPLAN [ICFP/SPLASH'25] Seminar Room 8 - FUNARCH (Oct 12th)

Yes. You can scroll in the livestream, or wait for a properly edited recording.
www.youtube.com/watch?v=FB0C...

GraphQL: it's pretty okay

except when the API you're dealing with turns off introspection and also the documentation does not properly describe the api

Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture | ACM Conferences

Today's the day! FUNARCH 2025 begins at 1100 in Seminar room 8. Also, FUNARCH 2025 proceedings are now available online:

dl.acm.org/doi/proceedi...

Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025

The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025

@activegroupgmbh.bsky.social Michael Sperber reports on the last six years of training functional software architects. #funarch2025

FUNARCH 2025 - ICFP/SPLASH 2025 The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived software...

FUNARCH2025 just one week away. Safe travels and see you in Singapore!
conf.researchr.org/home/icfp-sp...

(At the Neuland Fachtag, photo by Sigrun Strangmann)

A photo of Mike holding up stick about as long as a baseball bat, but with some curves and a rubber hose over its end.

Here's a picture from my recent talk.

Would anyone in my timeline know how I can posting privileges on the Purescript Discourse? I'm stuck in a never-ending bot conversation, and the moderators are not responding.

Trade offer meme format with a tuxedo cat. Red banner reads 'TRADE OFFER' with warning symbols. Left side says 'i receive: ALGEBRAIC DATA TYPES'. Right side says 'you receive: NEVER WONDERING WHAT'S IN THAT OBJECT AGAIN'. The cat has wide eyes and hands are pressed together in a pleading gesture.

heise devSec – die Konferenz für sichere Software- und Webentwicklung Sichere Software beginnt vor der ersten Zeile Code ... Schwerpunkte im Herbst 2025 sind GenAI und Vibe Computing, Secure Software Development Lifecycle (SSDL), KI in der Softwareentwicklung, DevSecOps...

On my way to devSec() in Regensburg to talk about formal methods.
One would think this would be a major topic, given the rising criticality of software systems, and the availability of techniques and tools for decades - but no.
www.heise-devsec.de/veranstaltun...

Am 25. November 2025 ist AG-Chef @sperbsen.bsky.social mit seinem Vortrag "Great Software Architecture With Glorious Data Models" beim von @isaqb.bsky.social und @heise.de veranstalteten Software Architecture Gathering in Berlin:
conferences.isaqb.org/software-arc...

Hannah Arendt über die Gleichschaltung.
"Das persönliche Problem war doch nicht etwa, was unsere Feinde taten, sondern was unsere Freunde taten."

I think the reason so many monad analogies ("monads are just burritos/boxes/semicolons/pipes") fall flat is that no mathematical abstraction is really teachable by analogy, and we don't know this because we don't learn math abstractions as adults.

Like take numbers. Numbers are a math abstraction!

YouTube video by TNG Technology Consulting GmbH MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR

Talks from #MuniHac 2025, hosted by @tngtech.com, are on YouTube! www.youtube.com/watch?v=WRoY...

#Haskell

"We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell’s inception."

haskell.foundation/podcast/70/

We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more!
haskell.foundation/podcast/70/

Great talk! (I saw it live at #MuniHac a few hours ago.) If you care about programming-in-the-large, definitely watch it!

YouTube video by TNG Technology Consulting GmbH MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR

The good folks at #MuniHac have already put up the video of my keynote “Six Years of FUNAR – Teaching Software Architecture and Haskell to the Uninitiated”!
www.youtube.com/watch?v=WRoY...

Foto aus "Quartett" mit Mo Sauer als Merteuil und Mike Sperber als "Valmont"

Dieses Foto für "Quartett" von Diane Schreitmüller hat es übrigens in die Fotosausstellung des Landesamateurtheaterverbands (Lamathea) geschafft!
www.theater-u34.de/quartett/

Das wissen wir, Markus.

munihac.de/2025.html

Finally approaching #MuniHac, where I will talk about teaching Functional Software Architecture on Sunday.
munihac.de/2025.htm