Kiran (She/Her)
Trans girl 🏳️⚧️ | 26
Programming Languages Postdoc @ UIUC
still here~ despite it all
https://kirancodes.me
@currough.bsky.social
Educator, maker, computer scientist, aikidoka, queer. ML researcher, skeptical of generative AI. Asst. Prof of Computer Science at Colorado College. I like to make things out of wood/code/both. Black lives matter, trans rights = human rights. He/they
@london.gov.uk
Husband, father and Mayor of the greatest city in the world. He/Him.
@ellyse7777.bsky.social
Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages YouTube: https://www.youtube.com/@ellyse7777 PeerTube: https://video.mycrowd.ca/c/learn_together/videos Fedi: https://humanwords.cc/@ellyxir
@rishav84ia.bsky.social
PhD student at NUS; Differential Privacy and Machine (Un)Learning Trying to stop machines from learning too much about us comp.nus.edu.sg/~rishav1
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@connbreathnach.bsky.social
write code for a living, write better code for a hobby. do research for my own mental well being. computers, maths, hardware, languages connbreathnach.com
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@shaunvids.bsky.social
https://www.twitch.tv/shaun_vids https://www.youtube.com/@Shaun_vids https://www.patreon.com/shaunfromyoutube
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@ignacioballesteros.es
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@kit-ty-kate.bsky.social
Some kind of nerd by day and goblin by night. CS-gas {,injections} knower / Cyclophosphamide my beloved. 📍 Glasgow, Scotland 📢 FR/EN/DE 🎨 Avatar by @chordbug.bsky.social See also: 🐘 mastodon.social/@kit_ty_kate 🐞 https://cohost.org/kit-ty-kate
@cyberglot.bsky.social
PL nerd, digital artist. Making programs typecheck in the UK.
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@mehdirhasan.bsky.social
Editor and CEO, Zeteo Author, ‘Win Every Argument’ British-American
@hrefna.dev
SRE. Queer. Poly. Trans. Engineer. ADHD. Ace. CWA Member. Chaos magician. #ActuallyAutistic #UnionStrong Pronounced /ˈr̥ɛvna/ or /ˈr̥ɛpna/. Opinions my own. Does not suffer fools gladly. Pronouns: * xe/xem/xyr * she/her
@joao.omg.lol
Research Engineer at Google DeepMind A special snowflake existing in 196883 dimensions #ActuallyAutistic He/Him
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@chenson.bsky.social
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@trustmeim.gay
Clueless transfem nerd just trying to figure life out. I love gaming, coding and cute things :) 💜 Obsessed with NixOS Formerly eepyluna 💜🩷 @m1emi1em.dev 💜🧡 @harunaifen.bsky.social She/her | en🇺🇸/pt🇧🇷 | 30+ | 🔞 | 2025-02-26 💉🏳️⚧️
@zehavoc.bsky.social
Associate professor in NLP, engaged citizen. Tweeting about work, life and stuffs that I care about. All my tweets can be used freely. @zehavoc@mastodon.social @zehavoc (@twitter)
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@aristeraelysium.bsky.social
🇵🇸 18yo brown trans girlkisser (mostly), uses arch and kde btw, Impulsive and anxious mess, ⚒️ Mastodon: @Alicia_gay@union.place Discord: same @ as here Signal: moots
@dabeaz.com
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@frontpage.fyi
A decentralised and federated link aggregator built on the same technologies as Bluesky. https://frontpage.fyi
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@forkjoin.bsky.social
Assistant 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
@jdp23.thenexus.today
Strategist, software engineer, entrepreneur, activist, privacy advocate. He/him or they/them. Currently mostly at http://thenexusofprivacy.net and @jdp23@neuromatch.social
@spritelyinst.bsky.social
We're building the next generation of decentralized network tech! https://spritely.institute
@evangreer.bsky.social
Queer activist, writer, and musician causing problems for the powerful. Director of Fight for the Future. Last album "Spotify is Surveillance" out now on Don Giovanni Records and Get Better Records. she/her/they/them
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@killjamesbond.bsky.social
@Postoctobrist, @TheAbigailThorn and @DevonOnEarth seek to kill the James Bond in our heads www.killjamesbond.com
@isabelroses.com
Black magic-practitioning Nix witch 20 | she/her | 🖤 @robinroses.xyz my website -> https://isabelroses.com hell -> https://isabelroses.com/api/discord
@zoedsoupe.zeetech.io
software bricklayer | travesty | they/she/elu/dela | BS CS | pt-br/en | cohost @elixiremfoco | heated about tech & social justice may interact with soft NSFW 💜 elixir sdk dev at @supabase.com