iiinova — where your digital self keeps evolving

Reposted by Mike Sperber

Grace, Shahbanu Empress of the Known Universe 🐝 @shahbanu.kawaii.social · 26/09/2026

therefore a computer must never make a fashion decision

Reposted by Mike Sperber

Bijan Moini @bijanmoini.de · 26/09/2026

Ich werde nie verstehen, wie Menschen auf Goethe, Weihnachten und die Nationalmannschaft (als sie noch weiß war …) stolz sein können, nicht aber darauf, dass dieses Land seit 2015/16 so vielen Menschen Schutz geboten und insbesondere vielen Kindern ein Leben mit Perspektiven geschenkt hat.

371056232

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 25/09/2026

I will talk about the embedded Accelerate array language in Haskell, in two weeks at MuniHac: justtesting.org/a/3mwdfeghhx...

justtesting.org

Accelerate your numeric code in Haskell at MuniHac 2026

An embedded array language in Haskell for multicore CPU and GPU systems

0143

Reposted by Mike Sperber

TNG Technology Consulting GmbH @tngtech.com · 23/09/2026

Don't miss our yearly Haskell gathering from October 9th - 11th at TNG's headquarters. Feel free to register here for #Munihac 👉 munihac.de/2026.html

053

Reposted by Mike Sperber

Markus Harrer @markusharrer.de · 22/09/2026

Claude Opus 5.5 completed a 680,000-line code migration in under a day. It converted the files from ASCII to UTF-8 using the iconv command on Bash.

183

Reposted by Mike Sperber

knoxxi @linksrheiner.de · 21/09/2026

Herzlichen Glückwunsch @afelia.bsky.social zum Verdienstorden der Bundesrepublik Deutschland Höchstverdiente Auszeichnung!

Marina Weisband,
Münster/Nordrhein-Westfalen Nicht nur zuzuschauen, sondern aktiv mitzugestalten, das war für Marina Weisband schon als Studentin eine Selbstverständlichkeit. Als Geschäftsführerin der Piratenpartei wurde sie das Gesicht einer neuen politischen Generation. Dabei widmete sie sich vor allem digital- und bildungspolitischen Themen. Diesen ist sie stets treu geblieben: So hat Marina Weisband 2014 das Projekt "aula - ausdiskutieren und live abstimmen" geschaffen - eine digitale Plattform für junge Menschen, mit der sie Angelegenheiten, die ihre Schulen oder Vereine betreffen, selbst gestalten können. Seit 2022 ist Marina Weisband zudem als ehrenamtliche Beiratin in der Stiftung Bildung aktiv. In Vortragen, zahlreichen Publikationen und online klärt sie unermüdlich über Faschismus, Rassismus sowie Antisemitismus auf und tritt mit beispielhafter
Entschlossenheit für eine demokratische Gesellschaft ein.

601712349

Reposted by Mike Sperber

BOB Konferenz @bobkonf.de · 21/09/2026

They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...

0127

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 15/09/2026

We're joined by Michael Hanus, a professor at CAU and creator of Curry, a functional-logic language that resembles Haskell. We talked about what functional logic programming is, how it improves over plain FP, and the challenges of semantics and implementation. haskell.foundation/podcast/86/

haskell.foundation

Michael Hanus

In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic programming, the combination of logic and functional pr...

0132

Reposted by Mike Sperber

Software Architecture Summit @softwarearchsummit.bsky.social · 14/09/2026

OOD ist aus der Praxis verschwunden – aber was ist geblieben? @sperbsen.bsky.social fragt in seiner Keynote, was davon geblieben ist – und welche Prinzipien heute noch tragen. 🔗 software-architecture-summit.de/mod…

021

Mike Sperber @sperbsen.bsky.social · 11/09/2026

Wir haben über ein Jahr zu viert an der Vorbereitung des Trainings gearbeitet. Jetzt ist es endlich so weit, und wir freuen uns riesig, daß es endlich losgeht und daß formale Methoden (insbesondere formale Spezifikationen) jüngst endlich etwas Aufmerksamkeit bekommen haben.

032

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 11/09/2026

Unsere neue @isaqb.bsky.social-Schulung: „FM – Formale Methoden“ mit @sperbsen.bsky.social - wie korrekte Software durch mathematische Beweise sichergestellt werden kann. 5.10. - 7.10.2026, 9:00 - 17:00 Uhr oose.campus | Schomburgstraße 50 | 22767 Hamburg Anmeldung: www.oose.de/seminar/form...

