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

Video of Philipp Kant's #BOBkonf2026 talk "Zero Knowledge Proof? That Sounds Useless!" is now up on our website!

https://bobkonf.de/2026/kant.html #BOBkonf

It was hectic, a bit chaotic, there's a lot of intelligible questions and discussion. I spoke super fast and still ran out of time. To be honest, it's not a great talk to watch as a recording.
But still, if you weren't there, you missed out. There was a great vibe in the room, we had good fun. My talk on "Four Fascinating Programming Languages You've Probably Never Heard Of":

https://tinyurl.com/j5z2my44

#programminglanguages #programming #bobkonf

Four Fascinating Programming Languages You've Probably Never Heard Of - Lutz Hühnken

YouTube

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

Video of Fritz Henglein's #BOBkonf2026 talk "Programming Efficient Joins" is now up on our website!

https://bobkonf.de/2026/henglein.html #BOBkonf

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

Markus Schlegel's #BOBkonf2026 talk "Git meets Linked Data—A Tale of Unusual Architecture" is now up for you to (re-)watch: https://bobkonf.de/2026/schlegel.html #BOBkonf

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

Video of Franz Thoma's #BOBkonf2026 talk "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook" is now up for you to rewatch!

https://bobkonf.de/2026/thoma.html #BOBkonf

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!