BOB Konferenz
Our website: https://bobkonf.de
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
@leaninginconf.bsky.social
A workshop for Lean enthusiasts and practitioners. March 13, 2025 — Berlin https://leaning.in
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@activegroupgmbh.bsky.social
happiness through functional programming Website: https://active-group.de Fediverse: @activegroupgmbh@discuss.systems Unsere Konferenz: @bobkonf.bsky.social
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace