Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Anna Fore Waymack @waymack.bsky.social Feminist, nerd, sailor, gardener, embroiderer, beekeeper. Should be writing. She/her. 
Krishna @krishna-0.bsky.social Music, Philosophy of Science, Logic
GNU emacs user
Pure Mathematics B.A
Joel R. Mitchelson @evidentlyjoel.bsky.social Engineer, 3D sensor maker, ponderer of information/nature/brain/economics/society, piano tinkler, and occasional climate data cruncher. Views my own.
@proustian.bsky.social @proustian.bsky.social 🐫
Sam Thoyre @samthoyre.bsky.social 🌐 Tech Enthusiast | AI & Dev Tools 🛠️
🎥 Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
📺 Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Alex @alexp.bsky.social friends, 🐈🐈⬛, distributed systems, 🧗🏽♂️
java, go, python (wish: lisp/clojure)
🤾🏽♀️ 🏉 🥅 🏈 🏀
emacs & vim
now: Oracle Cloud
past: InfoQ, TestNG, DataStax, Cassandra, RethinkDB
Fabulous Evangelina @intelligentsusie.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Not an AI. Yet. @ronkjeffries.bsky.social Always make new mistakes.
—Ester Dyson
Álvaro Ramírez @xenodium.bsky.social Blogs about #emacs and other stuff at xenodium.com.
Authored plainorg.com and flathabits.com for iOS.
Living in an Emacs buffer somewhere in London.
Also at https://twitter.com/xenodium and https://indieweb.social/@xenodium
@techsh.bsky.social @techsh.bsky.social 
John Pearce @johnpearce650.bsky.social Writer and environmentalist. Find me on Medium: https://medium.com/@johnpearce650
Author of:
"The Little Green Book - A Guide to the Green Revolution"
“Gaia — A Faith for the Future”
“The Medium Story — The Ultimate Guide to Medium"
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat- M @markermak.bsky.social @markermak.bsky.social
Cody Rivera @codyjrivera.bsky.social Ph.D. Student doing verification research, specializing in concurrent and systems code.
(he/him)
@staphanie.bsky.social @staphanie.bsky.social Life is to be lived as love is for us all
Building a generation with peace and love ❤️
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Maria Antoniak @mariaa.bsky.social NLP, cultural analytics. Assistant Professor of CS at University of Colorado Boulder. Books, bikes, games, art. https://maria-antoniak.github.io- A @ad213312.bsky.social @ad213312.bsky.social
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Gabriela Araujo Britto @gabritto.bsky.social 
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
NoFilterGPT AI @nofiltersgpt.bsky.social We allow what ChatGPT doesn't, stay free, stay nofiltergpt.ai 😈
Fully Digital Future @fullydigitalfuture.bsky.social Your apocalypse buddy! Art, music, news, and links related to science, entertainment, technology, science fiction, and the looming cyberpunk apocalypse.
AI is dangerous. The future is frightening. But I'm hopeful and full of love for all humans.
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
Healthy Minds and Bodies @healingminds.bsky.social Welcome to the path of healing your mind, your body, and your soul. We believe your best investment is in your mind and body.
Sharing tips, tricks, and ideas to calm the mind, heal the body, and extend our journey in this life.
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
Junrui Liu @junrui-liu.bsky.social CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Oliver Kriska @quatermain.bsky.social Father, Elixir developer mostly in Fintech/Payments. You want to know something, just ask. Only wrong question is which was not asked. Doing web development almost 20y from Slovakia
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
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
nihil2501 @nihil2501.bsky.social 
@julesjacobs.bsky.social @julesjacobs.bsky.social 
p1xelHer0 @p1xelher0.com 
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
@ericluap.bsky.social @ericluap.bsky.social 
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Aastha Mehta @aasthakm.bsky.social Assistant Professor, UBC CS, http://aasthakm.github.io | Past associations MPI-SWS, NetApp, BITS Pilani.
Brian Borncamp @zubaplants.bsky.social www.zubaplants.com - Native Plants and More - Buffalo, NY
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
David Bindel @dbindel.bsky.social Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
Sharun @sharunkumar.com 👨💻Software Engineer | 🎮Gamer | 💻Tech & 🚗Car Enthusiast | 🐱Cat Person
sharunkumar.com
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Milto Miltiadou @drmiltiadou.bsky.social Lecturer in Computer Science at University of Exeter interested in Earth Observation 🛰️ for Forest 🌲 ecology -#EO #AI #LiDAR #time-series #Forest Developer of DASOS & PloToSat
Web: https://miltomiltiadou.github.io/
Loves dancing💃 & improv 🎭
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
@rjk1.bsky.social @rjk1.bsky.social 
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Reading: WORKERS DESERVE MORE! @michaelajb.breadandros.es 🥖🌹✨ // Chair DSA Nat'l Poli Ed Committee // dsausa.org/join // program.dsausa.org
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Pato @daspato.bsky.social Lots of Rust, learning ocaml
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Chris Henson @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.
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Mads Hartmann @mads-hartmann.bsky.social I’m an experienced software engineer and tech lead with a focus on reliability. I love diving head first into production issues, especially the weird ones.
Engineer at @gitpod
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
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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.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
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Nate | KansaiGaijin | Full Stack Idiot @handle.invalid American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid.
CEO of HTMX.
アホ垢
@prozacchiwawa.bsky.social @prozacchiwawa.bsky.social Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
Sarah Lawsky @sarahlawsky.bsky.social Law professor at UIUC, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms