Tessera
Folgen

Mike Sperber

@sperbsen.bsky.social

Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen

148 Posts419 Follower205 Folgt
Active Group GmbH@active-group.de · yesterday

Unser Training zum iSAQB-Curriculum ist fertig und steht vor der Akkreditierung. Erste Kurse gibt's ab 7.10. in Hamburg und ab 30.11. online. www.active-group.de/de/schulung/...

Active Group

active-group.de

iSAQB® - International Software Architecture Qualification Board@isaqb.bsky.social · 2d ago

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 What if you could prevent software defects before they become expensive problems? @lars.mastodon.hupel.info.ap.brid.gy explains why #FormalMethods are more practical than many think. 👉️ t1p.de/3cr0d #iSAQB #CPSA

Formal Methods: Interview with Lars Hupel on Preventing Costly Software Defects
Mike Sperber@sperbsen.bsky.social · yesterday

It was excellent working with Lars on the curriculum. Our training is ready and about to go accreditation, and we're offering the first batch of trainings in the fall/winter. We'll have lots to say about true software verification and FM architecture. www.active-group.de/en/training/...

Active Group

active-group.de

iSAQB® - International Software Architecture Qualification Board@isaqb.bsky.social · 2d ago

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 What if you could prevent software defects before they become expensive problems? @lars.mastodon.hupel.info.ap.brid.gy explains why #FormalMethods are more practical than many think. 👉️ t1p.de/3cr0d #iSAQB #CPSA

Formal Methods: Interview with Lars Hupel on Preventing Costly Software Defects
iSAQB® - International Software Architecture Qualification Board@isaqb.bsky.social · 2d ago

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 What if you could prevent software defects before they become expensive problems? @lars.mastodon.hupel.info.ap.brid.gy explains why #FormalMethods are more practical than many think. 👉️ t1p.de/3cr0d #iSAQB #CPSA

Formal Methods: Interview with Lars Hupel on Preventing Costly Software Defects
Knut Cordsen@cordsenknut.bsky.social · 4w ago

Der neue Heinz Strunk lässt einen endlich die akkurate Formulierung für die irritierende Smartphone-Haltung junger Menschen finden: “Sie hält ihr Telefon flach vor den Mund, wie ein Knäckebrot, in das sie gleich beißen würde.” Chapeau!

Bild
BOB Konferenz@bobkonf.de · 4w ago

Our partner conference @opensecurityconf.bsky.social takes place in November, and registration for OSCO 2026 is now open! If you're interested in security, OSCO offers a relaxed, diverse open space format for you to meet like-minded folks. More information: register.opensecurityconference.org

Home

Welcome to the Open Security Conference (osco), the people-centred international gathering for everyone interested in cybersecurity. Join us 5-8 November 2026 in Rückersbach, Germany.

opensecurityconference.org

Arnaud@pankzsoft.net · 4w ago

I love BOBKonf, it's such an enjoyable conference, I wish I could attend every year but sometimes I cannot. Definitely will try to be there in 2027. And besides I love Berlin :)

BOB Konferenz@bobkonf.de · 4w ago

Save the date: #BOBkonf2027 takes place Friday, 26 February 2027, at Scandic Hotel Potsdamer Platz in Berlin! Until then, why not re-watch some (or all!) of the excellent talks from previous conferences on our website? You can find them via bobkonf.de/archive/ #BOBkonf

BOB Konferenz 2027 logo. A stick figure head with three red hairs growing from its head peeks over a black line. The Berlin skyline is faintly visible in the background. The Words "BOB 2027" are printed large, with BOB in black and 2027 in red. Underneath the word BOB the word "Konferenz" (German for conference) is printed. Under the line there's black text that reads "26 February in Berlin"
Active Group GmbH@active-group.de · 4w ago

Was für den Kalender: am 26. Februar 2027 geht unsere Hauskonferenz, die BOB, in die nächste Runde! Weitere Infos unter bobkonf.de oder hier auf Bluesky: @bobkonf.bsky.social

bobkonf.de

BOB Konferenz@bobkonf.de · 4w ago

Save the date: #BOBkonf2027 takes place Friday, 26 February 2027, at Scandic Hotel Potsdamer Platz in Berlin! Until then, why not re-watch some (or all!) of the excellent talks from previous conferences on our website? You can find them via bobkonf.de/archive/ #BOBkonf

BOB Konferenz 2027 logo. A stick figure head with three red hairs growing from its head peeks over a black line. The Berlin skyline is faintly visible in the background. The Words "BOB 2027" are printed large, with BOB in black and 2027 in red. Underneath the word BOB the word "Konferenz" (German for conference) is printed. Under the line there's black text that reads "26 February in Berlin"
Kent Beck@kentbeck.com · 4w ago

