Vincent Schmalbach @vschmalbach.bsky.social Senior AI-first software engineer for SaaS and business apps. Laravel/Vue is my strongest client stack. Available for freelance work. Founder of Vroni.com.
Claudia Zweig @claudia-zweig87.bsky.social Normalist
@roxaneflorance00.bsky.social @roxaneflorance00.bsky.social 
Florence Bockting @florencebockting.bsky.social prior elicitation + research software engineering
https://florence-bockting.github.io/
baybreezecost @evelynchus1016.bsky.social Watching @bengals touchdowns in the fall 🏈, catching the @warriors-nba.bsky.social three-point barrage in the winter 🏀, and going wild for @yankees.com hits in the summer ⚾️ following the games and drinking coffee
Thomas @thomasmcinnis.com make computer go boop
Andrei @iiibps.bsky.social Crafty Engineering Leader
Luna Fazio @lunafazio.bsky.social researching research at @i4replication.bsky.social
lunafazio.github.io
@freiric.bsky.social @freiric.bsky.social 
Strange people @rosymelody136885.bsky.social Just documenting life and sharing thoughts.⚖️ Politically neutral🚫 No crypto / Web3 / gift cards
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
@midirus.bsky.social @midirus.bsky.social 
Luca Schultz @lucaschultz.de 
kei @thelissimus.bsky.social type theory / compilers / specifications / yeuleholic
Johannes Drever 🌫️➰💎 @comandingo.bsky.social software developer, haskell, category theory, religionsgeschichte, weird studies
TJ Kolleh @tkolleh.social Living, loving. Loving living. 👰🏽♀️👶🏾👧🏾🐶
⚡️kolleh.com
Likes are bookmarks not endorsements.
Andreas Flierl @andreas.flierl.eu Software developer. Wannabe musician. Gamer. He/him.
“The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.”
― Albert Camus
lksz @lksz.name Programmer
I like Types and Star Trek
https://tangled.org/lksz.name
Jack @jackvalinsky.com MS Computational Linguistics student
Film photography 🎞️ 📸
Interested in languages: ga, de, ja, zh, haw
Sebastian Hans @sebhans.wsocial.eu Software architecture and development in Munich, Germany
@lacherc.bsky.social @lacherc.bsky.social 
Ivan @mcpoststhis.bsky.social C++, Python, R, машинное обучение, немного алгоритмов и всякая всячина, например баскет
Philippe ALEXANDRE @philalexandre.eurosky.social Call sign: F4IVY
Niko Pachuashvili @nikolozp.bsky.social FP (Functional Programming | Film Photography) Addict
function enthusiast @node.pk @fn@p.node.pk or @self
Stéphanie Baltus-Bergamo @sbergamo.bsky.social she/her
staff software engineer
data eng / backend
python / golang
postgresql fangirl
❤️ LEGO, triathlon, music, science
Oli Lane @olane.dev It’s abundantly clear that these guys are on the frontlines of whatever this is.
Paul Jackson @pauljackson.bsky.social Labrador owner, computery things, father of two, husband, Manchester United, not necessarily in that order.- H @hajo23.bsky.social @hajo23.bsky.social
Martín Soto @msoto.bsky.social Berlin. Software architect at Generali. I believe in democracy.
Chris Elion @chriselion.bsky.social Software engineer at a climate tech startup. Dog-dad to Eleanor the rescue mutt. SF, CA
@samdphillips.bsky.social @samdphillips.bsky.social 
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
@cc0xin.bsky.social @cc0xin.bsky.social Formal Logic and PL Theory.
Post stuff about algorithm and fancy techniques.
Favourite langs: Racket, Haskell and Rust.
Currently focus on substructural logics.
Giorgio Marinelli @marinelli.dev Thinking Functionally, from Italy
11thDwarf 🦀 @11thdwarf.bsky.social 🦀 Self-hosting enthusiast | mycrab.space | 200+ apps, 2 min setup, your domain | Building in public | blog: taskai.mycrab.space
https://mercato.isgudtek.workers.dev/
#selfhosting #devtools
https://github.com/isgudtek/mycrab-tunnel-skill/blob/main/SKILL.md
Sam Thibault 👩🚀 @sam.workingpeer.com | Co-founder Proximareport.com | Also a tech person 🤓
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Rondo Dondo @maplant.com NYC based programmer. I mostly talk about implementing functional programming languages
Ava @bobbie-forkey322.bsky.social My life is simple and stable; I'm used to living at my own pace.
I enjoy doing my own things and also cherish time alone.
I like sports, travel, and quiet daily routines.
I value comfort and long-term relationships more than crowds.
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@mol-amin.bsky.social @mol-amin.bsky.social 
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.
Rafael Ferreira @rff.bsky.social 
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/
helene @personalhel.com personalhel.com
codeberg.org/personalhel
she/her (a friend of blåhaj)
🏳️⚧️🏳️🌈🇵🇸
i use nixOS on apple silicon btw - and i will get you to use typst.
happiness has to be fought for.
banner imagine created by trine kløve eriksen, 2025
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.
tabaha ♦🕷 @tabaha.bsky.social Questionable programmer, newbie artist 
Component Creator for Joomla @component-creator.com 🚀 The fastest way to build Joomla extensions!
🛠️ Generate custom Joomla components in minutes—no coding required.
🌍 Trusted by developers worldwide.
🔗 https://www.component-creator.com- N schulze @nonterminal.net Writing security systems into existence.
Swastik Baranwal @delta231.bsky.social Open Source Developer
https://github.com/Delta456
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
Indie Apps Creator @indieappscreator.bsky.social Indie software engineer working on iOS, macOS, watchOS
https://apps.apple.com/us/app/omnikeyboard/id6755135375
Simon @sbuettner.bsky.social Software & Fun
Prof. Dierk König @dierk-koenig.bsky.social Prof. at @FHNW, Groovy in Action, Java Champion, Web, Frege, Artist
Quoll @gearon.org Clojurista, Ontologist, Graph Databasist, and PhD student.
Not offended at DMs, unless it’s spam
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Zygentoma @zgtm.de ⌨️
$ ssh stickr.shop @stickr.shop We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal!
$ ssh stickr.shop
Dirk Roeckmann @5troop.bsky.social Computer Scientist, SAP Expert, IT Manager, Consultant, Independent AI Researcher, AI Engineer 👉 AI = Deep Learning + Causal Inference + Symbol Manipulation
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
CogniDroid @cognidroid.bsky.social Failure at life and the passion I'd wanted to pursue.
Emiel @ttyout.net 
@randomduck10.bsky.social @randomduck10.bsky.social - T Lukas Zimmermann @typeless.bsky.social
- A akuebler.bsky.social @akuebler.bsky.social
@slow-dive.bsky.social @slow-dive.bsky.social 
Trish4Democracy @trish4democracy.bsky.social Retired RN ER Trauma 🚫Maga Former Republican 🚫DMs Activist Reproductive Healthcare, All Women, LGBTQ+, Indigenous Latino rights, Black rights, All people are equal. I have MDA5 Dermatomyositis, a rare autoimmune Disease #Myositis
#TheResistence
Joe @doscienceto.it Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungryjoe
Adam @adamwv.de I like doing programming, philosophy and messing with ancient stuff :)
Deez nuts 🫠
SE Scherbeck Energy @scherbeckenergy.bsky.social Unabhängiger Berater in der Energiewirtschaft.
https://www.scherbeck-energy.com
Portfoliomanagement und Spothandel für Strom und Gas.
https://www.fse-gmbh.com
Entwickler des ENERGY Trading Cockpits.
https://www.energy-trading-cockpit.info
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Camilo de Azevedo @camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
Ramin Nasibov @nasibov.me Designer/Artist https://nasibov.me- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social 
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
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.