Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
aramya @aramya.bsky.social https://aramya.neocities.org/
not really active here
Alex Rocha @alexcrocha.bsky.social
Uuu @ousmangibba.bsky.social You never know how strong you are, until being strong is the only choice you have
@doctasquid.bsky.social @doctasquid.bsky.social
Al Merose @al.merose.com Differential database administrator. Machine learning for climate & weather. Ex-Google Research, Founding Member of Technical Staff @OpenAthena.ai. Tinkering with xql.systems. He/him.
curche @curche.xyz PLT/FM, FOSS, Weeb in no specific order
"Very Computer" problems, Goes off on tangents while replying
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Jean-Philippe Bempel @jpbempel.bsky.social Sr Sw Eng @Datadoghq, optimize software running on JVM. Love performance topics and mechanical sympathy supporter. Java Champion & @javamissionctrl committer
edwintorok.eurosky.social @edwintorok.eurosky.social
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Martin Boßlet @klautcode.bsky.social Freelance software architect & CTO-as-a-Service. Cryptography, digital signatures, security, Git, AI-assisted development, modern web development. Workshops, audits, hands-on architecture. Better software. Starting now.
https://martinbosslet.dev
Juri H @ur5us.bsky.social Ruby on Rails developer, Lil Regie, meetup.com/aucklandruby, way too many tabs and little to no time.
ECOOP '26 @ecoop-conference.bsky.social ECOOP is Europe’s longest-standing annual Programming Languages conference!
The 2026 edition is hosted at Vrije Universiteit Brussel, Brussels, Belgium from June 29th to July 3rd. See you there!
#ECOOP #ECOOP26
https://2026.ecoop.org
@kberanek.com @kberanek.com
@aformiga.bsky.social @aformiga.bsky.social
Justyna Wojtczak @justi.blue Fractional CTO · Rails dev · AI-augmented development
Building SaaS products · Open source contributor
Rails Girls coach · Poznan
justynawojtczak.com · github.com/justi- P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
Vinicius Stock @vinistock.bsky.social Staff engineer at Shopify working on the Ruby developer experience team | Ruby LSP creator | Speaker
Developer tooling, static analysis and type checking
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
rewinfrey @rewinfrey.bsky.social I love computers and computing. Founding engineer at Opacity. Previously, code intelligence at GitHub. MSc Software Engineering Oxford.
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
Vegard Stikbakke @vegardstikbakke.bsky.social Christian
Software engineer in Norway working remotely
You should have kids!
https://vegardstikbakke.com
Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.|日JA (N1)・英EN・λHaskell|ダンレボDDR・音ゲーrhythm games|he/him|trans rights
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
Vince @danielvinciguerra.bsky.social Software Engineer Tech Leader, Perl, Ruby, JS and C, vegetarian, Carol husband, ADHD, geek, hacker.
https://vincebot.dev
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
TruffleRuby @truffleruby.dev A High-Performance Ruby Implementation on top of @graalvm.org.
https://truffleruby.dev
Shalabh @shalabh.com Programmable software systems "research" and philosophizing.
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?- P @plumenator.bsky.social @plumenator.bsky.social
Jim Jonah @jimjonah.dev Identity Infrastructure & Zero-Trust Systems @ Veracode | 20+ Years Building Platforms | Senior Principal Software Engineer
Matt Keenan @negabinary.bsky.social
Michele Alberti @lambdaxdotx.bsky.social
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Jason Harrison @drjasonharrison.bsky.social Citizen of the USA, Canadian resident since 1992. Husband, dad, software developer, keeper of the house plants.
Internet Hedgehog 🦔
@ezhik.jp A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
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
@delob.bsky.social @delob.bsky.social
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Wilfred @wilfredh.bsky.social Programming languages, human factors, and a healthy dose of Emacs.- P @perrocontodo.bsky.social @perrocontodo.bsky.social
@anne-he2025.bsky.social @anne-he2025.bsky.social
Mauro Tortonesi @maurotortonesi.bsky.social Associate Professor at Department of Mathematics and Computer Science and Head of Big Data & Compute Continuum Lab at University of Ferrara, Italy.
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…- F Thomas Fransham @fsfod.bsky.social
Stephen @diaconou.com Ruby dev. https://github.com/stevegeek, https://beta.gem.coop/@stephen, https://index.rubygems.org/profiles/stevegeek
Anastasia Isychev @isychev.bsky.social postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
yashyaoo @yashhhh.bsky.social "love is he answer"
@jane2-06.bsky.social @jane2-06.bsky.social
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Gabriel Reid @gabrielreid.bsky.social
Paul Bauer @bauer.codes https://bauer.codes
Staff Software Engineer @datadoghq
Made significant contributions to the Datadog timeseries database, now working on the continuous profiler product.
#databases, #lisp, #clojure, #freebsd, #pkm
Andrei @kanelbullar.bsky.social I like your dog!
Software engineer @Elastic
Tommy Ludwig @tommyludwig.bsky.social Maintainer of @micrometer.io
X/Twitter: @TommyLudwig
@fberlakovich.bsky.social @fberlakovich.bsky.social
Scott Gerring @scottgerring.com Software & tech enthusiast living in Switzerland, working @ Datadog. Opinions on all sorts of things, some of them reasonable.
Abe Ratnofsky @aratno.bsky.social hat check clerk at an ice rink
apache cassanda @ apple, netflix
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
@derwallace.bsky.social @derwallace.bsky.social
@andrykonchin.bsky.social @andrykonchin.bsky.social
Shane O'Neill @sozdba.bsky.social SQL Server Database Administrator
PowerShell automation
Coffee, whiskey, etc.
@julien-lange.bsky.social @julien-lange.bsky.social
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
@navidhg.bsky.social @navidhg.bsky.social https://hyperzine.navid.io
@eightbitraptor.bsky.social @eightbitraptor.bsky.social Ruby core committer. Builds Keyboards. MiniDisc, Fountain Pen and Void Linux enthusiast. Drinks too much coffee.
日本語を勉強しています。でもまだ上手じゃないです。助けてください!😅
@krishnanandnb.bsky.social @krishnanandnb.bsky.social Software Engineer, birdwatching, nature, SRE . Opinions are my own
Daniel Feichtinger @auxilit.com Personal computers, malleable software, hypermedia, augmenting the human intellect. Building HyperMap, a REST API format for the 21st century.
www.allpurposemachines.com — open-source projects
www.auxilit.com — personal site
Norwich, UK // He/Him
Sudan Chapagain @sudanchapagain.bsky.social
Steel City Interpreters @steelcityterp.bsky.social Pittsburgh/Chicago based language services
Connects communities through certified, culturally fluent interpretation
“Now you’re speakin’ my language”
@tinsendo.bsky.social @tinsendo.bsky.social
Aaron Patterson @tenderlove.dev Ruby and Rails hacker working at Shopify, living in Seattle
Dmytro Vyazelenko @vyazelenko.bsky.social Aeron, JCrete/JAlba, performance.
Christophe @genserver.be Programming languages make the world go round.
Non-consing robot @phenlix.bsky.social Lisp hacker, SRE, Xoogler.
@aiduolequ.bsky.social @aiduolequ.bsky.social
Avishek ghosh @avishekcolours.bsky.social
💥Seriously🚀Scientific💥 @seriouslysci.bsky.social Science teacher..⭐️ Bringing classic educational gems like Bill Nye the Science Guy and other ‘Old but Gold’ documentaries into the modern era, all remastered to 4K! 🚀🚀
Explore the library of playlists on my YouTube channel: youtube.com/@SeriouslyScientific
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Juarez Junior @juarezjunior.bsky.social Senior Principal Developer Evangelist @ Oracle ☕️🐍🥑
https://linktr.ee/juarezjunior
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Hunter @hdemeyer.bsky.social Informatics PhD student @ UIUC
Software Studies & Technical Writing
Doing qualitative research on Research Software Engineering
Interested in tool development, type systems, rhetoric, version control, computer history, philosophy of science
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Former Diamond Dealer | Turning research on learning, cognition, and systems into interfaces that reduce confusion, cost and decision stress.
https://twitter.com/impactology
Th. Ma. @thierry.marianne.io
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
@acendrou.bsky.social @acendrou.bsky.social
Tom Van Cutsem @tvcutsem.bsky.social Computer scientist | Professor at KU Leuven | views are my own- M @mrudolph.bsky.social @mrudolph.bsky.social Rooting for science and democracy. Go, Webb!
@nyame1.bsky.social @nyame1.bsky.social
Jiří Beneš @jiribenes.com PhD student at University of Tübingen. Interested in type systems and (co)effect systems, especially their pragmatics, ergonomics, and notation.
Website: https://jiribenes.com
Primarily on Mastodon: https://types.pl/@jiribenes
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social
@silverlight99.bsky.social @silverlight99.bsky.social
Halyna @hdemyan.bsky.social dismantling patriarchy
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social