InnocentZero @innocentzer0.eurosky.social Just bored. Occasionally writes shitty rust, nushell over python any day, likes SW and HW security.
Will totally ramble about things. Opinions are my own.
innocentzero.is-a.dev
innocentzero.atabook.org
https://kbin.earth/u/innocentzero on fediverse
Jennifer Gable @jennifergable.bsky.social 🌎Touring Headliner Comedian,Lol0nKillTony,
FunnyOrDie,Special ‘6 DRINK MINIMUM’ 269K+ Views on YouTube!🤣🫳🎤JenniferGableOfficial.com PHILLY 10/29! FL 4 Shows! Denver 5 Shows! 2nd Special 8.11🍎📺Amazon 🎟️🎫& Subscribe: https://bnds.us/4otirb
fav♡rites @favoritesapp.bsky.social this is app page. open source taste graph app. share things you love. please follow back so the system doesn't flag us as spam.
web: https://favorites-beta.netlify.app/
github: https://github.com/boomstrickweb/favorites/
Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
Ania @aniatwardowska.bsky.social 🇵🇱 Polish, but based in London 🇬🇧
I strategise stuffs within software development - https://makingstuffs.com
Traveller (💕 Vietnam & Italy) building a travel app - https://www.degrees.social/
Writer (screenplays, stories and blogs)
Yoga obsessed
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
Colin Roitt @colinroitt.bsky.social PhD student @ UoY ISA - Evo Devo Algos - Award Winning Radio Producer - Recovering Web Developer (they/them) 🏳🌈
@beyondchaz.bsky.social @beyondchaz.bsky.social Blue-state girl, cares about social fairness, environmental protection, and the little joys in life.
Alina Banerjee @interregnumish.bsky.social baby PL engineer, 🇮🇳/migrant, sitarist. Earner, learner & yearner of many things.
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
Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty
@gamboacarvalho.bsky.social @gamboacarvalho.bsky.social 
Codfather #FBPE 🇫🇷🇪🇺 @codfather.bsky.social Technologist, Atheist, rationalist, empiricist and non-believer in unicorns, virgin births or Brexit. I Love Linux, Science, Wine, Philosophy,the Arts, climate science, renewables and silly Jokes :-)
@codfather@fosstodon No DM's
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/
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
Lidiany Cerqueira, PhD @lidianycs.bsky.social Senior Software Engineer | PhD in Computer Science. I often post in English, but I'm Brazilian, so I will occasionally post in Portuguese as well.
🔗 https://lidianycs.site/
Andrew Cairns @acairns.co.uk Using metaphors and analogies to explain Software Engineering in fun ways: https://youtube.com/@metaphoricallyspeaking
Staff Software Engineer. Passionate about DDD, CQRS, Event Sourcing and Distributed Systems.
Kayaking, too.
Bruno da Silva @brunodasilva.bsky.social Curious about how people can better build and evolve software.
Aaron Eline @aaroneline.bsky.social 
@habibou05.bsky.social @habibou05.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
Sara Madison @saracodes.bsky.social Webdev slowly turning into a gamedev- P @plumenator.bsky.social @plumenator.bsky.social
Matt Keenan @negabinary.bsky.social 
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
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.
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Jasmine Damani @webdevour.bsky.social Software nerd, cat enthusiast, pixel art noob, gamedev, playing with LLMs
@delob.bsky.social @delob.bsky.social 
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
cb ⿻ @lovevolv.bsky.social lovevolver
Tracy Ray Author @tracyrayauthor.bsky.social I love writing!
Married to Kyle Hester Film Maker
No Hate!
Support Indie Auth!
#witchsky #booksky
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
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
Rafael Ferreira @rff.bsky.social 
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
Ryusuke Niwa @ryuniwa.bsky.social Professor, Physiological Dynamics, TARA, Univ. of Tsukuba, Japan / Drosophila / Parasitoid wasps / X: TsukubaNiwaLab / 丹羽隆介
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
@matioias.bsky.social @matioias.bsky.social 
@braddfordd.bsky.social @braddfordd.bsky.social 
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
@tiksn.bsky.social @tiksn.bsky.social 
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
John Crosby @jccrosby.com Figuring out how to stop being a human-doing.
🤝 Building software, leading teams, and making things work.
Ex-chef turned engineer. 🍷🍳
💪 Kettlebells & fly fishing. 🎣
#ROLLTIDE 🐘
📍 Opinions are my own.
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Vahan @sosoyan.com VFX Lighting, Graphics Programming and GameDev
http://sosoyan.com
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
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
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
Gene Doctor Gene @isog.bsky.social Gene Levinson, Ph.D. | Evolutionary Theorist
Research: Updated Evolutionary Synthesis framework
Founder, CognitoSymbiosis LLC (Research)
cognitosymbiosis.com
#Evolution #Science #Research
🧪📚🙏
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Ian Preston @ianopolous.bsky.social Mathematician/particle physicist turned privacy researcher. Java Rockstar #Oxford Building a better web - private, self-sovereign identity, p2p, social - with @peergos.org. Public social media undermines democracy. #covidisairborne #maskswork #cleantheair
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
@zooko2.bsky.social @zooko2.bsky.social 
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Marcos Boladão888 @marcos-boladao888.bsky.social " Marcos_Boladão888 = TRABALHA NAs EMPRESAs REDEs SOOOCIAIs = BLUESKY . .. .. .."!
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
lea @leeps.bsky.social reposting art, research
https://www.leandra.dev/
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