Open Security Conference @opensecurityconf.bsky.social Welcome to the official account of the Open Security Conference (#osco), the people-centred international gathering for everyone interested in cybersecurity.
https://opensecurityconference.org/
iSAQBยฎ - International Software Architecture Qualification Board @isaqb.bsky.social The Leading International Association for Certification and Training of Software Architects | www.isaqb.org | #iSAQB
Arnaud @pankzsoft.net
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from ๐ง๐ช, living in Nantes. I'm a wannabe software engineer who tweets in rough ๐ซ๐ท and catastrophic ๐ฌ๐ง! I'm interested in functional programming (with statically typed languages).
๐ซ๐ท https://xvw.lol, ๐ฌ๐ง https://xvw.lol/en
TNG Technology Consulting GmbH @tngtech.com TNG Technology Consulting GmbH is a values-based consulting partnership focused on high end information technology.
https://www.tngtech.com/en/
Leaning In! @leaninginconf.bsky.social A workshop for Lean enthusiasts and practitioners.
March 12, 2026 โ Berlin
https://leaning.in
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Active Group GmbH @active-group.de happiness through functional programming
Website: https://active-group.de
Fediverse: @activegroupgmbh@discuss.systems
Unsere Konferenz bei Bluesky: @bobkonf.de
Andres Lรถh @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.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Manuel Chakravarty @tacticalgrace.justtesting.org ๐ฅ Lambda Scientist
๐ก Functional programming
๐ก Programming languages
๐ก Cryptography
๐จ๐ฝโ๐ป Swift, Haskell & Agda
๐ Volt ๐ช๐บ policy shaper: digital affairs
๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