It was nice to see so many functional programming people at #bobkonf. And then so many interesting talks covering #haskell #scala #OCaml -- well done, thanks to the organizers
I had a packed room with a great, curious audience today. Really good vibes, thanks to everyone who attended. And thanks to @bobkonf of course for inviting me to speak! #bobkonf

RE: https://discuss.systems/@bobkonf/116221261428106677

I showed up this morning at breakfast at #bobkonf looking forward to some relaxed listening to tasks, when the organizer approached me and asked if can spontaneously fill a slot. So I did and gave a #leanProver talk. This keeps happening to me, that's how I ended up giving a talk here last year 🤷🏻

Super excited to head to #berlin this morning. I’ll spend a day at our HQ, on Prenzlauer Allee, then shift into #bobkonf mode. BobKonf is one of the rare tech conferences that actually excites me.

It’s gloriously functional and academic and a stark contrast to the tech industry driven “though shalt invest yourself in this product..” crap you find elsewhere. Looking forward to the content and the people!

Nice little 🇩🇪 article about @bobkonf

➡️ https://www.heise.de/news/BOB-Konferenz-2026-Vortraege-zur-funktionalen-Programmierung-und-mehr-11115696.html

It's a small-ish conference with a community feel for people who want to explore (and push) the boundaries of software development. The tagline is "What happens when we use what's best for a change?". Great that it gets some media attention. (And seeing my own talk mentioned feels a bit like earning a trophy on Playstation 😀. Achievement unlocked 🏆.)

#conference #programminglanguages #bobkonf

BOB-Konferenz 2026: Vorträge zur funktionalen Programmierung und mehr

Die Konferenz bringt Vorträge und Tutorials zu Themen jenseits des Mainstreams und KI, von denen sich viele mit funktionaler Programmierung beschäftigen.

heise online

I am dissatisfied with the status quo. This is the conference for me. #bobkonf

https://bobkonf.de/2026/en/

pleroma/cypherpunk.observer

Three weeks until @bobkonf in Berlin. If you want to attend (for example to hear me talk about some programming languages you might find interesting) and don't have a ticket yet, use the code FRIEND-OF-A-SPEAKER-BOB2025 to get a 12.5% discount.

https://bobkonf.de/2025/huehnken.html

#conference #programminglanguages #bobkonf

BOB - Four Fascinating Programming Languages You've Probably Never Heard Of

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

Super excited to be at @bobkonf again next year. The conference feels very communal, speakers and attendees discussing as peers. And also, for once I'm not going to talk about event-driven architecture. I'll speak about innovation in general purpose programming languages. So if you've had enough of me preaching EDA already, you might still want to join me there. https://bobkonf.de/2025/huehnken.html

#bobkonf #conference #programminglanguages

BOB - Four Fascinating Programming Languages You've Probably Never Heard Of

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

Auf zur #bobkonf!
Join us at the upcoming @elixirberlin meetup where we'll be diving into the world of functional programming with the Clojure and Elixir communities. See you there, and don't forget, Bobkonf starts right after! #functionalprogramming #clojure #elixir #Bobkonf
Akkoma