Mike Sperber
LightNews LightNews
banner
sperbsen.bsky.social
Mike Sperber
@sperbsen.bsky.social
390 followers 190 following 90 posts
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Posts Replies Media Videos
Reposted by Mike Sperber
berthubert.bsky.social
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
Reposted by Mike Sperber
heise.de
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
sperbsen.bsky.social
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 - Arkadien
theater-u34.de
November 30, 2025 at 10:35 AM
Reposted by Mike Sperber
streuspeicher.bsky.social
Mr Beattie did it again.

youtu.be/p03oO_7sCaY?...
Somebody Told Me (The User Provider Should Use An Adaptor To Proxy The Query Factory Builder)
YouTube video by Dylan Beattie
youtu.be
November 28, 2025 at 9:20 PM
Reposted by Mike Sperber
lawrpaulson.bsky.social
Just out: Functional Data Structures, edited by Tobias Nipkow
November 25, 2025 at 12:48 PM
sperbsen.bsky.social
We’re at the @[email protected] today with a booth of our own. Will also give a talk on Glorious Data Models later today.
conferences.isaqb.org/software-arc...
November 25, 2025 at 9:51 AM
Reposted by Mike Sperber
anil.recoil.org
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
Reposted by Mike Sperber
catacalypto.bsky.social
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
Reposted by Mike Sperber
bobkonf.bsky.social
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
November 17, 2025 at 10:59 AM
Reposted by Mike Sperber
sagconference.bsky.social
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
November 17, 2025 at 12:08 PM
Reposted by Mike Sperber
wikipedia.org
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)
November 16, 2025 at 8:39 PM
Reposted by Mike Sperber
haskellinterlude.bsky.social
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/
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
Reposted by Mike Sperber
bobkonf.bsky.social
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
November 14, 2025 at 7:51 AM
sperbsen.bsky.social
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...
Abstracts
www.qs-tag.de
November 12, 2025 at 12:45 PM
Reposted by Mike Sperber
bobkonf.bsky.social
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
November 10, 2025 at 10:53 AM
Reposted by Mike Sperber
isaqb.bsky.social
𝗡𝗲𝘄 𝗟𝗲𝗮𝗱𝗲𝗿𝘀𝗵𝗶𝗽 𝗮𝘁 𝗶𝗦𝗔𝗤𝗕 🎉

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
The New Executive Board of the iSAQB: Dr. Guido Gryczan, Kim Nena Duggen and Mischa Soujon
November 6, 2025 at 12:19 PM
sperbsen.bsky.social
On my way to code.talks in Hamburg to speak at about formal methods and software architecture.
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
Reposted by Mike Sperber
defmarco.bsky.social
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 - Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de
November 4, 2025 at 10:29 AM
Reposted by Mike Sperber
bobkonf.bsky.social
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
November 3, 2025 at 3:08 PM
Reposted by Mike Sperber
tacticalgrace.justtesting.org
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/
Manuel Chakravarty
In this episode, we talk to Manuel Chakravarty - specifically, 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 language design of Swift.
haskell.foundation
October 31, 2025 at 11:18 AM
Reposted by Mike Sperber
lesbianmonad.com
@ttforall.bsky.social
October 31, 2025 at 11:40 PM
sperbsen.bsky.social
Submitted my first Dagstuhl application in [checks notes] 16 years.
October 31, 2025 at 6:44 PM
sperbsen.bsky.social
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...
Type Theory Forall
Type Theory much beyond inference rules
www.typetheoryforall.com
October 31, 2025 at 2:07 PM
Reposted by Mike Sperber
haskellinterlude.bsky.social
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/
Manuel Chakravarty
In this episode, we talk to Manuel Chakravarty - specifically, 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...
haskell.foundation
October 30, 2025 at 1:40 PM
Reposted by Mike Sperber
malk-zameth.bsky.social
I have many criticisms of Lacan but I think he would have been hilarious on social média.
October 29, 2025 at 10:26 AM