Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
fajpunk @fajpunk.com
edwintorok.eurosky.social @edwintorok.eurosky.social
annie3 @lovelycat9468.bsky.social
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
Get Launched @getlaunched.bsky.social Make yourself the 'Go To' person in any industry and earn a side income from running small networking events.
Earn through entrance fees, membership fees, sponsorships & deals. GetLaunched.org
Gokul Prathin A @gshard.bsky.social caffeine and keystrokes “◡”
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
Veblen Director Programme @veblendirectors.bsky.social Helping ambitious people get their first board seats. Regardless of your background.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com- T @thumbquat.bsky.social @thumbquat.bsky.social
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
Austen Cameron @austencam.com
Erik Oberhausen @upperhouse.bsky.social Coder of web things in Denver CO, enjoy my bike, love my wife and daughter.
Matt Wing @wingmatt.dev Depending on the day, I'm a professional tinkerer, active listener, and/or project manager.
I've built web apps, virtualized domain controllers, and counseled memory care patients.
Current code interests: PHP, Laravel, & Vue
@kylef94.bsky.social @kylef94.bsky.social
jolman @jolman.me dev & foss enjoyer
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@proustian.bsky.social @proustian.bsky.social 🐫
Mani Vrondakis #buildinpublic @vrondak.is Founder building https://shortforge.ai - automated tiktok marketing
launched 30+ (un)successful projects in 15 years
play my game: https://21words.app
https://tosto.re/dreamstolife
https://shubetter.com
https://cohabitate.app
https://notiversal.com- P @plumenator.bsky.social @plumenator.bsky.social
Aaron Christianson @ninjaaron.bsky.social OCaml. Pronouns in bio.
Nick De Roeck @nickderoeck.bsky.social 🏳️🌈 ex-Twitter exile looking for less manipulation and negativity, and
more democracy and positivism. Blog @ https://publish.obsidian.md/nickderoeck
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
disgruntleddev @disgruntleddev.bsky.social Mobile and Desktop Developer. In love with Functional Programming & TS (effect btw).
F1 x Ferrari (my mental illness) and I love Comic Books (DC >>>)
You will weep at the sight of it 😑
• https://github.com/Inalegwu • https://ikwueinalegwu.vercel.app/
Benjamin Geer @benjamingeer.name Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-2449-8558
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
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.
@kellyhuckaby.bsky.social @kellyhuckaby.bsky.social
@flyxion.bsky.social @flyxion.bsky.social
Will @nullit.bsky.social Music and rambling
Christopher / クリス @atomicptr.dev Husband・programmer・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
Simon @sreilich.de Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://about.sreilich.de
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Trash Panda 🦝 @trashpandaemoji.bsky.social Slopfluencer | slop/acc
Follow me for unhinged takes on tech
Bozhidar Batsov (a.k.a. Bug) @batsov.net Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Petro @vpetro.bsky.social Building things for everyone with Python and LLMs. Before this, was building things with Scala.
🏡- https://vpetro.io
👨💻- https://github.com/vpetro
Kramer @kramer.codes Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Dean H. Saxe @fullfrontalnerdity.com Identity, security, standards, food & drink, travel, bicycles, backpacking, bikepacking, and board games.
Co-chair, Death & The Digital Estate Community Group (OpenID Foundation).
Charle @algunahuevada.bsky.social 🇦🇷 un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/
Vincent Balat @vblt.org
@phamki.bsky.social @phamki.bsky.social
Scott Bowles @speepo.bsky.social - J @jespera.bsky.social @jespera.bsky.social
@rosebella909.bsky.social @rosebella909.bsky.social
Ocsigen @ocsigen.org The next generation Web and mobile framework.
Pedro Nieto Méndez @pedroid999.bsky.social 401
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Manos Ragiadakos @rm4n0s.bsky.social I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
Dr. Ruchira Datta @ruchiradatta.bsky.social Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
pngwn @pngwn.at Penguin of great renown.
The penguin revolution is nigh, only the feathered and the tuxedoed will be spared.
Except for seagulls, they can get fucked.
https://pngwn.at
Tom @dacbui.bsky.social Rustacean, guitarist, composer, gamer.
Enjoying and praticing the art of programming.
Rust, C, Golang, Typescript.
nhuck @nhuck.bsky.social bit shuffler and theorem prover
P. León @leonpedro.bsky.social Products & Services builder - λ - Event Sourcing + DDD - F#, Elixir, Ruby, JS
TV @teja.me code for brains.
Timon Flick @tmnflck.bsky.social Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden.
lin ᯓᡣ𐭩 @caethel.bsky.social ₊♡°‧ whimsy for the digital age
°° cs student + electronic music enthusiast
°`•hci and culture nerd
📍de
Lethal Lizard @isutton.bsky.social I write code.
Weißstreifen @weissstreifen.eu 🛠️ - Web developer by day
🥞 - Game developer by night
🧙🏻♂️ - (badly) solving coding puzzles
🌎 - weissstreifen.eu
100% AI free
Mantissa Significand @marinagirl.bsky.social pilates and vibes 🪼⛵✡️
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
sokz @sokz.app 📖 Cryptonomicon
Kentaromiura @kentaromiura.bsky.social
Saddam Hossain @saddambd24.bsky.social Web 🌐 Development Simplified • Frontend Web Developer • Learning and Building ( Javascript, React.js,Next.js )🚀 • Simpler threads • Join the journey🤝
iurii (Юра) 🇺🇦 @iurii.net We need to write code… You son of a bitch, I’m in.
🇺🇦 Ukrainian. #SoftwareEngineering and #TechnicalLeadership. I also write about #politics and hobbies.
Music lover.
Vacation = Mountains.
https://iurii.net
https://mastodon.world/@iurii
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Jason Hammock @jhammock.bsky.social
Elijah Manor @elijahmanor.com ✝️ 👨👩👧👦 🐶 👨💻 🎥 🖊 ☕️ 🏊 🛵
Front-End Web Developer, Manager, & Content Creator
Neovim and overall command-line enthusiast
Big fan of Obsidian and PKM
https://youtube.com/@elijahmanor
https://linktr.ee/elijahmanor
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
Polinnoman @polinnoman.bsky.social https://www.instagram.com/polin_noman?igsh=YzljYTk1ODg3Zg==
polinnoman1email.com💌
🇧🇩 মাতৃভূমি অথবা মৃত্যু 📍
Motherland or death🇧🇩
🇺🇦🍉 🇵🇸
🫰I love myself and I believe that ,everything is possible if I need proparly and I will try to my best 💛
@nyame1.bsky.social @nyame1.bsky.social
Taras Glek @taras.glek.net LLMs, system programming
https://taras.glek.net - G @gretar.bsky.social @gretar.bsky.social
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Light @maheshbansod.com i love computers, science, math and understanding the world around us.
https://maheshbansod.com
@iodelay.bsky.social @iodelay.bsky.social
Jojo @practicat.bsky.social A nerd and former tumblr user (She/her)
Michael Knight @michaelknightvfx.com Motion Picture VFX Artist/Graphic Designer for Film & T.V., Games & Books/Knowledge Mercenary™.
#Microsoft, #ParamountPictures
https://linktr.ee/michaelmknight
My images are protected by SafeCreative, Digimarc, Pixsy, & Adobe Content Credentials.