iSAQB® - International Software Architecture Qualification Board @isaqb.bsky.social The Leading International Association for Certification and Training of Software Architects | www.isaqb.org | #iSAQB
@bnuuy-rabbit.bsky.social @bnuuy-rabbit.bsky.social 
John Clements @jbclements.bsky.social scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
Gerrit Beine @gerritbeine.bsky.social Software-Philosoph, Nimmermüder Verbesserer, In-Zettelkasten-Assimilator -- You can observe a lot by just watching. #EinHochAufDieKritik #MostNaiveDudeInSociology
These boots have seen everything. #BG3
Dietrich Daroch @dietrich.daroch.me OK-ish guitar player and mediocre cyclist, but pretty good when it comes to doing both at the same time.- M @ma3gk0m1f0r.bsky.social @ma3gk0m1f0r.bsky.social
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
@alethkit.bsky.social @alethkit.bsky.social 
Joe Moran @joemoran231.bsky.social Friend of people. Neighborhood MVP. Attempting human form. Composer.
https://xrgb.bandcamp.com
Ryan Gallagher @zero-g-ddr.bsky.social iOS Developer @Transport for London. Develops on the iOS TfL Go app: https://tfl.gov.uk/maps_/tfl-go
Opinions are my own and not my employer. LinkedIn: https://www.linkedin.com/in/ryan-gallagher-38560b232/
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@schmir.bsky.social @schmir.bsky.social 
Zachary 🦋 @zed.earth Cyber-Social Infrastructure
Program Language Designer…- T Emiel @ttyout.net
- A akuebler.bsky.social @akuebler.bsky.social
Yargl Blargl @juergenlabermas.bsky.social Neuro/Biochem PhD. More replying and RTing than outright tweeting. Hidalgoist-Colauist
J. Chris Pires @jchrispires.bsky.social Professor passionate about student success & team science #firstgen #Brassica enthusiast walking Dogs of the Plant World
#Agriculture #Food #HigherEd #EduSky #Agsky #SciComm & more
#Soil #Crop #Science ; opinions mine
beat @beathagenlocher.com Mostly random stuff I find interesting, or other sharable thoughts that cross my mind.
https://beathagenlocher.com
Marshall Abrams @marshall0i.bsky.social Philosopher of science, occasional scientist. Phil of:
ev biol, probability, modeling, stat inference. Book: Evolution and the Machinery of Chance. Activity here as private citizen, not as rep of nor supported by employer. https://marshallalmostsurely.com
Micha @micharied.bsky.social - working at active-group.de
- studying computer science at the University of Tübingen
- passionate beach volleyball player 🏐
Nils Homer @nilshomer.com I write software for Biologists. Founder @fulcrumgenomics, Bioinformatician, Computer Scientist, Coder, Father of 2xGirls. Opinions are my own.
Lou @des.moe 
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Gordon Friedman @gordonfriedman.bsky.social Father | Software Architect | Lecturer | Problem Solver | Entrepreneur
https://active-group.de/en/team/tobias-gutekunst/
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat;🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴;Nno🇮🇸🇫🇴
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
Julian Lukwata @jukalu.me - M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Manuel Zamora-Morschhäuser @mnl-zmr.bsky.social Chief Engineer @ ETECTURE, DDD practitioner and software architect, retro computing, photographer.
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org- T Ilja @the-3rd-pla.net
- J @jonnyfw.bsky.social @jonnyfw.bsky.social
Simon @murrgelb.bsky.social 
Zlatko Čajić @zlat.co software engineer, cyclist, traveller
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
mITblick @mitblick.bsky.social Wir helfen klassischen Organisationen, agiler zu werden!
Agile Transition, Agiles Requirements Engineering & Scrum - zuverlässige und ergebnissichere Unterstützung klassischer Organisationen.
https://www.mitblick.de | https://www.agile-nacht-stuttgart.de
BOB Konferenz @bobkonf.de The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @active-group.de
Also at @bobkonf@discuss.systems.
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.
Eberhard Wolff @ewolff.com Head of Architecture at SWAGLab . Software Architecture. Technology. Learning every day. He / him🐺- K @kaaninho.bsky.social @kaaninho.bsky.social
- C @crestani.bsky.social @crestani.bsky.social
Tom Asel @asel.io DDD | DevOps | Culture | Architecture | iSAQB | Wardley Mapping
Founder, Coder, Coach, Consultant
https://tangible-concepts.de
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Leonhard R @l7r7.bsky.social I run on music | writing functions for a living | Scala by day, Haskell at night
marc o))) @defmarco.bsky.social Come visit me at https://defmarco.com 👾
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Johannes @kenran.bsky.social I like Neovim+Emacs both, (functional) programming, Nix, roguelikes/-lites, running, logic puzzles, miniature painting ... (he/him)
Fediverse: https://mas.to/@kenran_
I very rarely stream programming stuff on https://twitch.tv/kenran__