Lightnews — Scholar-powered news

Reposted by Mike Sperber

Functional Architecture @funarch.bsky.social · 3d

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 · 6d

(At the Neuland Fachtag, photo by Sigrun Strangmann)

Mike Sperber @sperbsen.bsky.social · 6d

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 · 7d

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 · 7d

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 22

Mike Sperber @sperbsen.bsky.social · 8d

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 · 14d

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 930

Reposted by Mike Sperber

Hillelogram @hillelwayne.com · 19d

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 · 21d

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 · 22d

"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 · 23d

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 · 24d

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 · 24d

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 · 24d

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 · 24d

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 · 26d

Das wissen wir, Markus.

190 380 2.4K

Reposted by Mike Sperber

jhemann.bsky.social @jhemann.bsky.social · 26d

munihac.de/2025.html

1

Mike Sperber @sperbsen.bsky.social · 26d

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

munihac.de

1 1

Reposted by Mike Sperber

Haskell programming language @haskell.org · 27d

#MuniHac 2025 is on!

#Haskell

A table with a blue rubber duck labelled TNG, and MuniHac stickers, with the project presentations in the background

3 18

Reposted by Mike Sperber

Haskell programming language @haskell.org · 27d

#MuniHac keynote "A modern step-through debugger for #Haskell" by Rodrigo Mesquita from Well-Typed

munihac.de/2025.html#Ro...

A room with 60 people looking at the presenter

2 13

Reposted by Mike Sperber

Viktor Funk @vfunk.bsky.social · Sep 4

Dieses Framing, dass es 2015 einen Kontrollverlust gab, als Deutschland vielen Geflüchteten half. Warum übernehmen Medien das?
Seit wann ist Helfen ein Kontrollverlust?
Warum sprechen wir nicht von Krisen bei kaputt gesparten Verwaltungen und staatl. Institutionen, die für Hilfe zuständig sind?

20 230 920

Reposted by Mike Sperber

Nico Lange @nicolange.bsky.social · Sep 4

Anstatt Ukrainer bei uns zu gängeln oder sie als unangenehmen Kostenfaktor im Bürgergeld zu betrachten, könnten wir mit vergleichsweise wenig Aufwand und Kosten dafür sorgen, dass sie in der Ukraine leben können.

14 72 370

Reposted by Mike Sperber

Helene von Bismarck @helenebismarck.bsky.social · Sep 4

Because "The Americans are withdrawing, we need to step up“ is easier to stomach for large parts of the security crowd than "Trump is actively messing with the world, including with us, and we need to throw everything we relied on over board.“

1 2 19

Reposted by Mike Sperber

Kelsey Hightower @kelseyhightower.com · Sep 4

What's next in AI infrastructure?

Your bill.

3 15 100

Mike Sperber @sperbsen.bsky.social · Sep 5

No, I use Cabal.

daniel 🫠 @dholms.xyz · Sep 4

text from friend, idk how to answer this

2