Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person.
Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" dabei. Angesetzter Termin für den Vortrag ist der 1. Oktober um 15:35.
Neugierig geworden? Mehr Informationen gibt's hier ↓
https://www.heise-devsec.de/veranstaltung-83802-0-kugelsichere-software-mit-formalen-methoden.html
Pontificating in the shower drain of languages.
Am 10. Juli 2025 findet das Java Forum Stuttgart statt. Active-Group-Softwarearchitekt Markus Schlegel ist mit dem Vortrag "Decoupled by Default" als Speaker dabei. AG-C*O @sperbsen hält den Vortrag "Java gestern, heute und morgen" -- gemeinsam mit Falk Sippach.
Why is there a pic of an Altair 8800 (?) in this article? https://www.heise.de/news/Oesterreichs-Regierung-will-Altersgrenzen-in-Sozialen-Netzen-durchsetzen-10450644.html
We've extended the deadline for FUNARCH 2025 to June 23rd.
Know something about what makes functional programming work in the large? Write it up!
https://conf.researchr.org/home/icfp-splash-2025/funarch-2025
Is there a name for the existential and physical agony one experiences when hearing "we prepared a Miro board"?
Im Interview des SPIEGEL mit dem WhatsApp-Chef schafft es dieser aufgrund ungenauer Nachfragen wieder einmal die eigentliche Antwort zu umgehen. Stattdessen erzählt er wieder die Geschichte von der angeblichen Ende-zu-Ende-Verschlüsselung: WhatsApp und META lesen mit, wann ihr mit wem sprecht, das ist schon mehr Ausspionieren als technisch notwendig. Meine Empfehlung: Spätestens jetzt die Reißleine ziehen
The greatest trick the devil ever pulled ... was convincing internet communities to switch from email lists / IRC / another open standard to Slack / Discord. The latest example of a “it's only free while we say it's free" is CNCF’s / Kubernetes's Slack - https://github.com/kubernetes/community/blob/master/communication/slack-migration-faq.md - who it appears have *4 days* to backup their history (for a server with 100,000s of users)
Neither Slack nor Discord are reasonable, serious, professional, options for open community discussion. They are either too expensive, and/or involve inappropriate advertising. And who knows when Discord will start pulling this kind of behaviour, too, requiring large communities to pay?
The problem is today when anyone says "can't we just use an email list?" they are pooh-pooh'ed as being horribly out of touch. Hence why even the linked FAQ describes Discord as the only likely exit plan for Kubernetes. What a mess.
Today is the day! Make sure you don't miss today’s deadline to submit to The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#About
Only a single week to go until the deadline on Monday, June 16th: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#FUNARCH-2025-Call-for-Papers
In this episode we learn about Andy Gordon’s work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language.
Vom 30.6.-2.7.2025 hält @sperbsen in Hamburg eine #iSAQB-akkreditierte Schulung zum Thema "Domänenspezifische Sprachen" (https://www.active-group.de/schulung/DSL/) Durchgeführt wird diese zusammen mit unseren Kollegen bei oose, dort kann man sich auch anmelden: https://www.oose.de/seminar/domanenspezifische-sprachen-dsl
Noch sind Plätze frei!
Kann ich das auch mit nem Eszet kriegen?
https://skeptics.social/@threecoloured/112904782364883841
Wir machen von “Quartett" noch eine Privatvorstellung am 14.6. nachmittags in Hamburg. Falls Ihr dabei sein wollt, schickt mir ne DM.
Du möchtest die Tübinger Tage der digtalen Freiheit (26./27. Juli) mitgestalten? Am 15. Juni um 15 Uhr gib es eine Online-Einführung für alle, die mit (h)elfen wollen.
Was „TDF“?
Welche Orga-Teams gibt es?
Wie wird man Elfe?
Hier geht es zum Meeting: https://cttue.de/tdf-help
The deadline for FProper (SIGPLAN Workshop on Functional Programming for Productivity and Performance) full-paper abstracts has been extended to June 14th. (Which is also when the papers themselves are due.)
Send us your paper!
https://conf.researchr.org/home/icfp-splash-2025/fproper-2025
I'm finding the intersection of significant whitespace and my editor's "smart indent" behavior to be somewhat treacherous. As I have noted before, I have done Scala for a long time so I'm used to everything being venomous, but this is probably really frustrating for beginners.
Was hat die #CoronaWarnApp so erfolgreich gemacht?
Darüber habe ich, gemeinsam mit
Wolfgang Scheida und Justus Benzler aus dem @RKI einen wissenschaftlichen Artikel geschrieben. 📝
Es geht u.a. um die Stärken & Schwächen in der Entwicklung & der Kommunikation, die Open-Source Entwicklung und im Fazit ziehen wir ein kleines "Lessons Learned" für zukünftige Projekte dieser Art.
Hier könnt ihr das Ganze lesen: https://rdcu.be/en8Fa
Schreibt eure Meinung zum #CWA Projekt in die Kommentare! ⬇️
📲 48 Millionen Mal wurde sie heruntergeladen und hat geholfen, Infektionsketten zu beenden: die #CoronaWarnApp, eines der größten öffentlichen Digitalprojekte Deutschlands.
5 Jahre nach dem Launch haben RKI-Kollegen analysiert, warum die #CWA so erfolgreich war.
🔗 https://link.springer.com/article/10.1365/s35764-025-00555-4
