Mike Sperber
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Reposted by Mike Sperber
One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...
February 13, 2026 at 12:42 PM
One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...
Reposted by Mike Sperber
We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com
February 11, 2026 at 2:26 PM
We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com
On my way to OOP. My co-worker Marcus Crestani is already on-site at the @activegroupgmbh.bsky.social booth and looking fabulous, will try to do my best to compete.
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...
February 11, 2026 at 9:30 AM
On my way to OOP. My co-worker Marcus Crestani is already on-site at the @activegroupgmbh.bsky.social booth and looking fabulous, will try to do my best to compete.
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...
Reposted by Mike Sperber
The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing".
Find out more here: bobkonf.de/2026/alex-th...
Find out more here: bobkonf.de/2026/alex-th...
February 10, 2026 at 9:10 AM
The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing".
Find out more here: bobkonf.de/2026/alex-th...
Find out more here: bobkonf.de/2026/alex-th...
Reposted by Mike Sperber
ZuriHac 2026 - Registrations are open!
ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
Register: zureg.zfoh.ch/register
ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
Register: zureg.zfoh.ch/register
Registration
zureg.zfoh.ch
February 9, 2026 at 10:59 AM
ZuriHac 2026 - Registrations are open!
ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
Register: zureg.zfoh.ch/register
ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
Register: zureg.zfoh.ch/register
Reposted by Mike Sperber
AGI is when everyone is using emacs
February 5, 2026 at 3:06 PM
AGI is when everyone is using emacs
Looking forward to yet another OOP talk. I'll talk about something the software development/architecture community seems to have lost, namely leveraging powerful data/object models to design rich applications that make our lives better. See you next Thursday!
It's been a while - but next week, we'll once again have a booth at OOP.
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
February 2, 2026 at 11:27 AM
Looking forward to yet another OOP talk. I'll talk about something the software development/architecture community seems to have lost, namely leveraging powerful data/object models to design rich applications that make our lives better. See you next Thursday!
Reposted by Mike Sperber
It's been a while - but next week, we'll once again have a booth at OOP.
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
February 2, 2026 at 11:26 AM
It's been a while - but next week, we'll once again have a booth at OOP.
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
Come see us to chat - or just come to see a booth that looks ... a little different.)
Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday!
www.oop-konferenz.de/de/programm/...
Reposted by Mike Sperber
Very much looking forward to talking about the conceptual origins of SwiftUI and how that makes it an effective and versatile UI framework!
On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUI’s software architecture, with a focus on underlying concepts and not on a particular implementation.
Find out more:
bobkonf.de/2026/chakrav...
Find out more:
bobkonf.de/2026/chakrav...
January 30, 2026 at 10:17 AM
Very much looking forward to talking about the conceptual origins of SwiftUI and how that makes it an effective and versatile UI framework!
Reposted by Mike Sperber
On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUI’s software architecture, with a focus on underlying concepts and not on a particular implementation.
Find out more:
bobkonf.de/2026/chakrav...
Find out more:
bobkonf.de/2026/chakrav...
January 30, 2026 at 9:50 AM
On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUI’s software architecture, with a focus on underlying concepts and not on a particular implementation.
Find out more:
bobkonf.de/2026/chakrav...
Find out more:
bobkonf.de/2026/chakrav...
Reposted by Mike Sperber
The second #BOBkonf2026 talk of this block in track A is Olaf Klinke's "Refinement types for the digital information age", where we examine what happens if we use property languages to design a data type that makes illegal states unrepresentable.
Find out more: bobkonf.de/2026/klinke....
Find out more: bobkonf.de/2026/klinke....
January 29, 2026 at 9:00 AM
The second #BOBkonf2026 talk of this block in track A is Olaf Klinke's "Refinement types for the digital information age", where we examine what happens if we use property languages to design a data type that makes illegal states unrepresentable.
Find out more: bobkonf.de/2026/klinke....
Find out more: bobkonf.de/2026/klinke....
Reposted by Mike Sperber
We're happy to announce that International Software Architecture Qualification Board @isaqb.bsky.social is sponsoring #BOBkonf2026 (bobkonf.de) at the silver level!
January 28, 2026 at 12:01 PM
We're happy to announce that International Software Architecture Qualification Board @isaqb.bsky.social is sponsoring #BOBkonf2026 (bobkonf.de) at the silver level!
Reposted by Mike Sperber
On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles.
bobkonf.de/2026/henglei...
bobkonf.de/2026/henglei...
January 27, 2026 at 1:15 PM
On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles.
bobkonf.de/2026/henglei...
bobkonf.de/2026/henglei...
Reposted by Mike Sperber
I suggest to attend this talk if you can. This is seriously cool stuff.
On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles.
bobkonf.de/2026/henglei...
bobkonf.de/2026/henglei...
January 28, 2026 at 1:13 PM
I suggest to attend this talk if you can. This is seriously cool stuff.
Reposted by Mike Sperber
After a short break for tea, #BOBkonf2026 track A continues with "Proofs for programs, programs for proofs" -- Markus Himmel's talk on using Lean for both.
Find out more:
bobkonf.de/2026/himmel....
Find out more:
bobkonf.de/2026/himmel....
January 26, 2026 at 9:06 AM
After a short break for tea, #BOBkonf2026 track A continues with "Proofs for programs, programs for proofs" -- Markus Himmel's talk on using Lean for both.
Find out more:
bobkonf.de/2026/himmel....
Find out more:
bobkonf.de/2026/himmel....
Reposted by Mike Sperber
On today's Haskell Interlude episode, we talk to Jeffrey Young has has a long history of working with Haskell and on ghc. We talk about what makes Haskell so compelling, highly optimized and well-modularized code, and how to benefit from Domain-Driven Design.
haskell.foundation/podcast/76/
haskell.foundation/podcast/76/
Jeffrey Young
Welcome to the Haskell Interlude. Today, Matti and Mike talk to Jeffrey
Young. Jeff has had a long history of working with Haskell and on ghc
itself. We talk about what makes Haskell so compelling, th...
haskell.foundation
January 26, 2026 at 8:10 AM
On today's Haskell Interlude episode, we talk to Jeffrey Young has has a long history of working with Haskell and on ghc. We talk about what makes Haskell so compelling, highly optimized and well-modularized code, and how to benefit from Domain-Driven Design.
haskell.foundation/podcast/76/
haskell.foundation/podcast/76/
Fulfilled my New Year's Resolution of moving Scheme 48 development to Codeberg:
codeberg.org/s48/scheme48
codeberg.org/s48/scheme48
scheme48
Scheme 48 implementation of Scheme
codeberg.org
January 25, 2026 at 1:45 PM
Fulfilled my New Year's Resolution of moving Scheme 48 development to Codeberg:
codeberg.org/s48/scheme48
codeberg.org/s48/scheme48
Reposted by Mike Sperber
Track A at #BOBkonf2026 continues with "Generating tests from formal specification: the good, the bad and the messy" by Nicolas Osborne, a talk on the how to, pros, and cons of generating model-based testing from formal specifications in the OCaml ecosystem.
For more, see
bobkonf.de/2026/osborne...
For more, see
bobkonf.de/2026/osborne...
January 22, 2026 at 9:33 AM
Track A at #BOBkonf2026 continues with "Generating tests from formal specification: the good, the bad and the messy" by Nicolas Osborne, a talk on the how to, pros, and cons of generating model-based testing from formal specifications in the OCaml ecosystem.
For more, see
bobkonf.de/2026/osborne...
For more, see
bobkonf.de/2026/osborne...
Reposted by Mike Sperber
Interrupting our regular #BOBkonf2026 updates to direct your attention to our partner conference Leaning In! that takes place the day BEFORE BOB, 12 March 2026, also in Berlin -- why not combine both if you're travelling anyway?
Find more information here: leaning.in/2026/
Find more information here: leaning.in/2026/
Leaning In! 2026
A workshop for the Lean community - Thursday, March 12, 2026
leaning.in
January 21, 2026 at 9:19 AM
Interrupting our regular #BOBkonf2026 updates to direct your attention to our partner conference Leaning In! that takes place the day BEFORE BOB, 12 March 2026, also in Berlin -- why not combine both if you're travelling anyway?
Find more information here: leaning.in/2026/
Find more information here: leaning.in/2026/
Reposted by Mike Sperber
How long would you survive with no DNA?
What the latest What If? video in collaboration with
@minuteearth.bsky.social!
www.youtube.com/watch?v=s3oL...
What the latest What If? video in collaboration with
@minuteearth.bsky.social!
www.youtube.com/watch?v=s3oL...
How long would you survive with no DNA?
YouTube video by xkcd's What If?
www.youtube.com
January 21, 2026 at 8:27 PM
How long would you survive with no DNA?
What the latest What If? video in collaboration with
@minuteearth.bsky.social!
www.youtube.com/watch?v=s3oL...
What the latest What If? video in collaboration with
@minuteearth.bsky.social!
www.youtube.com/watch?v=s3oL...
Ich freue mich, mal wieder beim Software Architecture Summit in München dabei zu sein - ich mache einen Workshop zu "Data-Oriented Programming”.
software-architecture-summit.de/modeling-und...
Early-Bird läuft noch bis Donnerstag, für den Code sas_trainer_15_mar2026 gibt es 15% Rabatt.
software-architecture-summit.de/modeling-und...
Early-Bird läuft noch bis Donnerstag, für den Code sas_trainer_15_mar2026 gibt es 15% Rabatt.
Data-Oriented Programming - Software Architecture Summit
software-architecture-summit.de
January 21, 2026 at 2:02 PM
Ich freue mich, mal wieder beim Software Architecture Summit in München dabei zu sein - ich mache einen Workshop zu "Data-Oriented Programming”.
software-architecture-summit.de/modeling-und...
Early-Bird läuft noch bis Donnerstag, für den Code sas_trainer_15_mar2026 gibt es 15% Rabatt.
software-architecture-summit.de/modeling-und...
Early-Bird läuft noch bis Donnerstag, für den Code sas_trainer_15_mar2026 gibt es 15% Rabatt.
Reposted by Mike Sperber
After lunch, #BOBkonf2026 track A continues with @huehnken.de's talk "Four Fascinating Programming Languages You've Probably Never Heard Of". No spoilers in the teaser, but if you want to find out more:
bobkonf.de/2026/huehnke...
bobkonf.de/2026/huehnke...
January 19, 2026 at 9:11 AM
After lunch, #BOBkonf2026 track A continues with @huehnken.de's talk "Four Fascinating Programming Languages You've Probably Never Heard Of". No spoilers in the teaser, but if you want to find out more:
bobkonf.de/2026/huehnke...
bobkonf.de/2026/huehnke...
Reposted by Mike Sperber
As the second talk on #BOBkonf2026 track B, we'll have Franz Thoma with "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook", introducing a structured approach for communicating reusable UI components between designers and developers.
More: bobkonf.de/2026/thoma.h...
More: bobkonf.de/2026/thoma.h...
BOB - Bridging the Gap Between UX Design and Development: Atomic Design & Storybook
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
bobkonf.de
January 16, 2026 at 9:16 AM
As the second talk on #BOBkonf2026 track B, we'll have Franz Thoma with "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook", introducing a structured approach for communicating reusable UI components between designers and developers.
More: bobkonf.de/2026/thoma.h...
More: bobkonf.de/2026/thoma.h...
Reposted by Mike Sperber
Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!
January 15, 2026 at 2:48 PM
Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!
Reposted by Mike Sperber
As the second talk on #BOBkonf2026's track A, Paul-Elliot will present "Going back in time with the Undoable Monad" and talk about how monads are a way to embed a “computing” DSL in a programming language.
More detail: bobkonf.de/2026/paul-el...
More detail: bobkonf.de/2026/paul-el...
January 15, 2026 at 9:00 AM
As the second talk on #BOBkonf2026's track A, Paul-Elliot will present "Going back in time with the Undoable Monad" and talk about how monads are a way to embed a “computing” DSL in a programming language.
More detail: bobkonf.de/2026/paul-el...
More detail: bobkonf.de/2026/paul-el...