Tip: NEVER use a random number. A non deterministic "solution" is unworthy of the divine touch of a turing machine

We are happy to announce our new conference partnership. Warm greetings go to @bobkonf.bsky.social Although this years edition of BOBKonf already took place in March, we are looking forward to exchanging ideas and learning from each other. Check them out at bobkonf.de #osco #osco26 #BOBkonf2026

Am 09.07.2026 ist Active-Group-Chef @sperbsen.bsky.social mit seinem Vortrag "Data-Oriented Programming—Was ist das und wie geht das?" beim Java-Forum Stuttgart, organisiert durch @jugs.org Mehr Informationen: www.active-group.de/news/2026-04...

Attention all #Haskell fans: #MuniHac, our annual Haskell gathering, will take place in Munich from October 9th to 11th. Join us for a weekend of coding, learning, and hanging out with the international Haskell community. More information and the registration: munihac.de/2026.html

Holy shit they re-invented LaTeX github.com/iamgio/quark...

A lot of the recent hype around agentic coding comes with a statement of the effect that code no longer matters, as it can be produced factory-style by LLMs. I saw this most recently as part of the "o16g Manifesto", which sees code solely as a vehicle to deliver functionality.🧵

Flattered that the good FP folks put up with me as a DB guy. Thank you for the chat, @kosmikus.bsky.social and @sperbsen.bsky.social. What a fun hour to spend!

We sat down with Torsten Grust who is a professor of DB systems at the University of Tübingen. We talked about the best way to program databases, how to bridge the gap between regular programming languages and databases, and compiling just about everything to SQL. haskell.foundation/podcast/81/

Futamura projections? Bro you cant call them that

Heute ist Girls' Day! Neun Schülerinnen aus Tübingen und Umgebung besuchen die Active Group, um den Alltag einer Softwareentwicklerin kennenzulernen. Wir ein spannendes Programm geplant; gerade gibt @sperbsen.bsky.social eine Einführung in die funktionale Programmierung mit Racket.

After a somewhat longer break, we're finally back with a new #Haskell #Unfolder episode. Tomorrow, 2026-04-22, at 18:30 UTC, Edsko and I will talk about selective applicative functors. www.youtube.com/watch?v=Yt2E...

danmcquillan.org/cpct_seminar... „The role of the university isn't to roll over in the face of tall tales about technological inevitability, but to model the forms of critical pedagogy that underpin the social defence against authoritarianism ...“

New TTFA episode I sat down with Farhad Mehta, one of the main organizers of Zurihac, the largest Haskell event in the world. We talk about: • the story behind Zurihac • what it takes to run it • Farhad’s path across academia and industry Zurihac 2026: June 6–8 in Zurich

With "Haskellers from the trenches", the #Haskell blog lets experienced engineers talk about their subjects of expertise, best practices, and production tales. We start with @iankduncan.com's "A Couple Million Lines of Haskell: Production Engineering at Mercury" blog.haskell.org/a-couple-mil...

Am 16.-17. Juni veranstaltet der iSAQB® das Software Architecture Forum in München-Unterhaching. Unser Chef Dr. Michael Sperber ist ebenfalls vertreten mit Vorträgen und wird auf dem Abschlusspanel des Forums dabeisein. Very Early Bird läuft noch bis Donnerstag! conferences.isaqb.org/software-arc...

🐦️ 𝗕𝗶𝘀 𝗱𝗶𝗲𝘀𝗲𝗻 𝗗𝗼𝗻𝗻𝗲𝗿𝘀𝘁𝗮𝗴 𝗧𝗶𝗰𝗸𝗲𝘁 𝘀𝗶𝗰𝗵𝗲𝗿𝗻 & 𝟭𝟬𝟬 € 𝘀𝗽𝗮𝗿𝗲𝗻!🥳 • 16.–17. Juni 2026 im Holiday Inn München-Unterhaching • Themen u.a.: #DDD #API #KI #Cloud #EmbeddedSystems 𝗪𝗮𝗿𝘂𝗺 𝘁𝗲𝗶𝗹𝗻𝗲𝗵𝗺𝗲𝗻? ✔ 23 #iSAQB Expert:innen ✔ 23 Sessions auf Deutsch ✔ Networking & Get-together Jetzt anmelden 👉️ t1p.de/4s17l

