Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
max @seoul.systems making the internet a better, more human place
liking computers just a bit too much / seoul.systems
Vojimir Golem @vojko.bsky.social 
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Xenonr @xenonr.bsky.social 
@haze.bsky.social @haze.bsky.social a good girlfriend would've went to the police
a great girlfriend would've hid the body
Seated Figure @seatedfigure.com 
Lorenz Leutgeb @handle.invalid PhD student in Automation of Logic at Max Planck Institute for Informatics
O(n lg^2 n) @epstmlgy.bsky.social Generalist, scaredy-cat, old man cartoon smut enjoyer. I know a lot about a few things. He/him or they/them.
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
Mighty Cat @catamight.bsky.social Hinauf! Hinauf strebt's.
Es schweben die Wolken
Abwärts, die Wolken
Neigen sich der sehnenden Liebe.
_Juhan @juhan.bsky.social Haut, Juhan, vam caminar,
vam caminar de cap tà l'immortèla.
PS: Political Science & Politics @pspolisci.bsky.social PS: Political Science & Politics is the journal of record for the discipline. Email: ps@apsanet.org. Co-editors: Lina Benabdallah, Justin Esarey, Peter Siavelis, Betina Wilkinson. apsanet.org/ps
TCarlson @tcw123.bsky.social Posts or reposts are not endorsements, Posts are for informational purposes only. Please repost. Retired. News junkie. Cat lady, love dogs too. Happily married. No DMs, No Porn. No crypto No marketing. I Block.
Emory 🩶 @emory-f8.bsky.social I write dark Victorian fiction and specialize in the long 19th century.
She/Her 🏳️🌈🇪🇸✡️ (I'm always kind)
#writer #historian #Lesbian #sapphic #wlw #Hispanic #feminist #goth #vampires #jpop #bibliophile
NO DMs | Terfs & Narcissists DNI
Amy Quispe @amyquispe.bsky.social if there’s one thing I’m good at, it’s things | NYC technologist & mom (mostly mom rn) | ex-USDS/Medium/Google | CMU/Stuy
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
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/
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Aaron Eline @aaroneline.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.
@tarena.bsky.social @tarena.bsky.social - 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
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.
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)
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
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/- I Isaiah Norton @ihnorton.bsky.social Arrays and scientific data at TileDB. Past #julialang contributor. Interested in systems, software and otherwise.
https://github.com/ihnorton
@delob.bsky.social @delob.bsky.social 
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
em @foremphasis.bsky.social girls are getting into abstract analysis
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
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
Al Merose @al.merose.com Differential database administrator. Machine learning for climate & weather. Ex-Google Research, Founding Member of Technical Staff @OpenAthena.ai. Tinkering with xql.systems. He/him.
Julie @wormgirlfriend.bsky.social Poet. Mom.
She/her
Against white supremacy, genocide, and generally pro human rights
Rafael Ferreira @rff.bsky.social 
@bolusmjak.bsky.social @bolusmjak.bsky.social Currently programming in #elm and #prolog. (Be safe or be all powerful, no fence sitting).
Game Design & Analysis.
Photography #Sigma DP2 Merrill, #Fuji X, #Olympus TG-5
@dubious-brackets.bsky.social @dubious-brackets.bsky.social 
Wild pentachoron correspondent @crossslide.bsky.social Amethyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
43 years old.
Alex Wykoff @distributed.camp I do decentralized & distributed things, mostly product.
Working on a p2p stack for funsies.
Austin, TX
Zachary 🦋 @zed.earth Cyber-Social Infrastructure
Program Language Designer…
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them
🦋BlueAngel69🦋 @blueangel69.bsky.social Zelensky have a spine 💪🏻
Fuck Poutin 'n Krasnov 🖕🏽 TSLA💩
🚫Maga/Republican/Nazi/Facist
🚫Gofundme/Money request/Crypto
🚫Empty profil/OnlyFans
Reposts and likes are not endorsements
💙 🇺🇦 🇨🇦 🇲🇽 🇩🇪 🇵🇱 🇨🇵 🇪🇺 🇫🇮 🇬🇧 🇧🇪 🇳🇿 🇺🇸
I block in return all accounts that blocked me
Amber 🌸 @shimmermathlabs.com Indie software developer • math witch • ML builder • 48 • 🏳️⚧️ she/her
Here to make friends and have fun (not argue).
Currently working on friendship software for caring about others.
h̃ₜ = tanh(Wₕ xₜ + Uₕ(rₜ ⊙ hₜ₋₁) + bₕ)- Y @ymhan.bsky.social @ymhan.bsky.social
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
UndergroundMan @undergroundman.bsky.social Fighting coverage denials at @persiusorg.bsky.social and @healthaccessorg.bsky.social.
Math PhD, physics defector. Now cat servant, soccer, health access and machine learning.
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Camdar @camdar.io phd student, pl person. i do cool things, occasionally.
he/him
https://camdar.io
Webmaster @ https://feuniverse.us
Jodi @jcfineartphoto.bsky.social Searching for beauty, goodness and truth. I am a non-apologetic liberal. Don't bother trying to DM. Also, for fuck's sake, spare me the porn. I love art, photography, poetry.
@Cross_theIine @cross-theline.bsky.social The Human race has a serious Control Freak problem
@Cross_theline and YOU are going to resolve that
I support the Iranian people 🇮🇷
#EndWar #EndTyranny #Cross_theline
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
donaldyeager 🏳️🌈💙 @dyeager64.bsky.social Blue all the way,
DON'T BLAME ME I VOTED FOR HER!
hate tRump with all my being 🇺🇦 Please no DM's unless I know you
Seriously if you DM me and i don't personally know you I will unfollow and block you
#BlueResisters
#NoDemUnder1K
Muhammad Hanif Jakhrani @mdhanifjakhrani.bsky.social 👨🏻🎓🇺🇳🇵🇰
|Journalist, Human Rights Activist
|Director News & OSR Head SLT News®
|UN, IHRM, Metro1 News
|Central RTJ Media Team Committee & President RTJ Distt Jacobabad
|Journalism,B.com🎓
#Honey #HJ56
Paul Johnecheck @7hird.dev Building https://stargamb.it.
Thinking about trust, belief, governance, and atproto.
Livid.
thunderseethe @thunderseethe.dev 
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
lowlifeshirts.com @lowlifeshirts.bsky.social Check out my stores:
lowlifeshirts.com
amazon.lowlifeshirts.com
dez @smuonsneutrino.bsky.social (he/him) I like ttrpgs, film, math, and physics.
Was @smuonsneutrino on cohost
If you come at me assuming I'm white when I talk abt race I will rocket you into the sun. Black people have nonrepresentational profile pics too dingus
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.- S Spaceman Spiff @spacemnspiff.bsky.social
andrew @thefreezer.co.uk Dad of four, developer, game modder, 3D printer, teacher & learner. Pleased to meet you, punk till I die..
Frank Korf @fkorf.bsky.social Computers and code
Pencils and pens
Toys and snacks
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
Matthew Brigham @kcazzo.bsky.social 
Th. Ma. @thierry.marianne.io 
Archit Mehta @architmeta.bsky.social Investigative journalist | Signal: archit.01
https://architmeta.github.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
Chris Ogden @ctogden.bsky.social Walton, NY
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social 
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
MiguelMJ @miguelmjdev.bsky.social Knowledge only exists if it's shared.
miguelmj.dev
jaime silvela @jaimes.bsky.social movies, programming, math, overthinking
Tech/math blog: https://blog.silvela.org/
csmoe @csmoe.bsky.social 🦀Rustacean
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Pwn Doctor, PhD @pwndr.bsky.social Foremost expert in pwning noobs
ROCKY LASTER🌱🦍 @rockylaster.bsky.social Feral Alaskan Hoosier. 17% Sasquatch DNA. High Priestess of the Leguminati 🫘. Allegedly Afraid of🐀 Mice. Watermelon Enthusiast 🍉. Awesome Dad🎖. Adoring Husband. Impossibly Humble. Susceptible to Flattery, 🥑's, and Wizardry. Balding Vegan Earthling 🌎
Nick Rioux @nickrioux.bsky.social Programming will get better.
miniKanren.org @minikanren.bsky.social A little constraint logic programming language and associated community of researchers!
@aziem.bsky.social @aziem.bsky.social 
mason @strtol.bsky.social 
@3demax.bsky.social @3demax.bsky.social 
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@a-userhandle.bsky.social @a-userhandle.bsky.social PL enthusiast - polyglot programmer; 160 chars is a lot to describe self. Opinions are own.
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- B @badgery.bsky.social @badgery.bsky.social
Ethiopia Beyond @talksmart.bsky.social Exploring the untold beauty, culture, history, innovation, and spirit of Ethiopia.
Sharing authentic stories, breathtaking places, people, traditions, and the new face of Africa’s rising destination.
From ancient civilizations to modern transformation — E
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me