Mike Sperber
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Reposted by Mike Sperber
The new episode of the Haskell Interlude with Lennart Augustsson was done at @zurihac.bsky.social jointly with #TypeTheoryForAll. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers.
haskell.foundation/podcast/74/
haskell.foundation/podcast/74/
Lennart Augustsson
This episode is a deep dive into the evolution of Haskell and functional
programming with one of its pioneers, Lennart Augustson. It reflects on
decades of work in language design and compiler impleme...
haskell.foundation
December 19, 2025 at 3:06 PM
The new episode of the Haskell Interlude with Lennart Augustsson was done at @zurihac.bsky.social jointly with #TypeTheoryForAll. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers.
haskell.foundation/podcast/74/
haskell.foundation/podcast/74/
Reposted by Mike Sperber
Reposted by Mike Sperber
Notifications are out for #BOBkonf2026. This is once again a *great* program - with a sad eye we look at the long list of great submissions we had to reject.
Program will be out on Dec 12. See you hopefully on March 13 in Berlin!
Program will be out on Dec 12. See you hopefully on March 13 in Berlin!
December 5, 2025 at 5:00 PM
Notifications are out for #BOBkonf2026. This is once again a *great* program - with a sad eye we look at the long list of great submissions we had to reject.
Program will be out on Dec 12. See you hopefully on March 13 in Berlin!
Program will be out on Dec 12. See you hopefully on March 13 in Berlin!
Reposted by Mike Sperber
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
youtube.com
December 5, 2025 at 1:52 PM
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
Da ist er schon wieder, @spiegel@mstdn.social, der "Mittelstand”. (Nur zur Info: *Ich* bin mittelständischer Geschäftsführer, und weder habe ich da unterzeichnet noch hat mich wer gefragt.)
Fixed it for you:
"Lobbyisten fühlen sich von Bärbel Bas auf den Schlips getreten”
You're welcome.
Fixed it for you:
"Lobbyisten fühlen sich von Bärbel Bas auf den Schlips getreten”
You're welcome.
December 3, 2025 at 7:42 AM
Da ist er schon wieder, @spiegel@mstdn.social, der "Mittelstand”. (Nur zur Info: *Ich* bin mittelständischer Geschäftsführer, und weder habe ich da unterzeichnet noch hat mich wer gefragt.)
Fixed it for you:
"Lobbyisten fühlen sich von Bärbel Bas auf den Schlips getreten”
You're welcome.
Fixed it for you:
"Lobbyisten fühlen sich von Bärbel Bas auf den Schlips getreten”
You're welcome.
The good folks at code.talks have put the video of my talk on formal methods online:
www.youtube.com/watch?v=qwR9...
www.youtube.com/watch?v=qwR9...
Testen ist heute, morgen sind Formale Methoden - Michael Sperber | code.talks 2025
YouTube video by code.talks (ehem. Developer Conference)
www.youtube.com
December 3, 2025 at 7:35 AM
The good folks at code.talks have put the video of my talk on formal methods online:
www.youtube.com/watch?v=qwR9...
www.youtube.com/watch?v=qwR9...
Reposted by Mike Sperber
Anytime you see Microsoft or any US company state the CLOUD Act is not such a big deal for Europe, do ask them if they can reassure us on FISA 702 and EO12333 as well. You will not get an answer. Here EDRI sets it out nicely: edri.org/our-work/pro...
Promises unkept: The EU-US Data Privacy Framework under fire - European Digital Rights (EDRi)
A decade after Snowden’s revelations — and despite public outrage — surveillance and mass data collection continue under the EU-U.S.
edri.org
November 29, 2025 at 11:40 AM
Anytime you see Microsoft or any US company state the CLOUD Act is not such a big deal for Europe, do ask them if they can reassure us on FISA 702 and EO12333 as well. You will not get an answer. Here EDRI sets it out nicely: edri.org/our-work/pro...
Reposted by Mike Sperber
Eine fraktionsübergreifende Gruppe von Volksvertretern appelliert ans EU-Parlament, die Nutzung von MS 365 zugunsten einer europäischen Alternative aufzugeben. #Digitale Souveränität
Weg von Microsoft: Abgeordnete fordern digitale Souveränität im EU-Parlament
Eine fraktionsübergreifende Gruppe von Volksvertretern appelliert ans EU-Parlament, die Nutzung von MS 365 zugunsten einer europäischen Alternative aufzugeben.
www.heise.de
November 30, 2025 at 5:07 AM
Eine fraktionsübergreifende Gruppe von Volksvertretern appelliert ans EU-Parlament, die Nutzung von MS 365 zugunsten einer europäischen Alternative aufzugeben. #Digitale Souveränität
RIP Tom Stoppard. I’m grateful for his masterpiece "Arcadia", and proud of the work we did on it. It's a deep reflection on the nature of truth, love, and art, those who run roughshod over it - very relevant today.
theater-u34.de/arkadien/
theater-u34.de/arkadien/
Theater U34 - Arkadien
theater-u34.de
November 30, 2025 at 10:35 AM
RIP Tom Stoppard. I’m grateful for his masterpiece "Arcadia", and proud of the work we did on it. It's a deep reflection on the nature of truth, love, and art, those who run roughshod over it - very relevant today.
theater-u34.de/arkadien/
theater-u34.de/arkadien/
Reposted by Mike Sperber
Reposted by Mike Sperber
Just out: Functional Data Structures, edited by Tobias Nipkow
November 25, 2025 at 12:48 PM
Just out: Functional Data Structures, edited by Tobias Nipkow
We’re at the @SAG_Conference@mastodon.social today with a booth of our own. Will also give a talk on Glorious Data Models later today.
conferences.isaqb.org/software-arc...
conferences.isaqb.org/software-arc...
November 25, 2025 at 9:51 AM
We’re at the @SAG_Conference@mastodon.social today with a booth of our own. Will also give a talk on Glorious Data Models later today.
conferences.isaqb.org/software-arc...
conferences.isaqb.org/software-arc...
Reposted by Mike Sperber
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...
Introducing ARIA’s next CEO
Kathleen Fisher will join us in February 2026.
ariaresearch.substack.com
November 19, 2025 at 8:23 AM
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...
Reposted by Mike Sperber
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.
November 12, 2025 at 10:15 PM
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.
Reposted by Mike Sperber
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
bobkonf.de/2026/cfc.html
November 17, 2025 at 10:59 AM
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
bobkonf.de/2026/cfc.html
Reposted by Mike Sperber
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
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
November 17, 2025 at 12:08 PM
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
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
Reposted by Mike Sperber
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)
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)
November 16, 2025 at 8:39 PM
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)
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)
Reposted by Mike Sperber
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/
haskell.foundation/podcast/73/
Jean-Philipe Bernardy
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 t...
haskell.foundation
November 14, 2025 at 8:54 AM
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/
haskell.foundation/podcast/73/
Reposted by Mike Sperber
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
bobkonf.de/2026/cfc.html
November 14, 2025 at 7:51 AM
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
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...
www.qs-tag.de/abstracts/te...
Abstracts
www.qs-tag.de
November 12, 2025 at 12:45 PM
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...
www.qs-tag.de/abstracts/te...
Reposted by Mike Sperber
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
bobkonf.de/2026/cfc.html
November 10, 2025 at 10:53 AM
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
bobkonf.de/2026/cfc.html
Reposted by Mike Sperber
𝗡𝗲𝘄 𝗟𝗲𝗮𝗱𝗲𝗿𝘀𝗵𝗶𝗽 𝗮𝘁 𝗶𝗦𝗔𝗤𝗕 🎉
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
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
November 6, 2025 at 12:19 PM
𝗡𝗲𝘄 𝗟𝗲𝗮𝗱𝗲𝗿𝘀𝗵𝗶𝗽 𝗮𝘁 𝗶𝗦𝗔𝗤𝗕 🎉
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
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...
codetalks.com/talks?talkId...
Testen ist heute, morgen sind Formale Methoden | code.talks Conference 2025
"Testen ist heute, morgen sind Formale Methoden" by Michael Sperber from Active Group GmbH. Talk at code.talks tech conference in Hamburg, November 5-6, 2025. Bekanntermaßen können alle Tests der Welt...
codetalks.com
November 5, 2025 at 8:47 AM
On my way to code.talks in Hamburg to speak at about formal methods and software architecture.
codetalks.com/talks?talkId...
codetalks.com/talks?talkId...
Reposted by Mike Sperber
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
funktionale-programmierung.de/en/2018/03/2...
#clojure #functionalprogramming #lisp
Funktionale Programmierung -
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de
November 4, 2025 at 10:29 AM
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
funktionale-programmierung.de/en/2018/03/2...
#clojure #functionalprogramming #lisp
Reposted by Mike Sperber
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
bobkonf.de/2026/cfc.html
November 3, 2025 at 3:08 PM
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
bobkonf.de/2026/cfc.html