"If these tools are so good, where's all the magic software?" I see more bugs now, in software that was rock solid before. The uncomfortable question: when does that hit something load-bearing? Has it already?

Active Group GmbH@active-group.de · last mo.

Heute in einer Woche, am 9. Juli, sind @sperbsen.bsky.social und Kollege Till Rauch beim vom @jugs.org organisierten Java-Forum Stuttgart -- vorbeischauen lohnt sich! Links zu den Vorträgen finden Sie in den zitierten Beiträgen (zwei Ebenen–bitte klicken :) )

Active Group GmbH@active-group.de · 2mo ago

Auch Kollege Till Rauch wird beim @jugs.org Java-Forum Stuttgart 2026 am 9. Juli dabei sein: gemeinsam mit Falk Sippach (embarc Software Consulting GmbH) hält er dort den Vortrag "Funktionale Programmierung in Java. Was wir von Haskell lernen können". www.java-forum-stuttgart.de/vortraege/fu...

Open Security Conference@opensecurityconf.bsky.social · last mo.

It's that time of the year! 🎉 The registration for the Open Security Conference 2026 is officially open. 🗓️ 5-8 November 2026 📌 Rückersbach, Germany (close to Frankfurt am Main) ➡️ opensecurityconference.org/conference/r... #osco #osco26 #Security #CyberSecurity #InfoSec #AppSec #OTSecurity [lisi]

Registration

Welcome to the Open Security Conference (osco), the people-centred international gathering for everyone interested in cybersecurity. Join us 5-8 November 2026 in Rückersbach, Germany.

opensecurityconference.org

BOB Konferenz@bobkonf.de · last mo.

Video of Alexander Thiemann's #BOBkonf2026 talk "Using Domain Driven Design to Refactor Stripe Billing" is now up on our website! bobkonf.de/2026/alex-th... #BOBkonf

BOB - Using Domain Driven Design to Refactor Stripe Billing

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

bobkonf.de

BOB Konferenz@bobkonf.de · 5mo ago

Alexander Thiemann starts off the last talks track B block at #BOBkonf2026 with "Using Domain Driven Design to Refactor Stripe Billing".

Alexander Thiemann presents his talk "Using Domain Driven Design to Refactor Stripe Billing" at BOBkonf 2026.
Edwin Brady@edwin.type-driven.org.uk · last mo.

Over on another social network I've been encouraging techie types to indulge in bad art so I thought I'd do it here too. One of my favourite hobbies these days is making bad art. It's how I remember I'm human. Remember you're human, whatever else life makes you do.

A t-shirt which says "AI slop is not art, Chatbots are not your friends"
BOB Konferenz@bobkonf.de · last mo.

Video of Hannes Mehnert's #BOBkonf2026 talk "Run your own digital infrastructure using MirageOS unikernels" is now up on our website! bobkonf.de/2026/mehnert... #BOBkonf

BOB - Run your own digital infrastructure using MirageOS unikernels

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

bobkonf.de

BOB Konferenz@bobkonf.de · 5mo ago

The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert and "Run your own digital infrastructure using MirageOS unikernels"

Hannes Mehnert gives his talk "Run your own digital infrastructure using MirageOS unikernels" at Bobkonf 2026.
Haskell Interlude@haskellinterlude.bsky.social · last mo.

In today’s episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contributors to GHC. He tells us about his work on GHC, the bignum library, modularization, and the secret to becoming a top contributor! haskell.foundation/podcast/84/

Sylvain Henry

In this episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contributors to GHC. He tells us about his work on GHC, the bignum library, modularization, and the se...

haskell.foundation

Software Architecture Gathering@sagconference.bsky.social · last mo.

𝗢𝘂𝗿 𝗕𝗹𝗶𝗻𝗱 𝗕𝗶𝗿𝗱 𝗷𝘂𝘀𝘁 𝗼𝗽𝗲𝗻𝗲𝗱 𝗼𝗻𝗲 𝗲𝘆𝗲 🐦️😉 Surprise! While our Blind Bird ticket is still available until Tuesday, June 30, we're already revealing the first highlights of #SAG2026! 🥳 Take a first look at the growing program and get your Blind Bird ticket before prices increase next week! 👉️ t1p.de/hgd0g

First SAG 2026 Speakers Confirmed!
BOB Konferenz@bobkonf.de · last mo.

Video of Martin Grotzke's #BOBkonf2026 talk "Zuverlässig laden — Reactive Systems im Einsatz für E-Mobility" is now up on our website! bobkonf.de/2026/grotzke... #BOBkonf

BOB - Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

bobkonf.de

BOB Konferenz@bobkonf.de · 5mo ago

Martin Grotzke gives his talk "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" on talk track B at #BOBkonf2026

Martin Grotzke presents "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" at BOBkonf 2026.