Mike Sperber
LightNews LightNews
banner
sperbsen.bsky.social
Mike Sperber
@sperbsen.bsky.social
390 followers 190 following 89 posts
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Posts Replies Media Videos
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
Reposted by Mike Sperber
leaninginconf.bsky.social
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/
Leaning In! 2026
Leaning In! is a one-day workshop dedicated to the Lean programming language and proof assistant.
leaning.in
October 26, 2025 at 7:54 PM
Reposted by Mike Sperber
channingwalton.bsky.social
Funnily enough, also works for humans.
itrevolution.com IT Revolution @itrevolution.com · Oct 21
Decompose tasks into the smallest possible steps. Large requests generate solutions that work but become impossible to modify later.

This inner loop discipline is the difference between sustainable AI collaboration and technical debt at an unprecedented scale.

itrev.io/4ofx8m6
October 21, 2025 at 10:13 PM
sperbsen.bsky.social
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.)
New Work by Gary Larson | TheFarSide.com
Get an exclusive look at brand new cartoons and artwork from cartoonist Gary Larson, creator of the iconic comic strip The Far Side®.
thefarside.com
October 19, 2025 at 9:35 AM
sperbsen.bsky.social
Reminded my what a pleasure it is to listen to @teggy.org explain stuff.
October 18, 2025 at 2:59 PM