Mike Sperber
LightNews LightNews
banner
sperbsen.bsky.social
Mike Sperber
@sperbsen.bsky.social
380 followers 180 following 88 posts
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Posts Replies Media Videos
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
lexa.qexat.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 · 23d
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
Reposted by Mike Sperber
bobkonf.bsky.social
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!
October 17, 2025 at 9:40 AM
Reposted by Mike Sperber
haskellinterlude.bsky.social
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/
Stefan Wehr
Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler ...
haskell.foundation
October 17, 2025 at 11:39 AM
Reposted by Mike Sperber
activegroupgmbh.bsky.social
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...
Funktionale Programmierung - On the Testability of Pure Functions
funktionale-programmierung.de
October 16, 2025 at 12:15 PM
Reposted by Mike Sperber
warski.org
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!
October 14, 2025 at 12:27 PM
Reposted by Mike Sperber
steveklabnik.com
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
October 13, 2025 at 6:37 PM
Reposted by Mike Sperber
funarch.bsky.social
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...
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture | ACM Conferences
dl.acm.org
October 12, 2025 at 1:26 AM
Reposted by Mike Sperber
funarch.bsky.social
Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025
October 12, 2025 at 3:09 AM
Reposted by Mike Sperber
funarch.bsky.social
The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025
October 12, 2025 at 3:54 AM