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- D Dan Luu @danluu.com danluu.com / www.patreon.com/danluu/
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Gergely Orosz @gergely.pragmaticengineer.com Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
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
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 
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.
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
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Michael Mroz @mroz.io Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.
Kristin @wiredaemon.bsky.social Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Ray Myers @raymyers.bsky.social Software Revivalist.
Founder of The Coding Agency. Interested in programming languages and formal methods. Learning Chess.
jan Pana Suno li toki pona
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Alex @alexanderlhicks.com Working on formal verification & AI at Ethereum.
verified-zkevm.org
Jack Vanlightly @vanlightly.bsky.social Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).
https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Scidonia @scidonia.bsky.social High-Assurance AI Systems for Knowledge-Critical Work
Lily @lilystellate.bsky.social Creative Director @ Stellate Communications
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
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.
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
@midspiral.bsky.social @midspiral.bsky.social 
Trix @trixreganit.bsky.social 
SciCommic @scicommic.bsky.social Science communication tramp.
I’ve been an informal science educator and vaccine advocate long enough to know that anti-science is not partisan.
People show us who they are by who they choose to represent them.
Lin Tian, PhD @lintianphd.bsky.social Scientific Director at MPFI | Developing optical & molecular tools for 🧠 research & 💊 discovery | Baseball mom, swim mom & dog mom
Aqeel 🦘✨🦕 @aqeelakber.com Exploring the intersection of science, business, tech, and art.
Once a nuclear physicist. Founded and exited an AI company; now building meos labs.
Meos One - your phone made better.. @getmeos.com
Proudly non-binary, expect emojis in replies. 💖🇦🇺🦘
Ryan Lei @ryanlei.bsky.social Associate Professor of Psychology at Haverford College. Interested in social cognitive development. 
Alicia Cintron, PhD @cintronrevised.com 👩🏾💼 founder 👩🏾💻 research communications trainer & consultant 🗺️ traveling scholar-entrepreneur & ICF certified travel coach 🔗 https://linktr.ee/cintronrevised
Your Neighborhood Scientist @your.neighborhoodscientist.org cultivating community-based conversations about science, science policy, and scientists
https://neighborhoodscientist.org
Jitse S. Amelink @jsamelink.bsky.social Postdoc computational neurogenetics @mpi-nl.bsky.social
neuroscience x genetics x cognition&language x scicomm
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
Chelsea Parlett @chelseaparlett.bsky.social Ph.D, stats lover/writer✍🏼, #statistics #scicomm #datascience #statstiktok 👩🏻💻 she/her
Jared Rhizor @jrhizor.dev jrhizor.dev - building software ($1.7k MRR)
poach.vc - founder leads for early stage investors
keywordgems.com - ai keyword research
otamatunes.com - sheet music for the otamatone
Avesta Rastan @azuravesta.bsky.social Medical illustrator & scientific visualization specialist. I craft compelling stories about complex science using illustration, design, and animation ✏️🧠🫀
From Vancouver, based in Toronto
MScBMC (U of T) alum
Portfolio: www.azuravesta.com
@anahitawrites.bsky.social @anahitawrites.bsky.social 
Ben Mann @b3nm4nn.bsky.social Part-time solo founder, full-time tech lead.
Building http://grepture.com & http://ingestlayer.com
Marvin Danig @marvindanig.com lousy guitarist. css engineer. book maker. open formats & web standards.
onto memories now.
I'm building Achiral ☞ https://achiral.ai
Travis Street @travisstreet.com Building since 2011
👥 https://consult.now
📅 https://siliconmingle.com
🔗 https://joi.st
💬 https://founder.clinic
📰 https://links.supply
📦 https://product.now
🏠 https://travis.st/reet
Molly Jong-Fast @mollyjongfast.bsky.social Host of the Fast politics podcast, contributing Writer at The New York Times opinion and MSNBC. Subscribe to fast politics YouTube channel
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 🖖
Sofia J. Araújo @sofiajaraujo.bsky.social Research scientist interest in how cells behave, Professor and head of the @geneticsub.bsky.social section at Universitat de Barcelona, eLife SE, Fly EDS and SEBD board member #Scicomm and #SciArt enthusiast and X escapee
Penn NeuroKnow 🧠 @pennneuroknow.bsky.social Weekly neuroscience blog written by PhD students at the University of Pennsylvania breaking down the brain for everyone to understand.
Visit our blog: https://pennneuroknow.com/
Dr. Hilary Rose Dawson @hilaryrosed.bsky.social It's all about plants in the end
(and truffle diversity | soil carbon)
she/her 🏳️🌈 🌾🍄👩🏼🔬⛰️🌱
#WomenInSTEM #botany #fungi #seeds
PhD from UOregon 🇺🇸
#MSCA postdoc UiBergen 🇳🇴
Also postdoc research in 🇦🇺
HilaryRoseDawson.wordpress.com
Prof Sam Illingworth @samillingworth.com Full Professor of Critical AI Literacy | Slow AI
When to use AI and when to leave it the hell alone.
https://theslowai.substack.com/
Juan Garcia-Ruiz @juangarciaruiz.bsky.social PhD candidate in neuroscience. Strong interest in neuron-glia interactions and metabolism.
Science outreach in bite-sized posts.
🔗 www.neuronhub.org
#SciComm
Tyler Manning @gnarlytinmen.bsky.social 👀🧠🖥
Nicole Rust @nicolecrust.bsky.social Mood & Memory researcher with a computational bent. https://www.nicolecrust.com. Science advocate. Prof (UPenn Psych) - Author: Elusive Cures. https://press.princeton.edu/books/hardcover/9780691243054/elusive-cures
Lydia Jennings, PhD @1nativesoilnerd.bsky.social Pascua Yaqui soil scientist, runner, science communicator, Indigenous data warrior & assistant professor. 🌵baby in NE😅
Learn more about me: https://nativesoilnerd.com
See: Run to Be Visible, my 50 mile honor run: https://m.youtube.com/watch?v=xrLTUUPugIc
AmpSci @ampsci.org The community where science communicators thrive through collaboration, opportunity, and direct support.
ampsci.org
connect beyond bsky:
fernanda@ampsci.org
#scicomm
christine liu / two photon art @christineliu.art 🧠 ucsf neuroscience postdoc
🍄 psychedelic researcher
🎨 www.twophotonart.com
🪡 weekend tattoo artist
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
Wes Bos @wesbos.com Fullstack Dev ❯ JS⚛ CSS Node ❯ JavaScript30.com ❯ wesbos.com/courses ❯ 🔥 Tips ❯ Podcast @syntax.fm
Jack Lewin @jacklewin.com Building & shipping things ⛵️ - Indie founder & engineer in London
Thomas Sanlis @tsanlis.bsky.social Indie Hacker 🇫🇷
uneed.best (@uneed.best), launch platform.
writizzy.com, blogging platform.
$130K in 2025.
2026 goal: $200K.
zach_codes @zach-codes.bsky.social 💻 Senior Software Engineer
🔨 Building Turbobase
🧙♂️ Born to cast spells, forced to write TypeScript
https://www.turbobase.dev/
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
Lars @builditn0w.bsky.social https://tweet.md
https://ShowUpInAI.com
https://realtime.blue
https://postcapture.com
https://confettisaas.com
https://blackfriday.tools
David Darnes @darn.es Senior Engineer working on Polaris at Shopify
Previously: @zeroheight.com, Nord Design System, @ghost.org.
Clients: Google, @buffer.com and @netlify.com.
[he/him]
https://darn.es
https://designsystems.wtf
#DesignSystems, #WebComponents & #Frontend
Matt Wensing @mattwensing.bsky.social Working @ Customer.io. Started two startups previously. I’ve been called relentless.
Ilias Ism @il.ly 🧑💻 ranking sites by day, breaking prod by night
🪄 magicspace.co seo that actually works
🔥 seoroast.co telling you why yours doesn't
🤖 linkdr.com link building on autopilot
🦋 bluesky: @airfry.bot @blueskystarterpack.com @saveth.is
lesley.pizza @handle.invalid Building Newsletter Glue, EventKoi (launching soon), and a bunch of other stuff.
Earnest, friendly, slightly snarky. Mostly harmless. (she/her)
Jason Zook @jasondoesstuff.bsky.social Doer of stuff. Previously weird stuff. These days, calm businesses.
💻 https://waim.co/now
📍 Silver Coast, Portugal
Melinda Golden @melindagolden.bsky.social Front-end developer and indie maker. https://melindagolden.com
James McKinven @handle.invalid Podcasting @ indiebites.com and making leather wallets in my spare time @ whitstablecraftco.com 🪡
Wouter @wouterds.com 💻 Digital Creative & Developer @tally.so
🛠️ React · React Native · Remix / React Router · TypeScript · Node.js · Cloudflare
⚡️ https://wouterds.com
Ben Evans @ivorjetski.bsky.social CSS Weirdo
CSS Artist
CSS Crimes
C̶̞͎̯̦̜͙ͫ̓͘S͔̟̀̓S̵͈̠͒̓ͣ̈̌ͧ͂ͮ̕_̤_̷̢̡̱̭͓̮͉̻̳̞̞͙ͫ͊̾ͧͮͬ͛ͮͧͧ̿͘̚͝͞ A̡̧͕̤̭̠͎̳͖̮̹̋̌̃ͦ͗ͥͦͪͦ͐̉̅̅̏͟͜͢_͓͕͕͓̋R̡̖̠ͪͯ̑̆ͩ̀̒̎͢T̚
JJ @jay4.fun
👨💻 Developer | 🎯 Problem solver | ⚡️ Minimalist
❤️ @jesstemporal.com's husband
🔗 jay4.fun
Jurijs @cyberpunk.tools 🛠 Building Statusalert.IO – uptime & monitoring. It’s free, check it out!
Product Sketch @productsketch.bsky.social https://productsketch.com
a simple, bloat-free, collaborative task management app for small teams.
made by @heyyfernanda.bsky.social
Amit @amirgal.bsky.social Senior AI Engineer @IKSHealth
Former Founding Engineer @ThinkDTM
Former Engineer @PayPal
Aleksander Stojanowski @stojanowski.dev #IndieHacker working on @letspark.it
Hadar @hadars.bsky.social I'm an ML Team Lead with a Master’s in CS, but on 🦋, I’m just a junior solopreneur sharing the journey 🚀.
Download Locator and Save Places you Love 👇🏻
locator.ltd
Rebecca Bardess✨👑 @rebeccabardess.bsky.social Read your FREE Human Design chart here. ⬇️
indiepreneur.academy
Blog: http://LikeABardess.com
Podcast: Like A Bardess
@indieacademy.bsky.social
📖 Indie Author
💡Dot Com Pioneer
🪟✌️Overton Window fan
✨2/4 Manifestor (Easy Breezy Genius)
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
Sascha Gordner @saschagordner.de Someone who enjoys building thoughtful mobile apps.
Currently building diu, a to-do list focused on motivation, not just tasks.
https://getdiu.com
Mubashar “Mubs” Iqbal @mubashariqbal.com Sign up for my newsletter 👉 http://sideprojectmvp.com for tips & tricks from someone who has built 120 side projects (https://iworkedon.com/@mubashariqbal).
🏡 - https://mubs.me
Matt Blake @mattblake.uk No code app development tutoring at 👉 Codeless.coach
Habitual side project starter 🪴
X @mattblake_uk
John O'Nolan @johnonolan.bsky.social Founder/CEO at @Ghost.org - Geographically restless.
Mostly posting about publishing, media, open source, JavaScript, Laravel, bootstrapping, SaaS, activitypub, and design. 
Jonas Downey @jonas.do Design Director @ Superhuman // Co-creator of Hello Weather. Ex-Figma, Twitter, and some other stuff. Puns always intended. he/him
🌐 https://jonas.do
🌞 @helloweather.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
Rosie Sherry @rosiesherry.com Community builder. Indie founder. Unschooler. 5x Mother. AuDHD . She/her. 🇬🇧
“Don’t let the social networks have all the fun”
🌈 Rosie.land: writing about community building
🪐 Founder & CEO @ministryoftesting.com
@yongfook.bsky.social @yongfook.bsky.social 
Cassidy @cassidoo.co Making memes, dreams, & software!
Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠
Subscribe to my newsletter!
cassidoo.co/newsletter
Steve Ramirez @okaysteve.bsky.social Professor of neuroscience at Boston University
The Flippin Coder @sipofwater.bsky.social Ecommerce. Electronics. Vintage Tech & Media.
Right to Repair
🇨🇦🏳️⚧️🏳️🌈🦄
ArbiFlip.com
Danielle @dinkydani21.bsky.social Bootstrapped nomad for 8+ years 🎒 in 50+ countries 🗺️
Easily unsubscribe from emails 💌 leavemealone.com