Jay Lee @curry-howard.bsky.social CS PhD Student @ UC Berkeley • CSE MS & ECE BS @ Seoul National University • Programming programming languages • 🏠 jaylee.pl
Anand Balakrishnan @anand-bala.bsky.social Postdoc @ UT Austin. Formal methods, learning, robots, automata, and other mathematically (un)necessary complications.
Also: thoughts that should probably have remained thoughts.
Check me out at: https://anandb.dev
Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison.
Intetested in Security and Privacy, and Programming Languages
Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
@nelsonbilber.bsky.social @nelsonbilber.bsky.social 
anatole debierre @tolide.bsky.social anatole.wiki
barrymac @barryhackamac.bsky.social Software Engineer, Computational Chemist , Sailor, Tree hugger, bitcoiner
Samarth J @samarthjtm.bsky.social SWE | SWD | APIs, springboot by Java | Devops | web developer | Full stack developer
@doctasquid.bsky.social @doctasquid.bsky.social 
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
@smangla.bsky.social @smangla.bsky.social 
Adam Bates (Yuile) @adambatesorg.bsky.social Associate Professor @ UIUC
YesPress @yespress.bsky.social Covering people, companies and products shaping our world.
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
@leonardo7983.bsky.social @leonardo7983.bsky.social 
Tianyi Zheng @tianyizheng.bsky.social Master's student @ UC San Diego
he/him
norinecoenen.bsky.social @norinecoenen.bsky.social 
Zhaoyang Wang @zhaoyangw.bsky.social Researcher | Agentic AI Foundation Models, Bayesian Optimization, Reinforcement Learning, and AutoML. Uni of Birmingham.
Share the latest AI news. https://www.linkedin.com/in/zhaoyang-w-4995b5269/
Minh Pham-Dinh @minhphd.github.io Robotics PhD @ University of Utah
Giving robots a mental map of the human world. 🌍
When not in the lab:
🎿 skiing, 🏐 volleyball, or 🥘 over-complicating a recipe.
🔗 minhphd.github.io
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
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
Veblen Director Programme @veblendirectors.bsky.social Helping ambitious people get their first board seats. Regardless of your background.
Junaid @junaid99.bsky.social Artisian handmade handcrafted all types of all meterial like copper brass iron aluminium stainless steel horn bone resin wood all types of all kinds items product manufacturing and supply wholesale
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Andrew Chambers @atc1963.bsky.social 35 years of experience in higher education, working from teaching to admin to technical. Presently working in Educational Development for a Business School. Interested in the intersection of Business Education, AI and Online Learning.
@albinsp.bsky.social @albinsp.bsky.social 
@nirteno.bsky.social @nirteno.bsky.social CS @ ETHZ
AT @akshattr.bsky.social Enthusiast, enthused
@ajinkya99.bsky.social @ajinkya99.bsky.social 
Clément Girault @seascape.bsky.social 
Rx wz hurr @freemediadrk.bsky.social 
David Guy @davidguy.bsky.social Aspiring writer. General idiot. My old work can be found at https://www.wattpad.com/user/guydave
💙🦋 Seminoles78 🦋💙 @seminoles78.bsky.social If you have a choice to 🐝 right or kind, 🐝 kind
Always a teacher (35 yrs) 👩🏫 📚
But, first, coffee ☕️
Loving the grandma years 👵
#WeAreStrongerTogether
GoNoles!GoLightning!GoBucs!GoRays!
❌No posts-no follow
❌DMs
LexUltimaVeritas @lexultimaveritas.bsky.social For America! Follow me for the naked truth about life, the universe, and everything. I represent the radical center. Public message ONLY. DMs are all spam. I support 🇺🇸+🇨🇦+🇺🇦, 🏳️⚧️+🏳️🌈, 🇮🇱+🇵🇸 PROUD ANTIFASCIST (ANTIFA! OOOOOO)
@navytrueblue.bsky.social @navytrueblue.bsky.social AKA SHSHOOKMASTER ON THE OTHER PLACE
S N @gettingalong.bsky.social Wife, mother, 40-year public school teacher, lover of all things English
@judic-wc.bsky.social @judic-wc.bsky.social Retired researcher; cat lady and grandma to two wonderful grandsons, and dog Bella;
Lifelong Democrat leaning progressive; LoTR - be a friend like Sam; 70’s music on car radio; Gratitude and kindness
Please no DMs and no GoFundMe
@pirategrace.bsky.social @pirategrace.bsky.social Liberal Dem, happily married, artist, animal lover, proponent of the underdog. Please NO DMs. I just delete them. NO SOLICITING.
James German, Hero-Maker @jamesgerman.bsky.social Master #Innovator and Transformer. #Life goal was successfully dividing by zero while carving a chicken from a turkey using #philosophy.
Teaching Dimensional Thinking on Substack: LordStretch.substack.com
(Happily married and not on here for romance.)
Domingos @domingosmcc.bsky.social I know not what tomorrow will bring…(Pessoa)
💙💛 Україна українцям! 💙💛
🚫 Nazifascists&Maga🚫 Bitcoin 🚫 Get-rich schemes
I reject fanaticism and outdated orthodoxies!
Judgy Wife @judgywife.bsky.social OG Women’s Marcher - Gen X Cat & Ferret Lady - ‘X’ile - Wear a Mask 😷 Living with Sarcoidosis - Read a 📕- Go Outside 🌱 Environmental Educator - The Future is Female! Pro-Choice - Believe Women - She/Her 🦇 No BOTS!
Meidas Paul Wigton 🫘 🇺🇳🇺🇦 @rvroomie.bsky.social Geologist, raconteur, FT RVer, guitarist, Denver native!
Rvroomwithaview.blogspot.com
Born @ 318 ppm.
🚫bio=no follow
🚫posts=BLOCK
🚫Causes/begging=BLOCK
🚫IllumiNUTTY=BLOCK
🚫DMs, w/o asking
New rule: no followback w/fewer than 1K followers.
NS @n-seb.eurosky.social PhD in chemistry, touche à tout, adore la science et la lecture 🌍 🇧🇪 🕊️📚🔭🧪🔬👨🏽🔬
@charlenopires.bsky.social @charlenopires.bsky.social 
Mary Anne Kluth @maryannekluth.bsky.social
🌴 🏔☯️🏴☠️
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Ian Li @ianli18.bsky.social 1st year PhD student @ ucsd
Rob Ricci @ricci.io Research Professor in the Kahlert School of Computing at the University of Utah. I don't speak for them.
Here, I mostly post about decentralization and social networks. I'm more active on other topics in the fediverse at https://discuss.systems/@ricci/ .
Muhammad Haroon Alam @imharoonalam.bsky.social Software Engineer | R&D in AI, Blockchain, Security and Privacy.
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
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
João Paulo A. Almeida @jpalmeida.bsky.social Life is too short for bad wine, bad coffee and bad ontologies. 
Callum Laing @callumlaing.bsky.social I help ambitious people raise capital, get board seats, take companies public. Let's get more entrepreneurs and builders on bsky!
Author of 4 best selling business books
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/
@pjstein.co @pjstein.co 
@redjocker.bsky.social @redjocker.bsky.social 
Aurore Fass @aurore-fass.bsky.social Tenured Researcher @Inria
USENIX Security Artifact Evaluation Co-Chair 2025 & 2026
Web Security & Privacy: JavaScript (in)security, browser extensions
https://aurore54f.github.io
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
Gabriela Araujo Britto @gabritto.bsky.social - E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social 
Youlong Ding @youlongding.bsky.social MSc@HUJI, TCS, Cryptography, Machine Learning
https://youlongding.github.io/
John Hummel @jehummel.bsky.social Professor of Psychology and Philosophy at the University of Illinois Urbana-Champaign. I build computational models and conduct experiments to understand how neural computing architectures give rise to symbolic thought.
Rachel Flood Heaton @rachelfloodheaton.bsky.social Cognitive and perceptual psychologist, industrial designer, & electrical engineer. Assistant Professor of Industrial Design at University of Illinois Urbana-Champaign. I make neurally plausible bio-inspired computational process models of visual cognition.
Shira Feldman @writingwithrobots.bsky.social Writer, reader, human. Interested observer of all things AI/writing.
Nolan Higdon @nolanhigdon.bsky.social https://nolanhigdon.substack.com/, author, lecturer at University of California, Santa Cruz, & Project Censored National Judge
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
@rtjoa.bsky.social @rtjoa.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
A-M-I-T @amitspeaks.bsky.social Tech-lover, Geo-politics,
India, that is Bharat
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
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