λuki @lmdex.pro I love OCaml, isekaijoucho. my opinions are my own.
https://github.com/lmdexpr
edwintorok.eurosky.social @edwintorok.eurosky.social 
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Chris Barraclough @techspurtvideo.bsky.social Runs the Tech Spurt YouTube and TikTok channels. Badly.
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
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.
Érik Martin-Dorel @erikmartindorel.bsky.social Software developer, Associate Professor on sabbatical leave.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
mary anne hobbs @maryannehobbs.bsky.social wild horse..
BBC 6 Music Sunday 6-8pm
The 6 Mix Friday 11pm
https://www.instagram.com/maryannehobbs_
Navin Kabra @ngkabra.bsky.social Founder at ReliScore.com, Visiting Professor of Practice at IITBombay (CSE dept/TrustLab), Instructor at GenWise.in, and a wannabe YouTuber https://www.youtube.com/@TheFutureIQ/). Erdős–Bacon number 7.
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
Rooflemonger @rooflemongerreal.bsky.social The only real Rooflemonger on Bluesky
I post about fighting games, monkeys, and trash
https://www.youtube.com/rooflemonger
contact: mikeytownsend@gmail.com
セガ公式アカウント @sega.jp 【創造は生命】ゲーム/イベント/グッズ等、感動体験を創造し続けるセガグループのニュースや、社内の様子を広くお報せします。
https://www.sega.jp
※個別のお問い合わせには返答できかねます
※本アカウントはテスト運営中となります
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
cube @c-cube.bsky.social 
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Bianca Trinkenreich @biancatrink.bsky.social Tenure Track Assistant Professor of Computer Science at Colorado State University- K Klaas Stol @kjstol.bsky.social Software engineering research, academic research
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
Steffen Herbold @sherbold.bsky.social https://www.fim.uni-passau.de/ai-engineering/
TechDebt Conference @techdebtconf.bsky.social Official Bluesky account of the International Conference on Technical Debt (TechDebt) series.
Co-located with @icseconf.bsky.social
Website: https://conf.researchr.org/home/TechDebt-2025
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Daniel Amyot @danielamyot.bsky.social Software Engineering Professor, and Director of the Online Master of Digital Transformation and Innovation, University of Ottawa. Loves his family, Requirements Engineering / Modelling, Process Mining, soccer, teaching, and good craft beer.
Reyhan Jabbarvand @reyhanj.bsky.social Assistant Professor of Computer Science (PLSE) at University of Illinois, Urbana Champaign
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Mehrdad (Mike) Sabetzadeh @msabet.bsky.social Associate Professor, University of Ottawa
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
David Lo @david-lo.bsky.social 
Leon Moonen @leonmoonen.com Data-Driven Software Explorer | Prof @ Simula Research Laboratory & BI Norwegian Business School | science, hikes, algorithmic art & drawing machines
https://leonmoonen.com
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Shiva Nejati @snejati.bsky.social Professor of Software Engineering, University of Ottawa (https://shnejati.github.io/)
Markus Borg @mrksbrg.bsky.social Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Ivano Malavolta @imalavolta.bsky.social Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Thomas Vogel @tomvog.bsky.social Software engineering and autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
Shin Yoo @drsyoo.bsky.social academic/music lover/reader/gamer/espresso drinker+maker
Robert Feldt @rfeldt.bsky.social Researcher in Software Engineering and Applied AI, Prof at Chalmers University, Gothenburg, Sweden, and co-EiC of EMSE Journal. I tweet my own opinions, mostly about research.
Daniel Feitosa @danielfeitosa.bsky.social Assistant Professor in Software Engineering @ University of Groningen
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Phil McMinn @philmcminn.bsky.social Professor of Software Engineering, The University of Sheffield.
https://philmcminn.com
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
Tushar Sharma @tusharma.bsky.social Asst. prof.@Dalhousie Univ. In the business of finding nails for my hammers. Created Designite. Product of 🇮🇳, trained in 🇬🇷, deployed in 🇨🇦.
🌶 David Gray Widder @davidthewid.bsky.social Assistant Prof at UT Austin's iSchool.
Big Tech, political economy, AI hype, AI in War
trying to help computer ppl think more critically about computer, including me
exCornell/CMU/NASA/MSR/IntelLabs.
davidwidder.me
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Bashar Nuseibeh @basharnuseibeh.bsky.social FREng MRIA MAE FACM
#SoftwareWithoutBoundaries
#responsibleSoftwareEngineering
Executive Dean, City St George’s, University of London.
Professor: The Open University (Emeritus), TCD (Adjunct), UCL (Honorary), Imperial/NII/UCD (Visiting)
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
@lionelbriand.bsky.social @lionelbriand.bsky.social 
Sebastian Uchitel @suchitel.bsky.social Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Davide Fucci @bsky.dfucci.co A (pretentious) Associate Professor of Empirical Software Engineering researcher at BTH 🇸🇪
Opinions are my own
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Jocelyn Simmonds @jsimmond.bsky.social Associate prof. at the University of Chile, interested in MDE, SW product lines, and computer science education .. feminist and Latinity co-founder
https://users.dcc.uchile.cl/~jsimmond/
Pembroke College. Cambridge @pembroke1347.bsky.social The official account of Pembroke College, University of Cambridge. We are a welcoming, inclusive and modern academic community.
Founded in 1347 by Marie de St Pol, Countess of Pembroke.
Michael Vanier @mvanier.bsky.social Teaching professor of computer science at Caltech. I like functional programming, array programming, interpreters, compilers, proof assistants, and cats.
Ricardo Mapurunga Junior @ricmaps.bsky.social homoiconic
PlayStation @playstation.com Official PlayStation account. Updates on PS5, PlayStation VR2, PlayStation Plus, PS4 and more.
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Kamil 🧑💻 cimatic.io @kamil.chm.ski Driving CI/CD innovations @cimatic.io
#buildinpublic https://kamil.chm.ski/
Cambridge Computer Science @cst.cam.ac.uk Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
Pedro Lisboa @pedrolisboa.bsky.social I'm the loco one in this gang!
Doing cool Ocaml code at Ahrefs 🐫
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance 
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Steve Stewart-Williams @stevestuwill.bsky.social Psychology, evolution, science. Author of "A Billion Years of Sex Differences" (2026), "The Ape That Understood the Universe" (2018), and "Darwin, God and the Meaning of Life" (2010). https://www.stevestewartwilliams.com/
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Andreas Garnæs @andreas-garnaes.bsky.social 
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
click for beans @itsanorange.bsky.social he/they, 33, Anti-AI, Anti-fascist, Anti-ICE, Pro-LGBTQ+
functional programming advocate, FOSS advocate, mediocre photographer, lover of rogue-likes and speedruns
I do game dev stuff sometimes
Graham Christensen @grahamc.com determinate.systems. Nix obsessed.
he/him
📻 no5ig
Gaétan Lepage @glepage.com 🇫🇷 Research engineer at mistral.ai | Nix(OS) ❄ contributor | Nix CUDA team.
🌐 glepage.com
⚙️ https://nixos-cuda.org
🍴 https://lepage-knives.com- N Eelco Dolstra @niksnut.bsky.social
Martin Wimpress @wimpys.world Long-time #Linux user, developer, and community builder 🐧 Flake wrangler ️❄️ Maker 🪛 Aspiring game developer ️🕹️ Linux Matters podcast presenter ️🎙️
Luc Perkins @lucperkins.dev Nix advocate @determinate.systems. Buenos Aires 🇦🇷.
watch.softinio.com @softinio.bsky.social Great technical content and conference talks all ad-free on the fediverse:
https://watch.softinio.com
By Salar Rahmanian ( https://bsky.app/profile/salarrahmanian.bsky.social )
Blog: https://www.softinio.com
Newsletter: https://notes.softinio.com
Determinate Systems @determinate.systems Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪 https://determinate.systems
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
David Flanagan @rawkode.bsky.social Helping developers & operators level-up with Kubernetes, Cloud Native, Rust, WebAssembly, & Nix.
🌟 Founder @rawkode.academy
💼 CoreWeave
📆 Co-Organiser @kubernetes.london
🏴
Gabriel Volpe @gvolpe.com Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
isabel @isabelroses.com smart enough to know better, dumb enough to do it anyway
21 | she/her
Kaya @tired.moe Goober 🇪🇪
Daniël de Kok @danieldk.eu Machine Learning, Natural Language Processing, LLM, transformers, macOS, NixOS, Rust, C++, Python, Cycling.
Working on inference at Hugging Face 🤗. Open source ML 🚀.
Ellyse @ellyxir.com Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellyse7777
PeerTube: https://video.mycrowd.ca/c/learn_together/videos
Fedi: https://humanwords.cc/@ellyxir
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Domen @domenkozar.bsky.social Hacking on devenv.sh
Ross Turk 👋 @rossturk.com Member of amazing teams, lover of open technologies, husband, maker of things.