Lightnews — Scholar-powered news

Reposted by Mike Sperber

Adam Warski @warski.org · 22h

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!

4 28

Mike Sperber @sperbsen.bsky.social · 1d

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

[ICFP/SPLASH'25] Seminar Room 8 - FUNARCH (Oct 12th)

YouTube video by ACM SIGPLAN

www.youtube.com

1

Reposted by Mike Sperber

Steve Klabnik @steveklabnik.com · 1d

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

6 1 84

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 3d

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

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

dl.acm.org

2 1

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 3d

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

3 3

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 3d

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

1 2 2

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 3d

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

1 1

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 9d

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

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

conf.researchr.org

5 3

Mike Sperber @sperbsen.bsky.social · 12d

(At the Neuland Fachtag, photo by Sigrun Strangmann)

Mike Sperber @sperbsen.bsky.social · 12d

Here's a picture from my recent talk.

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.

1 1 2

Mike Sperber @sperbsen.bsky.social · 12d

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.

Reposted by Mike Sperber

sabine 🐫🦀 / "use ocaml"; @sabine.sh · 13d

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.

6 23

Mike Sperber @sperbsen.bsky.social · 14d

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

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

www.heise-devsec.de

1 1

Reposted by Mike Sperber

Active Group GmbH @activegroupgmbh.bsky.social · 20d

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

Great Software Architecture With Glorious Data Models - Software Architecture Gathering 2025

Domain models are crucial for good software architecture: Good models are expressive and elastic in the face of changes, software projects are full of poor models that make changes pure hell. This goe...

conferences.isaqb.org

1 2

Reposted by Mike Sperber

K [erkrankt] @heykaj.bsky.social · Jul 18

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

27 380 940

Reposted by Mike Sperber

Hillelogram @hillelwayne.com · 25d

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!

4 5 37

Reposted by Mike Sperber

Haskell programming language @haskell.org · 26d

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

#Haskell

MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR

YouTube video by TNG Technology Consulting GmbH

www.youtube.com

3 6

Reposted by Mike Sperber

Michael Evans @teamtock.bsky.social · 28d

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

7 13

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 29d

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/

Phil Wadler

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

haskell.foundation

1 6 19

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · Sep 14

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

Mike Sperber @sperbsen.bsky.social · Sep 14

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

MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR

YouTube video by TNG Technology Consulting GmbH

www.youtube.com

1 5 8

Mike Sperber @sperbsen.bsky.social · Sep 14

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

MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR

YouTube video by TNG Technology Consulting GmbH

www.youtube.com

5

Reposted by Mike Sperber

Theater U34 @theateru34.bsky.social · Sep 14

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

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

1 1

Reposted by Mike Sperber

Ricarda Lang @ricardalang.bsky.social · Sep 13

Das wissen wir, Markus.

190 380 2.4K

Reposted by Mike Sperber

jhemann.bsky.social @jhemann.bsky.social · Sep 12

munihac.de/2025.html

1

Mike Sperber @sperbsen.bsky.social · Sep 12

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

munihac.de

1 1