Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...

it's on miro. it's literally on figma. you have to log into okta. it's in jira. it's on zoom. it's on pureref. it's on flow. it's on perforce. it's on slack. you can find it on slack. you can go to slack and find it. log onto slack right now. you can slack it. slack has it for you. it's on slack.

Today -- 17 November -- is the last day to submit your #BOBkonf2025 contribution! Deadline is at midnight, whenever that is for you. bobkonf.de/2026/cfc.html

Great #SoftwareArchitecture starts with great data models ✨ In his #SAGconf session, @sperbsen.bsky.social shows how better structures reduce coupling, boost clarity and keep systems flexible. 💡 Learn more 👉 t1p.de/fp6sv #SAG2025 #DomainModeling #DataModeling #iSAQB

The Banach–Tarski paradox is a theorem in set‑theoretic geometry. It shows a solid ball can be divided into a finite number of pieces and reassembled into two identical balls without stretching or adding material. 🧵⬇️ (1/3)

In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs. haskell.foundation/podcast/73/

If you haven’t submitted your contribution to the #BOBkonf2025 programme yet and would like to do so, you've still got the weekend to get it done: the deadline is on MONDAY, 17. November! bobkonf.de/2026/cfc.html

Bin inzwischen auf dem QS-Tag angekommen, wo Kollege Markus Schlegel und ich morgen wieder mal erzählen, daß Testen keine Verifikation ist. www.qs-tag.de/abstracts/te...

Deadline for #BOBkonf2025 submissions is coming up fast: you have one more week — call ends end of day on 17 November 2025. bobkonf.de/2026/cfc.html

𝗡𝗲𝘄 𝗟𝗲𝗮𝗱𝗲𝗿𝘀𝗵𝗶𝗽 𝗮𝘁 𝗶𝗦𝗔𝗤𝗕 🎉 Executive Board: Guido Gryczan, Kim Nena Duggen & Mischa Soujon Strategy Council: @gerritbeine.bsky.social, Noah Neukam, @sperbsen.bsky.social & @stefantoth.bsky.social Thanks to Alexander Heusingfeld & Ben Wolf for their great work on the previous board! 👉 t1p.de/gegur

On my way to code.talks in Hamburg to speak at about formal methods and software architecture. codetalks.com/talks?talkId...

I have just pushed a translation of my 2018 article on transducers on our @activegroupgmbh.bsky.social company blog. In it, I dissect the how and why of Clojures transducers. Would love to hear your feedback! 🤩 funktionale-programmierung.de/en/2018/03/2... #clojure #functionalprogramming #lisp

You've got two more weeks to beat your submission for #BOBkonf2025 into shape: call ends end of day on 17 November 2025. bobkonf.de/2026/cfc.html

I’m on the latest episode of the @haskellinterlude.bsky.social talking about GHC, the FFI, type families, parallel programming in Haskell and also about the relationship of Haskell and Swift: https://haskell.foundation/podcast/72/

Submitted my first Dagstuhl application in [checks notes] 16 years.

Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast. www.typetheoryforall.com/episodes/the...

In the new Haskell Interlude, we talk to Manuel Chakravarty - his work on the ghc backend such as data-parallel Haskell and the FFI and how that work segued into type system design. We also discussed Manuel’s perspective on Haskell from the design of Swift. haskell.foundation/podcast/72/

I have many criticisms of Lacan but I think he would have been hilarious on social média.

Leaning In! 2026 is ON! If you like #lean and are in Berlin, Germany, Europe, or anywhere on Earth, you are invited. We've got a room at Spielfeld in Berlin. See you on March 12th! More information, including tickets and the CfP, here: leaning.in/2026/

Funnily enough, also works for humans.

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!

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

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

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

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.

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

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!

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!

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

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.

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

#MuniHac 2025 is on! #Haskell