011

Reposted by Mike Sperber

BOB Konferenz @bobkonf.de · 10/09/2026

#BOBkonf registration is now open! Come and get your massively reduced pig-in-a-poke ticket to #BOBkonf2027: bobkonf.de/2027/registr...

bobkonf.de

032

Mike Sperber @sperbsen.bsky.social · 10/09/2026

This IMHO is the greatest thing since sliced bread: Now that Apple has discontinued the AFP protocol of old Time Capsules, James Chang figured out that the TC firmware is based on NetBSD, hacked it to provide SMB, and did a UI frontend to make it super-easy to install. github.com/jamesyc/Time...

github.com

GitHub - jamesyc/TimeCapsuleSMB: Hacking the Apple AirPort Time Capsule to run modern Samba

Hacking the Apple AirPort Time Capsule to run modern Samba - jamesyc/TimeCapsuleSMB

152

Mike Sperber @sperbsen.bsky.social · 08/09/2026

I'll be at the @isaqb.bsky.social Software Architecture Gathering and talk about the most important topic in programming (and architecture): abstraction.

Promo picture saying “Software Architecture Gathering, November 16-19, 2026, Berlin”, and then
“Official Speaker: Mike Sperber”

121

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 07/09/2026

In ca. einem Monat ist @sperbsen.bsky.social beim Software-Architecture-Summit -- noch gibt es Tickets!

012

Reposted by Mike Sperber

Type Theory Forall @ttforall.bsky.social · 05/09/2026

We also dive into Racket, programming language design, and Shriram’s decades of experience thinking about how we teach people to reason about programs. A fascinating conversation! ▶️ twp.ai/4hvacX 3/3

twp.ai

youtu.be

0205

Reposted by Mike Sperber

BOB Konferenz @bobkonf.de · 03/09/2026

The #BOBkonf2027 Call for Contributions is live! We're accepting submissions until 2 November 2026. More information regarding the call can be found here: bobkonf.de/2027/cfc.html

bobkonf.de

087

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 31/08/2026

Am 12.10.2026 ist Active-Group-CEO @sperbsen.bsky.social mit seinem Vortrag "Teaching Software Architecture using Scala" bei den Scaladays in Berlin. Interesse? Noch gibt es Tickets. Mehr Infos zum Vortrag: scaladays.org/session/teac...

scaladays.org

Teaching Software Architecture using Scala

At Active Group, we have taught more than 30 three-day trainings on Functional Software Architecture since 2019, mostly to audiences with little or no prior exposure to functional programming. For the...

011

Reposted by Mike Sperber

boarders.bsky.social @boarders.bsky.social · 29/08/2026

The concept of ‘language levels’ from racket is, to me, one of the great unsung ideas in computing. Imagine photoshop with extensible affordances gated to your current skill level, or a coding harness, or R studio, or a browser, or a terminal. To me it would be the welcome anti-philosophy to RTFM

5307

Reposted by Mike Sperber

Junrui Liu @junrui-liu.bsky.social · 29/08/2026

