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
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 🏆.)
I am dissatisfied with the status quo. This is the conference for me. #bobkonf
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.
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