I shipped some stuff in Haskell. Folks said it was a bad idea. Sure it was a fifth the size, self-generated about half its tests, self generated excellent documentation, and could self-identify regressions on build and automatically add cases in. It wasn't profitable. It wasn't adware slop.

Am 20. Mai um 17:15 halten @sperbsen.bsky.social und Kollege Markus Schlegel bei der MedConf in München einen Vortrag zum Thema "Formale Methoden am Praxisbeispiel". Sie werden die Methoden und Werkzeuge an einem einfachen Herzschrittmacher auf Basis des Bresenham-Algorithmus demonstrieren.

For more than a decade, we've been running our blog on functional programming, with over 150 posts to date. Until recently, we wrote for a German-speaking audience. We now also publish many posts in English, and have also translated key posts of the pasts. Enjoy! funktionale-programmierung.de/en/

I sure find it interesting to see what other disciplines are doing in these troubled times. www.scientificamerican.com/article/why-...

I'm putting together a Pecha Kucha session for code.talks - get funky and talk about anything you want to the tune of 20 slides of 20 seconds each! It's a little hidden in the CfP - put "Undefined" for track and “Pecha Kucha" for Format. cfp.codetalks.com/call-for-pap...

Die Hoffnung, KI könnte die Einführung agiler Methoden/Code-Reviews/statischer Typen forcieren, klingt irgendwie so ähnlich, wie die Hoffnung, daß die AfD in Regierungsverantwortung den demokratischen Diskurs forciert.

Paul-Elliot gives his talk on "Undoable Monad" on talk track A of #BOBkonf2026.

NicolasRinaudo closes out #BOBkonf2026 's talks block A with "Encoding Effects as Capabilities"

The final talk on track B of #BOBkonf2026 is @tacticalgrace.justtesting.org 's "SwiftUI is functional":

Holger Tiemeyer closes out tutorial track B at #BOBkonf2026 with "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus".

The last tutorial on block A at #BOBkonf2026 is Andres Löh's "Haskell tutorial".

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

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

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

Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at #BOBkonf2026.

Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:

Tutorial track A at #BOBkonf2026 continues after a brief coffee break with "Illegal States Are My Favorite Security Vulnerabilities"—here's Michael Koppmann teaching:

On talks track B at #BOBkonf2026, Fritz Henglein presents "Programming Efficient Joints" to a freshly caffeinated audience.

We're caffeinated and ready to continue! #BOBkonf2026 talks track A brings us Markus Himmel with "Proofs for programs, programs for proofs".

Markus Schlegel gives his talk "Git meets Linked Data" at #BOBkonf2026.

Next on talks track A: Nicolas Osborne presents "Generating tests from formal specification" at #BOBkonf2026.

Tutorial track B at #BOBkonf2026 continues with @lyrm.bsky.social and Sudha Parimala's tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml".

Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.

First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".

We've had lunch and are now energised for more talks and tutorials at #BOBkonf2026! Talks track A continues with @huehnken.de 's talk "Four Fascinating Programming Languages You've Probably Never Heard Of".

On #BOBkonf2026 talks track B, Franz Thoma gives his talk on "Atomic Design & Storybook".

Théo Tyburn opens tutorial track B at #BOBkonf2026 with "Functional 3D graphics for the browser in scheme".

Tutorial track A at #BOBkonf2026 starts with Joachim Breitner's "Lean" tutorial.

On #BOBkonf2026 talks track B, Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering".

Talk track A at #BOBkonf2026 starts off with @xvw.lol 's "A crash course on the OCaml module language"!

#BOBkonf2026 is off to a great start with Stefan Kaufmann's keynote "'Digital Sovereignty' – Searching for Meaning in a Magical Concept".

The final tutorial on track A at #BOBkonf2026 is @kosmikus.bsky.social 's "Haskell Tutorial", an introduction to Haskell. Find out more: bobkonf.de/2026/loeh.html

Tutorial track A at #BOBkonf2026 continues after a tea break with Michael Koppmann's "Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)", where he demonstrates how we can model business workflows and constraints with types. Find out more: bobkonf.de/2026/koppman...

Tutorial track B at #BOBkonf2026 continues with an accessibility tutorial (in German): Irmgard Rogalla and Alex Ackermann present "Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme". Find out more: bobkonf.de/2026/rogalla...