Kim Fletcher @kimfletcher.bsky.social Event Operations & Community Leader | Organised Devoxx UK | Volunteer Manager: AI Native DevCon & StateOfOpenCon | Leader of the Virtual Java User Group
Only Human Hub @onlyhumanhub.com An experiment in building a social network composed of verified humans.
Want to join? ๐ https://onlyhumanhub.com/
Follow @label.onlyhumanhub.com to see who's human
Thomas Ptacek @sockpuppet.org Full of passionate intensity.
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
Alberta Tech @albertatech.bsky.social ๐ฉโ๐ป Software eng
๐คช Creator of cringe tech videos
๐ฅบ The funniest girl in us-east-1
beacons.ai/albertatech
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
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
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
๐ฏ๐ต๐บ๐ธ
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
๐@jack@jackrusher.com
๐ฆ@jackrusher
Ivy Reese @spiralganglion.com I want to smush software between my fingers and
turn my weathered feelings into wriggly music.
merveilles.town/@spiralganglion ฮ masto
@inkandswitch.com ฮ research
feelingof.com ฮ podcast
ivy.boo ฮ myself
she / her ๐ณ๏ธโโง๏ธ
Paul Biggar ๐ต๐ธ ๐ฎ๐ช @paulbiggar.com Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
Josรฉ Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Matti Palli @mpg.is aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn
asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐
I inherited https://types.pl
โผ https://ionathan.ch
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her ๐ณ๏ธโโง๏ธ coworkers DNI
https://linktr.ee/gabriella439
๐ @ember.pet
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
taylor.town @taylor.town ๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Lu wilson @todepond.com prototypes @wikipedia.org
prev @tldraw.com
prev @inkandswitch.com
London
todepond.com
youtube.com/@todepond
Linus @thesephist.com thought & craft
Steve Krouse @stevekrouse.com
์ง์ฐ @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "Time" by Pink Floyd
Mariano Guerra @marianoguerra.org ๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq
๐ Co-author of https://wasmfromthegroundup.com/
๐ฐ Feeling of Computing Newsletter: https://newsletter.futureofcoding.org/join/
๐ Public Projects: https://marianoguerra.github.io/
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
๐ @rntz@recurse.social
๐ฆ @arntzenius
Attempting to use bsky more now that people are showing up.
๐ฎ @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org โข @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
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
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Michael Homer @mwh.nz I make programming languages and interfaces at Victoria University of Wellington
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
jaylin herskovitz @jayl.in โช~ แ(แ)แ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
@mechadense.bsky.social @mechadense.bsky.social
Matt Keenan @negabinary.bsky.social
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
http://wolkenmachine.nl
Cole Lawrence @colelawrence.com End user programming & AI tool designer.
๐ ๏ธ CTO at https://phosphor.co & @forethink.ai
๐ฆ Rust NYC / https://RustEastCoast.com organizer ๐๐ปโโ๏ธhe/him
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Roly Perera @handle.invalid Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
๐จ๐ฆ Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina ๐จ๐ฆ
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan โฆ thomasporter522.github.io
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.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Dominik Picheta @dom96.picheta.me Software Engineer at Cloudflare. Ex-Meta.
Building projects off and on ATProto, including @scrapboard.org ๐, @onlyhumanhub.com and @listifications.app
๐ฑโโ๏ธ Verified human: https://onlyhumanhub.com/profile/dom96.picheta.me
๐ https://picheta.me
Rue @rue-lang.dev The Rue programming language. #ruelang if you wanna hashtag it. Run by @steveklabnik.com
Dario Castaรฑรฉ ๐ดโโ ๏ธ @dario.cat Catalan, pirate, gopher, bofher, trollslayer, tsundokusha, speaker, open source library software engineer - Go @ Datadog
https://dario.cat
๐Terrassa
Kemal Akkoyun @kakkoyun.me GIF Monger, builder, tinkerer and geek.
Observability, Reliability, Performance. Mostly focused on #Go, #eBPF and #OpenTelemetry
@prometheus.io, and @opentelemetry.io team member.
#profiling #kubernetes #golang #zig #linux #perf
KOW @kow.fm Artist, Designer, Engineer.
Capsule.graphics is my studio.
I make Camping (Rubycamping.org)
Diverse and inclusive Ruby community by default.
Writing a new language: Kona (konascript.org)
Black Lives Matter.
Anti Fascist.
Democratic Socialist.
NY Times Pitchbot @nytpitchbot.bsky.social I saw a world where the dead are worshiped. This world belongs to them, now they can keep it. Parody. Merch: https://tinyurl.com/msjjmwpt
East River Source Control @ersc.io doin' source control stuff at ersc.io
Abbie Richards @abbierichards.bsky.social I research and create educational videos about misinformation, propaganda, climate change, and sometimes (unfortunately) AI
Jesse Wilson @swank.ca Programming, inclusivity, sustainability, & ๐ฆ. he/him.
publicobject.com
Daniel Ehrenberg @littledan.dev
(((๐ณ๏ธโ๐๐ช๐น๐๐ฅ๐จ๐ช)))
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.
thunderseethe @thunderseethe.dev
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
David Manning @dlmanning.bsky.social No one of consequence
RustConf @rustconf.com An event dedicated to #rustlang & its community ๐ฆ Taking place from Sept 8-11 in Montreal, Canada in 2026!
rustconf.com
Pwnallthethings @pwnallthethings.bsky.social Just thinking out loud.
Katerina Marchรกn ๐ @zkat.tech nb (she/they). boricua. 1312. pfp by @kimstramat.bsky.social โจ wasm @ fastly. Opinions strictly my own.
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
&ers @apitman.com
mcyoung ๐ณ๏ธโ๐ @mcy.gay a whimsicott crawled into your compiler and got stuck
call me sunny. yes! i am a furry artist!
โจ๏ธ mcy.gay
๐จ art.mcy.gay
๐ฐ art.mcy.gay/comms
๐ @art.mcy.gay
๐Seattle, WA
iximeow @there.is.no.aarch64.mov made out of meat. making computers pretend to be computers
@rustlanguagemilano.bsky.social @rustlanguagemilano.bsky.social
Michael Knyszek @michael.express #golang runtime
Patrick Dubroy @dubroy.com Programmer & researcher, co-creator of https://ohmjs.org. ๐จ๐ฆ ๐ฉ๐ช ๐ช๐บ
Co-author of https://wasmgroundup.com โ learn Wasm by building a simple compiler in JavaScript.
Prev: CDG/HARC, Google, BumpTop
No Starch Press @nostarchpress.bsky.social The finest in geek entertainment.
Email us: info@nostarch.com
We're live M-F, 7am-6pm PDT
https://nostarch.com/
Sourcegraph @sourcegraph.com Helping developers search, understand, and write code in complex codebases with AI.
Saiyam Pathak @saiyampathak.com Principal Developer Advocate, Loft Labs| Founder, Kubesimplify & BuildSafe | He/Him posting my opinions | email - saiyam911@gmail.com
@superchris.launchscout.com @superchris.launchscout.com
Wasm I/O @wasm.io Your WebAssembly Conference / Next edition:
19-20 March 2026 - Barcelona, Spain. Organized by
@sergialmar.com
@leighjohnston.bsky.social @leighjohnston.bsky.social
ใใฃใชใคใ @fillip.pro Strategic technologist and author focused on safety-by-design human experience, sustainability, and privacy-enhancing technology at @omnifi.foundation.- O @odersky.bsky.social @odersky.bsky.social
Openvibe @openvibe.social The App for Connecting Open Social Web
Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed โจ
https://openvibe.social
David Justice @david.justice.dev Open source at Azure. These are my opinions.
J @ Dyne.org @jaromil.bsky.social @Dyne.org think &do tank
Jaromir Hamala @jerrinot.bsky.social I play with distributed systems by day and poke various runtimes by night. Engineer @QuestDB, @Hazelcast alumnus.
Tadej Stanic @mydnicq.bsky.social ๐ฆ Software engineer trying to be pragmatic. Perfection is a myth.
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.
Zig @ziglang.bsky.social Not official account. Not related with any zig foundation or community. Just zig fan!
https://ziglang.org/
https://github.com/ziglang/zig
Better Things Are Possible @internethippo.bsky.social
mcp.run @handle.invalid ๐ข Ship your code to agents ๐ค, models ๐ฌ, and apps ๐ฑ
bsull @bsull.bsky.social fell runner, swe @ grafana labs, @sd2k on github, @bsull in some other places. often doing rust stuff.
http://sd2k.github.io if you like seldom updated blogs.
Peter Bhat Harkins โ๏ธ @push.cx Programmer by day, programmer by night.
Blog: https://push.cx Bootstrapping: https://recheck.dev
I run https://lobste.rs and stream office hours Mon+Thu: https://push.cx/stream
For people migrating, I was @pushcx on Twitter. I use he/him.