Watching this and nodding along to so many things (as I'm procrastinating on prepping for my next lecture on design recipes in Racket)

082

Mike Sperber @sperbsen.bsky.social · 29/08/2026

It's the day of @funarch.bsky.social ! I'll give my talk on Local-First Distributed Configuration in about 2 hours here, and you can watch it remotely! www.youtube.com/watch?v=c0pw...

youtube.com

[ICFP 2026] IP139 Kelley - FUNARCH (Aug 29th)

YouTube video by ACM SIGPLAN

020

Reposted by Mike Sperber

Ashley @ashleysays.bsky.social · 27/08/2026

Chefs kiss

12455331679

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 27/08/2026

Keen on some Haskell in October? I’ll be at MuniHac (9-11 October), giving a keynote on 9 October about the Accelerate EDSL for numeric computing: munihac.de/2026.html#Ma...

0134

Reposted by Mike Sperber

Haskell Interlude @haskellinterlude.bsky.social · 26/08/2026

In today’s episode, we’re joined by Brent Yorgey, Associate Professor of CS at Hendrix College and the creator of the Diagrams vector graphics library and Swarm, a 2D programming and resource gathering game. We talk about teaching, DSLs, and competitive coding. haskell.foundation/podcast/85/

haskell.foundation

Brent Yorgey

In today's episode, we're joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix College and the creator, among other things, of the Diagrams vector graphics library and Swarm, a 2...

096

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 23/08/2026

New blog post: earlier this year, I presented at @bobkonf.de, arguing that “SwiftUI is functional”, I positioned SwiftUI’s approach in the context of the OOish MVC and the FPish MVU architectures. Here are the abstract and the video of the talk: justtesting.org/a/3mtpblfgfj...

justtesting.org

SwiftUI is functional

My talk from BOBkonf 2026

1105

Reposted by Mike Sperber

P(aul) Frazee @pfrazee.com · 22/08/2026

Every object oriented language introduction starts with showing the clean hierarchy of dog and cat inheriting from animal, while every real codebase is like

14874141

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 12/08/2026

Am 12.11.2026 ist Active-Group-CEO @sperbsen.bsky.social mit seinem Vortrag "Testbarkeit als Architekturprinzip" beim Software-QS-Tag in Frankfurt am Main. Anhören lohnt sich! Weitere Infos unter www.qs-tag.de/abstracts/te...

qs-tag.de

Abstracts

031

Reposted by Mike Sperber

Phillips OBrien @phillipspobrien.bsky.social · 27/07/2026

Latest free piece is out. Praising a racist, conspiracist, anti-democratic, Trump-worshipper because she takes one position you like is a dangerous move and is to be regretted. The struggle is basically the same in the US and Ukraine. open.substack.com/pub/phillips...

open.substack.com

It Is All One

Because a Racist, Conspiracist, Anti-Democrat, Oppression-Supporting, Trump-Worshipper Takes One Good Position, Does Not Make Her Worthy Of Praise

1224077

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 04/08/2026

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.de

Active Group

011

Mike Sperber @sperbsen.bsky.social · 04/08/2026

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.de

Active Group

010

Reposted by Mike Sperber

iSAQB® - International Software Architecture Qualification Board @isaqb.bsky.social · 03/08/2026

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 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

022

Reposted by Mike Sperber

Richard Seidl - Future Optimist - People & Tech Enthusiast @richard-seidl.com · 30/07/2026

"Testing is not about preventing errors anymore. It's about learning what is working and what is not." Jean-Francois Riverin spent 20 years asking what he did wrong. The answer changed everything. #SoftwareTesting tul.fm/dmrm

031

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 29/07/2026

Am Mittwoch, dem 14.10.2026, gibt Active-Group-C*O @sperbsen.bsky.social beim Software-Architecture-Summit eine Keynote zum Thema "Was ist eigentlich aus Objekt-Orientiertem Design geworden?". Vorbeischauen lohnt sich! Weitere Infos: software-architecture-summit.de/modeling-und...

software-architecture-summit.de

Was ist eigentlich aus Objekt-Orientiertem Design geworden? - Software Architecture Summit

011

Mike Sperber @sperbsen.bsky.social · 15/07/2026

I know I'm late to the party to @charity.wtf's post "Is it ethical to use AI?", where she argues that "AI is just technology". It's been festering inside me. (Especially as both have provided thoughtful and nuanced writing on many topics over the years.) charity.wtf/p/make-ai-bo...

charity.wtf

Is it ethical to use AI?

On externalities and engagement, the problem with purity politics, and why we need to make AI boring again

1113

Reposted by Mike Sperber

Knut Cordsen @cordsenknut.bsky.social · 11/07/2026

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!

2356

Reposted by Mike Sperber

BOB Konferenz @bobkonf.de · 10/07/2026

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

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.

065

Reposted by Mike Sperber

Arnaud @pankzsoft.net · 09/07/2026

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 :)

063

Reposted by Mike Sperber

Active Group GmbH @active-group.de · 08/07/2026

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

022

Mike Sperber @sperbsen.bsky.social · 08/07/2026

Ich werde morgen auf dem Java Forum ausnahmsweise mal Java programmieren und zeigen, wie "Data-Oriented Programming" funktioniert und warum das geil ist. www.java-forum-stuttgart.de/vortraege/da...

010

Reposted by Mike Sperber

BOB Konferenz @bobkonf.de · 08/07/2026

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

142

Reposted by Mike Sperber

Manuel Chakravarty @tacticalgrace.justtesting.org · 07/07/2026

Back in March, I talked at @bobkonf.bsky.social in Berlin about the connection between SwiftUI and functional programming. The video of that talk is up now: media.ccc.de/v/bob11-2026...

media.ccc.de

SwiftUI is functional

Scaling modern user interfaces is hard. GUI libraries simplify getting complex interfaces on the screen, but keeping UI state in sync wit...

164