Gabriela Moreira @bugarela.com CEO at @quint-lang.org. 28 years old, Joinville - Brazil.
Benjamin ๐ด @bennyjamins.bsky.social #elixirlang #ocaml #arch #zig #odinlang
Scidonia @scidonia.bsky.social High-Assurance AI Systems for Knowledge-Critical Work
Rulestack @ai-shop.bsky.social Daily practical notes on Claude Code, Cursor & Codex โ context design, agent workflows, rules that hold up in real projects.
Originally AI-led, now AI + human hybrid.
Packs โ https://rulestack.gumroad.com
Feedback โ tag #RulestackFeedback
Emergence @lexou88666.bsky.social According to a study I made up, people who like or follow my posts are happier and smarter than those who donโt
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
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI ๐
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Elias ๐ฆ๐ต๐ธ๐ป๐ช๐ง๐ท @elias.sh Software engineer lost in Japan, after a few years in Ireland. Made in Brazil. Once upon a time I worked at AWS and Huawei. I like distributed systems and databases.
The USA military is not welcome.
De pรฉ, รณ vรญtimas da fome!
https://www.elias.sh- S k-means demon hunter @sesso.bsky.social it needn't have been that way
Reto Kramer @retok.bsky.social Software Engineering and Product Leader
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Komi Golova @jesyspa.bsky.social Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification (SnaKt) and semantics for Kotlin
she/her ๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Pedro de las Heras Quirรณs @pheras.bsky.social Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history.
Fediverse/Mastodon: @pheras@fosstodon.org
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Ray Myers @raymyers.bsky.social Software Revivalist.
Interested in programming languages and formal methods. Founder of The Coding Agency. Learning Chess.
jan Pana Suno li toki pona
Sam Thoyre @samthoyre.bsky.social ๐ Tech Enthusiast | AI & Dev Tools ๐ ๏ธ
๐ฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
๐บ Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
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.
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
3rd Edition: Global Microbiome Congress & Exhibition 2027 @microbiomecongress.bsky.social Sciinov Group welcomes you to the Global Microbiome Congress & Exhibition 2027, taking place on May 11โ12, 2027, in Boston, Massachusetts, USA.
Vusumuzi Ngonidzashe Hove, M.S. @vusumuzihove.bsky.social
Ph.D. Student, Pharmaceutical Sciences, @umaryland.edu School of Pharmacy ๐ | Medicinal Chemist๐จ๐พโ๐ฌ๐ฌ๐งช| Oncology Researcher ๐ป๐งฌ๐| @ubuffalo.bsky.social Alumnus๐๐ฆฌ | @UBmenstennis๐ค๐ฟ๐พ | Zimbabwean Pro Tennis Player๐พ๐ฟ๐ผ |#BillsMafia๐๐บ๐ธ
https://linktr.ee/vusumuzihove
Lily @lilystellate.bsky.social Creative Director @ Stellate Communications
Nathan Douglas @tenesm.us แผฮฝฮธฮฟฯ
ฯแฟแพฐฯฯฮฎฯ
Platform/DevOps/SRE/Backend Engineer
AI Bloomer ๐ป
Rรฉsumรฉ (game): https://ndouglas.github.io/resume/game/
GH: https://github.com/ndouglas
Blog: https://darkdell.net/
SugarScape: https://ndouglas.github.io/SugarScape/
Karsten Konrad ๐ช๐บ @zabong69.bsky.social Data Scientist and nerd. PhD in automated theorem proving just before AI became a subfield of Linear Algebra. Machine Learning, statistics, data visualisation, biology, recreational maths, computation, old pocket calculators, and video games
Barbara Stocker ๐๐ @bluebirdbhs.bsky.social Activist Democrat Missourian living in Virginia @piperformissouri.bsky.social @jesspiperfanpage.bsky.social @wellmanformo.bsky.social @iquitcigs.bsky.social @reichard4rep.bsky.social @stegenmodem.bsky.social @melrea.bsky.social Team Site
@grace-fuelled1.bsky.social @grace-fuelled1.bsky.social 
Maayan Levy, PhD @maayanlevy.bsky.social Assistant Prof. at Stanford & Innovation Investigator at @arcinstitute.orgโฌ | Studying metabolites and their impact on physiology and disease ๐ฆ ๐งช
www.arcinstitute.org/labs/levylab
Inchain dev @laylacavaci.bsky.social Inchain is a design & dev agency for fast, modern, high-converting websites. From branding to e-commerce, we deliver clean, results-driven work in weeks โ not months. Clear process. Quick execution. https://www.inchain.dev/
can you make the world better ???????????????????? @justtheonethatcan.bsky.social when will people get along
Trix @trixreganit.bsky.social 
Optogenetics Gordon Research Conference @optogrc.bsky.social #OptoGRC2028 | @tinakim-neuro.bsky.social & gisellavetere.bsky.social
๐: www.grc.org/optogenetic-approaches-to-understanding-neural-circuits-and-behavior-conference/2026/
Alicia Cintron, PhD @cintronrevised.com ๐ฉ๐พโ๐ผ founder ๐ฉ๐พโ๐ป research communications trainer & consultant ๐บ๏ธ traveling scholar-entrepreneur & ICF certified travel coach ๐ https://linktr.ee/cintronrevised
Calvin Carter, PhD @calvinscarter.bsky.social Harnessing the power of electromagnetic waves to elevate human health ๐งฒ | Assistant Prof & Founder at Geminii Health
www.geminiihealth.com
VegPlotter: Online Vegetable Garden and Allotment Planner @vegplotter.com The best online Vegetable Garden & Allotment planning software to get you organised in the garden.
Fully featured garden planner vegplotter.com
Frost dates and growing zone calculator frostdates.com
Lin Tian, PhD @lintianphd.bsky.social Scientific Director at MPFI | Developing optical & molecular tools for ๐ง research & ๐ discovery | Baseball mom, swim mom & dog mom
Ben Mann @b3nm4nn.bsky.social Part-time solo founder, full-time tech lead.
Building http://grepture.com & http://ingestlayer.com
@anahitawrites.bsky.social @anahitawrites.bsky.social 
Amit @amirgal.bsky.social Senior AI Engineer @IKSHealth
Former Founding Engineer @ThinkDTM
Former Engineer @PayPal
Marvin Danig @marvindanig.com lousy guitarist. css engineer. book maker. open formats & web standards.
onto memories now.
I'm building Achiral โ https://achiral.ai
Iana V. Kim @ianakim.bsky.social Postdoctoral researcher in the Sebe-Pedros and Marti-Renom Labs at CRG. Transposable elements enthusiast, passionate about piRNAs, 3D genomes, and Star Trek ๐
AmpSci @ampsci.org The community where science communicators thrive through collaboration, opportunity, and direct support.
ampsci.org
connect beyond bsky:
fernanda@ampsci.org
#scicomm
SciFood Blog @scifood.blog Food science & fun science. Because curiosity is the best ingredient (https://scifood.blog).
christine liu / two photon art @christineliu.art ๐ง ucsf neuroscience postdoc
๐ psychedelic researcher
๐จ www.twophotonart.com
๐ชก weekend tattoo artist
mhcrocky @mhcrocky.bsky.social Professional web developer.
David Snelling @dpsifr.bsky.social Building what people on stage will talk about next
Guided by Humanity, Empathy & Responsibility
โ๐ฝ ๐บ๐ฆ ๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ ๐ ๐ณ๏ธ โ ๐
๐ GenX Anti Fascist
๐ Founder @ Soulcraft.com
๐ Founder @ SkillVill.com
๐ Motorcycles / Guitars / Shih Tzus
Mark McDermott @mark-mcdermott.bsky.social coding, jazz, beats, fortnite, reading, travelling, mechanical keyboards & time travel shows/movies
https://markmcdermott.io
I Quit Smoking ๐ญ ๐ ๐ @iquitcigs.bsky.social Anti-Smoker My Website campralquitsmoking.net See How I Quit 20 Years Ago Fought Nicotine 35 Years Supporting others who Quit ๐ญ STL MO โค๏ธTo Promote Authors ๐ & Ozarks ๐ Photographer ๐ท Pez Add @piperformissouri.bsky.social @jesspiperfanpage.bsky.social ๐
Fabien ๐ @hfgl.fr I share what I learn in my life, from imperfect dad to failed indie hacker. #code reco.to
Nick Payne @makeusabrew.bsky.social ๐ง Independently building SaaS & apps: stronglytyped.uk/work
๐ฃ New: talat.app
๐ฅ Also: blueskyinbox.com
๐ Fun: bskyfeels.com
๐ฆ Aspiring Rustacean
๐ดโโ๏ธ Cyclist
๐ค Nerd
๐ถ Dad
Jurijs @cyberpunk.tools ๐ Building Statusalert.IO โ uptime & monitoring. Itโs free, check it out!
Annedevj @annedevj.bsky.social Cofounder cto of a CRM for philanthropy โจ๐
Rails and Next.js freelancer,
Indie maker, explorer and builder of more things.
Vegan & full-time sunshine-seeker - I'd rather code blinded ๐ than locked in
componentlibraries.com
SeaCat @seacatwiz.bsky.social I love to build things.
Currently building:
- AI chatbot plugin for Crisp: https://enumhq.com
- Database of marketing strategies https://marketingstrategies.io
Bryan Smith @bryansmith.io Vibe bootstrapping a software holding co & a service holding co. Previously CTO for an 8-figure exit. Husband, dad, & โ๏ธ
CraftedWeb.to
Product Sketch @productsketch.bsky.social https://productsketch.com
a simple, bloat-free, collaborative task management app for small teams.
made by @heyyfernanda.bsky.social
Les Mood @greentechnetwork.bsky.social Creator | Entrepreneur | Instructor | Connector | CEO of GreenTech Network
On LinkedIn? ๐
https://lnkd.in/gApKGXcz
๐ GreenTech Talks Newsletter:
https://lnkd.in/gGUwTbVm
Full Length ๐น on YouTube:
http://bit.ly/42uL5EO
#greentech #sustainability
St Louis Atheists @stlouisatheists.bsky.social "If you wish to make apple pie from scratch, you must first create the universe" Carl Sagan @rsslmo.bsky.social @atheists.org @ffrf.org @nickfish.me @ethicalstl.org @riatheists.bsky.social โ๏ธ ๐๐๐ ๐ญ Team Site
Cindy Reyes @cmreyes86.bsky.social Grant writer/scientist cheerleader @Allen Institute. Lapsed neuroscientist. Gardener. Mom to a street mutt, bearded dragon, and a small human. she/her
Fanny Elahi, MD, PhD @fanny-elahi.bsky.social Physician-scientist on a mission to prevent dementia. CADASIL expert. Blood vessel enthusiast. Associate Professor
at the Icahn School of Medicine at Mount Sinai.
Andrew McAleer @andymcaleer.bsky.social He/him. Editorial Director for Robinson Psychology, views are my own.
Aravind Putrevu @aravind.dev Dev Tools | Builder | Angel Investor
Ex - Fireworks, SurrealDB, Elasticsearch
aravind.dev
Alex Poon @alexpoon.bsky.social Web and Product at Stellate Communications
๐ณ๏ธโโง๏ธ He/Him | ๐จ๐ปโ๐ป Tech | ๐คฝ๐ผโโ๏ธ๐๐ผโโ๏ธ๐๐ผโโ๏ธAthlete 
Activity Uplift @activityuplift.bsky.social Fun activities for Dementia & Alzheimer's Caregivers, Seniors, and Activity Professionals. https://activityuplift.com
Hunsberger Lab @hunsbergerlab.bsky.social Assistant Professor @RFUMS | Aging and Alzheimerโs disease research | #sexdifferences #healthequity #womenshealth | fitness instructor (when in doubt pedal it out)
WVU alum, CUMC postdoc
https://www.hollyhunsberger.com
katie, phd! @sciencekatie.bsky.social neuroscience phd | first-gen college grad
@zivkar.bsky.social @zivkar.bsky.social 
Dr. Yewande Pearse @nyewro.bsky.social Connecting neuroscience + culture | London-born, LA-based | Speaker, Moderator, Writer | Account Supervisor @stellatecomms.bsky.social
| (She/her) | Learn more at www.yewandepearse.com
โ โ โ โโ โ โ โ โ โ โ โ โ โ โ โ โโ โ โ โ โ โ โ โ โ โ โ โ โโ โ โ โ @jordy.app Connect 9000+ apps with your own codebase, agent skills, scripts, and more https://docs.zapier.com/sdk
Abdal Yousef | Founder @ JaevesAI @abdalyousef.bsky.social Founder & CEO of JaevesAI | Building in public ๐ | Product Hunt Enthusiast | Passionate about Web 3.0 & SaaS | Letโs connect and grow together!
Visit: app.jaeves.com
langs: ๐ฉ๐ช๐ฌ๐ง๐ซ๐ท
Steve Ramirez @okaysteve.bsky.social Professor of neuroscience at Boston University
Kathy @kathyisawesome.com Developer of WooCommerce things, author of Name Your Price, USA handball athlete, guacamole aficionado, hopeless wanderer, & general renaissance woman. she/her.
Chris Wicklund Auroras @wickydubswx.bsky.social Meteorologist. Photographer. Sun Enthusiast. Astroguy. ๐โ๏ธ
SCSU 24โ MNโ๏ธNE
Paula Croxson (she/her) @paulacroxson.bsky.social Neuroscientist & science communicator. President at @stellatecomms.bsky.social, Senior Producer for @storycollider.bsky.social, musician and open-water swimmer.
Meadowhawkz @meadowhawkz.bsky.social Been coding in Java since Applets were cool!
Also a big fan of indieweb, foss, gaming. I'm a long time maker and love learning new stuff. ๐
Merott @mero.tt ๐ฃ๏ธ /mer-AHT/
๐จ๐ปโ๐ป Web Developer
๐ปโโ๏ธ Indie Maker @polarhabits.com
๐ชท Indie Maker @therapyspace.co
๐ ๏ธ Ex-Stripe Tinkerer
The Flippin Coder @sipofwater.bsky.social Ecommerce. Electronics. Vintage Tech & Media.
Right to Repair
๐จ๐ฆ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐๐ฆ
ArbiFlip.com
JP Ahonen ๐ช๐บ @jpahonen.eurosky.social Watching dominoes from Greece. Sports tech leader. Usually early in predictions. Occasionally wrong. Always post-mortem.
I dare to dream, and spell out my vision; to be ridiculous.
Brian Saetre @briansaetre.com I think a lot about human behavior and modeling other minds.
I'm also into:
โ
Building companies (Huncher.com, TaskOS, ArtworkIQ)
โ
Software development (Laravel, Vue)
โ
Building better IRL communities
โ
Helping the victims of narcissists get justice
Owlstown @owlstown.com An easy-to-use website builder designed for academics who want to expand the reach of their research.
https://www.owlstown.com
@jasminekaslow.bsky.social @jasminekaslow.bsky.social 
Bailey C. Sarka, PhD @baileycsarka.bsky.social 
Matteo Farinella (he/him) @matteofarinella.bsky.social #neuroscience PhD, visual storyteller, author of Neurocomic & other science #comics - Multimedia Producer for Columbia's @zuckermanbrain.bsky.social - Art Editor for Science for the People.
https://linktr.ee/matteofarinella
Gabi Serrato Marks @gserratomarks.bsky.social Co-Founder at Stellate Communications. Growing inclusive science communities. she/her. ๐ โฟ๏ธ๐ฒ๐ฝ 
Vic ๐ฎ @vicvijayakumar.com 3x dad, 6.2x runner, 10x plant killer, principal engineer, violinist.
I build everyoak.com, mailtimer.com, onetimefax.com
Jason Shepherd @jasonsynaptic.bsky.social ๐ฟ๐ฆ๐ณ๐ฟ๐บ๐ธNeuroscientist/amateur virologist. Professor and Director of the Molecular Biology Graduate Program, University of Utah. Molecular mechanisms of memory, repurposed transposons, and virus-like intercellular signaling. Personal views.
www.shepherdlab.org
Kristen Crone LLMSW @kc29.bsky.social LLMSW therapist with a specialization in Trauma
She/her/hers
Kyana @kyhite.bsky.social โขโโ / ๐
๐
๐
ก
I like computational psych, especially related to semantics & how it affects the way people engage with one another
Jokes are mostly for my own amusement tbh
Jibran Khokhar @drjkhokhar.bsky.social Associate Professor, CRC in Translational Neuropsychopharmacology Western University Open-Source Behavioural Tools
Committed to knowing better and doing better!