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
Full of passionate intensity.
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
👩💻 Software eng
🤪 Creator of cringe tech videos
🥺 The funniest girl in us-east-1
beacons.ai/albertatech
https://andrewblinn.com
abstractJuiceFactory
Professional computer scientist, unprofessional mathematician
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
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
i want to squish software between my fingers
@inkandswitch.com Δ feelingof.com Δ ivanish.ca
profile photo by @seaofclouds.com
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.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
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Creator of Elixir. Working at Dashbit and Livebook.
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
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 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀
Pidgin algebraist, baseball influencer https://slim.computer
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
prototypes @wikipedia.org
prev @tldraw.com
prev @inkandswitch.com
London
todepond.com
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: "Fearless" by Pink Floyd
🧑🏽💻 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/
worrydream.com
dynamicland.org
No more killer apps, kill the app!
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.
seeding discontent in present-day computing
libcomp.org • @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
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
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
https://jpolitz.github.io
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
I make programming languages and interfaces at Victoria University of Wellington
Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Assistant Prof. at UC San Diego. Helping people write better software.
♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
http://wolkenmachine.nl
End user programming & AI tool designer.
🛠️ CTO at https://phosphor.co & @forethink.ai
🦀 Rust NYC / https://RustEastCoast.com organizer 🙋🏻♂️he/him
Computers and decentralization.
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
PL/Systems PhD student at Cornell
ngernest.github.io
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.
Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
PhD Student at the University of Michigan ❦ thomasporter522.github.io
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.
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
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
The Rue programming language. #ruelang if you wanna hashtag it. Run by @steveklabnik.com
Catalan, pirate, gopher, bofher, trollslayer, tsundokusha, speaker, open source library software engineer - Go @ Datadog
https://dario.cat
📍Terrassa
Germ DM 🔑
https://ger.mx/AyECJfN43VYNbWXLEo3SclcK97elu9EcZ--XSQZVpBGl#did:plc:aj77r5uwt72o6oimdjfplqoz
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
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.
If Adolf Hitler flew in today, they’d send a limousine anyway. Parody. Merch: https://tinyurl.com/msjjmwpt
doin' source control stuff at ersc.io
I research and create educational videos about misinformation, propaganda, fascism, and sometimes (unfortunately) AI
Programming, inclusivity, sustainability, & 🦕. he/him.
publicobject.com
This is now a Cyber Resilience Act stan account
(((🏳️🌈🪗🎹🏊🟥🟨🟪)))
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.
Programming Languages Researcher
https://kirancodes.me
An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!
rustconf.com
nb (she/they). boricua. 1312. pfp by @kimstramat.bsky.social ✨ wasm @ fastly. Opinions strictly my own.
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.
a whimsicott crawled into your compiler and got stuck
call me miguel. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
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
The finest in geek entertainment.
Email us: info@nostarch.com
We're live M-F, 7am-6pm PDT
https://nostarch.com/
Helping developers search, understand, and write code in complex codebases with AI.
Principal Developer Advocate, Loft Labs| Founder, Kubesimplify & BuildSafe | He/Him posting my opinions | email - saiyam911@gmail.com
Your WebAssembly Conference / Next edition:
19-20 March 2026 - Barcelona, Spain. Organized by
@sergialmar.com
Strategic technologist and author focused on safety-by-design human experience, sustainability, and privacy-enhancing technology at @omnifi.foundation.
The App for Connecting Open Social Web
Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed ✨
https://openvibe.social
Open source at Azure. These are my opinions.
I play with distributed systems by day and poke various runtimes by night. Engineer @QuestDB, @Hazelcast alumnus.
🦀 Software engineer trying to be pragmatic. Perfection is a myth.
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Not official account. Not related with any zig foundation or community. Just zig fan!
https://ziglang.org/
https://github.com/ziglang/zig
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.
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.
