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...
Speaker des Software Architecture Forum 2026
Speaker des Software Architecture Forum 2026
🐦️ 𝗕𝗶𝘀 𝗱𝗶𝗲𝘀𝗲𝗻 𝗗𝗼𝗻𝗻𝗲𝗿𝘀𝘁𝗮𝗴 𝗧𝗶𝗰𝗸𝗲𝘁 𝘀𝗶𝗰𝗵𝗲𝗿𝗻 & 𝟭𝟬𝟬 € 𝘀𝗽𝗮𝗿𝗲𝗻!🥳
• 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" at BOBkonf 2026. The audience is partially visible.
Paul-Elliot gives his talk on "Undoable Monad" on talk track A of #BOBkonf2026.
NicolasRinaudo presents "Encoding Effects as Capabilities" at Bobkonf 2026.
NicolasRinaudo closes out #BOBkonf2026 's talks block A with "Encoding Effects as Capabilities"
Manuel Chakravarty presents his talk "SwiftUI is functional" at BOBkonf 2026.
The final talk on track B of #BOBkonf2026 is @tacticalgrace.justtesting.org 's "SwiftUI is functional":
Holger Tiemeyer teaches his tutorial "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus" at BOBkonf 2026.
Holger Tiemeyer closes out tutorial track B at #BOBkonf2026 with "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus".
Andres Löh teaches his "Haskell tutorial" at BOBkonf 2026.
The last tutorial on block A at #BOBkonf2026 is Andres Löh's "Haskell tutorial".
Alexander Thiemann presents his talk "Using Domain Driven Design to Refactor Stripe Billing" at BOBkonf 2026.
Alexander Thiemann starts off the last talks track B block at #BOBkonf2026 with "Using Domain Driven Design to Refactor Stripe Billing".
Hannes Mehnert gives his talk "Run your own digital infrastructure using MirageOS unikernels" at Bobkonf 2026.
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 presents "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" at BOBkonf 2026.
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 BOBkonf 2026. The slide on the wall is entitled "Z and the divisibility claim".
Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at #BOBkonf2026.
Alex Ackermann and Dr. Irmhild Rogalla present their accessibility tutorial "Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme" at Bobkonf 2026.
Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:
Michael Koppmann teaches his tutorial "Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)" at Bobkonf 2026.
Tutorial track A at #BOBkonf2026 continues after a brief coffee break with "Illegal States Are My Favorite Security Vulnerabilities"—here's Michael Koppmann teaching:
Fritz Henglein presents his talk "Programming Efficient Joints" at Bobkonf 2026.
On talks track B at #BOBkonf2026, Fritz Henglein presents "Programming Efficient Joints" to a freshly caffeinated audience.
Markus Himmel presents his talk "Proofs for programs, programs for proofs" at Bobkonf 2026. A slide titled "Matching on empty types" is visible on the wall.
We're caffeinated and ready to continue! #BOBkonf2026 talks track A brings us Markus Himmel with "Proofs for programs, programs for proofs".
Markus Schlegel presenting "Git meets Linked Data" at #BOBkonf2026.
Markus Schlegel gives his talk "Git meets Linked Data" at #BOBkonf2026.
Nicolas Osborne presenting his talk "Generating tests from formal specification" at Bobkonf 2026.
Next on talks track A: Nicolas Osborne presents "Generating tests from formal specification" at #BOBkonf2026.
Carine Morel and Sudha Parimala teaching their tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml" at BOBkonf 2026.
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 a tutorial on functional programming in typescript at Bobkonf 2026.
Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.
Till Rauch and Falk Sippach give their (German-language) talk "FP für vielbeschäftigte Javaentwickler"
First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".
Lutz Hühnken speaks about "four fascinating programming languages" at BOBkonf 2026.
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".
Franz Thoma speaks on "Atomic Design & Storybook" at BOBkonf 2026.
On #BOBkonf2026 talks track B, Franz Thoma gives his talk on "Atomic Design & Storybook".