OpenAI {bot} @openaibot.bsky.social Unofficial mirror account of https://x.com/openai from Twitter
OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: http://openai.com/jobs
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
NeoNacho @neonacho.bsky.social Just here for lunch 🥪 
Tibor Blaho @btibor91.blaho.me Lead Engineer at AIPRM.com and LinkResearchTools.com, building AIPRM for ChatGPT & Claude
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Jeff Clune @jeffclune.com Professor, Computer Science, University of British Columbia. CIFAR AI Chair, Vector Institute. Senior Advisor, DeepMind. ML, AI, deep RL, deep learning, AI-Generating Algorithms (AI-GAs), open-endedness. 
Laura @pku2319.bsky.social Thoughts unsolicited
Also tips on making and keeping friends
Ethan Mollick @emollick.bsky.social Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence.
Book: https://a.co/d/bC2kSj1
Substack: https://www.oneusefulthing.org/
Web: https://mgmt.wharton.upenn.edu/profile/emollick
John Nunemaker @johnnunemaker.com Tweets about Ruby/Rails. Building @boxoutsports.com, @fireside.fm and @flippercloud.io. Huge fan of 🏀 and ⏱️ (southbendwatch.co).
Mark Gurman @markgurman.bsky.social Breaking News on Apple and Tech. Bloomberg Managing Editor and Chief Correspondent. Subscribe to Power On. Tips: mark@markgurman.com. Signal: markgurman.01. Telegram: GurmanMark.
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
v1sea @v1sea.com xr nerd, geospatial data enjoyer.
@steve-yegge.bsky.social @steve-yegge.bsky.social 
Gene Kim @realgenekim.bsky.social WSJ bestselling author: Unicorn Project! DevOps researcher/enthusiast. Coauthor: Phoenix Project, Accelerate. Host of The Idealcast. Tripwire founder. Clojure.
Hannah @ Storacha @techgirlwonder.bsky.social 
Hunter Harris ᯅ Vision Pro @hunter-spatial.bsky.social iOS / visionOS Engineer - ARKit, RealityKit, SharePlay. 10+ Vision Pro Apps ᯅ DicyaninLabs.com
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Dr Eugenia Cheng -- no advice please -- @dreugeniacheng.bsky.social Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Swift Language @swift.org Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Scenery @scenery-app.bsky.social The XR Creation Suite you always wanted.
Get Scenery: https://apps.apple.com/de/app/scenery-spatial-experiences/id6472496817
MrQuick @mrquick.bsky.social 
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Matt Kukla @n-category.bsky.social mkukla.net
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
Marty Cagan @martycagan.bsky.social Founder and Partner at Silicon Valley Product Group (www.svpg.com); long time product person.
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Michael Brown @mluisbrown.bsky.social Self taught coder since I was 11.
iOS Engineer📱. Tech 📷 and ☕️ nerd.
British & German by birth, Portuguese by choice.
Lisbon, Portugal
Melissa Weis @lissweis.bsky.social 
Ryan Case @iamryancase.bsky.social Welcome to my house. Come freely. Go safely; and leave something of the happiness you bring.
Check my website for all I do!
Www.linktr.ee/iamryancase
Joey Mudd @jmuddcat.bsky.social Musician, sound collector, radio host of The Deep End on ARTxFM.com 📻 97.1 FM Louisville
Sean A. Garrison— American artist. @seanagarrison.bsky.social None of my work is digitally created. If you’re interested in purchasing my work, feel free to DM me.
@jamesnotjimmy74.bsky.social @jamesnotjimmy74.bsky.social 
Stewart Mandel @slmandel.bsky.social The Athletic College Football
Bruce Feldman @brucefeldmancfb.bsky.social Sports Reporter; The Athletic; Fox Sports; Author—Meat Market; Swing Your Sword; The QB; Cane Mutiny
Alex(ander) Rudloff @handle.invalid Tech, art, sports and occasional hot takes. UCF c/o 2003. AT section hiker.
🌊 Satellite Beach, FL
⛰️ Bryson City, NC
🏢 Washington, DC
Co-founder and CTO at GMTM.com
Elixir of Progress @elucidating.extradimensional.space They/them
Interests: Math. Engineering. Engineering Games. 3d printing and industrial design. Education.
Job: SRE at a tech company working on L7 Networking & Load Balancing.
Kent Beck @kentbeck.com Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
Simon @hojberg.xyz Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collaboration.com
Dance more!
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Mike Wynholds @mwynholds.bsky.social love to the pumpkin and the bun. space rocket 2078 🚀
Brian Kelly @spilth.bsky.social I am a software engineer by day, a songwriter by night and a geek most of the rest of the time. https://spilth.org
Allie O’Connell @allieoconnell.com 
Glitter Rock @ricokareem.bsky.social Rico Rodriquez Collins
Star of the Disco 🪩
Former Senior Principal @ West Monroe
Former Developer @ Carbon Five
https://github.com/ricokareem (ghost town 🏜️)
Andrew Hao @andrewhao.com Engineering at YouTube. Previously Lyft, Carbon Five.
Any-surface runner 🏃🏻♂️ and your favorite pair partner 🍐. Also: https://mastodon.online/@andrewhao. Account here is no longer me: twitter.com/@andrewhao
dznqbit @dznqbit.bsky.social 
Rit Li @rit.li Keep Software Yummy
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Chris @quesenart.bsky.social Casual artist.
Fan of comics, anime, music, cooking and games.
Dave Verwer @daveverwer.com Author of iOS Dev Weekly and co-founder of the Swift Package Index.- J Joe Groff @jckarter.bsky.social cohost.org/jckarter
Point-Free @pointfree.co A video series exploring advanced topics in the Swift programming language, hosted by @mbrandonw.bsky.social and @stephencelis.com.
Save 30% off today! https://www.pointfree.co/discounts/black-friday-2025
Stephen Celis @stephencelis.com Working on @pointfree.co.
Alex Ozun @alexozun.com Staff iOS Engineer | https://swiftology.io
Based in 🇬🇧 Born in 🇺🇦
All opinions are my own
Pedro Piñera @handle.invalid Software crafter · Tuist creator • Prev. Shopify, SoundCloud
Rob Napier @cocoaphony.bsky.social Eventually I'll decide what I want to say about myself on this site. I usually mention Swift. robnapier.net
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Matt Massicotte @massicotte.org apple platform dev, outdoors, justice, games, he/him
Every problem has a simple wrong answer
https://github.com/mattmassicotte
https://www.massicotte.org
https://mastodon.social/@mattiem
Brandon Williams @mbrandonw.bsky.social Subterranean homesick mathematician. Co-host of @pointfree.co.
https://www.fewbutripe.com
Alex Grebenyuk @grebenyuk.bsky.social Software Engineer @Automattic. I write kean.blog and build Nuke, Pulse, and more at github.com/kean.
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Franz Busch @franzbusch.bsky.social Swift on Server @Apple
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Talia Ringer @taliaringer.bsky.social 
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Higher-Kinded Type @hktpe.bsky.social https://blog.rhetoricalmusings.com
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
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.
Ken Scambler @kenscambler.me Architecture, FP, compositionality.- T Tim Sweeney @timsweeneyepic.bsky.social
Jen @jenkersey.bsky.social Yucca Valley
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Marc Love @marclove.bsky.social 
Lee Kayfabe @leekayfabe.bsky.social Musician
Midlothian VA (Richmond)
Louisville KY
duncan b. barlow @duncanbbarlow.bsky.social I am a writer and musician.
Publisher, Astrophil Press
@hazmatzo.bsky.social @hazmatzo.bsky.social Software engineer, climber, former nonprofit worker, occasional linguist, avid reader of sci-fi, fantasy, and romance. She/they
Ben Cohen @airspeedswift.bsky.social thwart leader
DJ Champage Bangers @imclaybaker.bsky.social Louisville’s Premier Mid-Tempo DJ. AKA Cowpoke Clay if you like 60’s-80’s country. Magic the Gathering enthusiast. KGLW superfan. I will lay down on your floor to pet your cats. Hey, can i pet that dog? When are we eating and where?
He/him- C Saleem Abdulrasool @compnerd.bsky.social PL/Compiler Engineer, xplat Swift, & Swift Core Team member @ @thebrowsercompany (ex @GoogleAI, @facebook, @Microsoft)
- K Kroft @kroft.bsky.social
Penguin @penguin-mallow.bsky.social 
@mattoflambda.bsky.social @mattoflambda.bsky.social i blog at parsonsmatt.org and i wrote productionhaskell.com
not sure what this space will be- T @thereses.bsky.social @thereses.bsky.social
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Product Guy @productguy.bsky.social Dad. Technologist. Product Thinker.
inamiy @inamiy.bsky.social Interests: Programming, Logic, Math, Physics, Biology, AI, Natural History, Anthropology, Books, Travel, Culture.
Language: 🇯🇵🇬🇧
Robert Widmann @cfi.bsky.social Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️🌈
Saagar Jha @saagarjha.com - L Laura @lauraku.bsky.social
Marques Brownlee @mkbhd.com Video maker
Jon Maddox @maddox.bsky.social I have a lot of dumb hobbies. Constantly caremad. VCU fan. Making TV dreams come true with Channels. Formerly GitHub.
Evan Phoenix @evanphx.dev Startup CEO at @miren.dev
Organic bio-electric pattern matching grid.