rain 🌦️ @sunshowers.io (gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / #jj-vcs #1 fan / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
By Cory Doctorow (GPG 0xBF3D9110957E5F4C) @doctorow.pluralistic.net I post long threads. Writer (sf novels, etc); blogger (pluralistic.net); activist (eff.org). Latest book: "The Reverse Centaur's Guide to Life After AI" Buy my books (DRM-free!) at craphound.com/shop.
Jimmy Lee @jim.bsky.social I make websites and friends
https://jimmyl.ee
design: vmax.ai
advisor: internet.dev
partner: mana.inc
david barsky @davidbarsky.com i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Nick Gerace @nickgerace.dev Software Engineer @ersc.io. Creating the future of source control. Sometimes writes on https://nickgerace.dev. 🗽
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
Benjamin Brittain @bwb.dev Building better systems. ceo ersc.io
You might need to put up with an occasional NYC tweet.
akshay oppiliappan @oppi.li building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
conputer dipshit @davidcrespo.bsky.social web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Russ Cox @swtch.com 
austin 🇵🇸 @stdlib.bsky.social we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
https://github.com/thoughtpolice / overengineering @ersc.io / #jj-vcs maintainer
winter @winter.bsky.social 🐱 catgirl on the internet
❄️ nixos developer
👾 engineer/professional dogposter @antithesis.com (but words are my own)
✨ she/her
📍 nova (come say hi, i don’t bite!)
stian @mollerse.bsky.social A stack of random numbers in a colorful shirt. One half of @kortslutning.fun
Mike @mikemull.bsky.social Software developer. Currently interested in figuring out how CPUs work, time series forecasting, and Lean. Co-host of Picture Me Coding, a podcast about software and music. Trail runner and hiker. Oh, and I like trees.
maonu @vem.bsky.social math, religion
Matt Green @mattgreenrocks.bsky.social Prog metal, guitar, and deep tech. Senior SWE at @antithesis.com.
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly- R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
sōm ⁂ @hyl.st another weekend warrior trying to save the world
shaping reality, one myth at a time
be free, curious and kind
@modostech.bsky.social @modostech.bsky.social 
Brian Hicks @brianhicks.bsky.social Programmer and maker and general tinkerer. https://bytes.zone
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
John Murray @johns.codes Software engineer @ antithesis
Always trying to talk about nix or rust...
Blog: Johns.codes
Maggie Appleton @maggieappleton.com Staff Research Engineer @githubnext.com. But actually a designer.
Adores digital gardening, end-user development, and embodied cognition. Makes visual essays about design, programming, and anthropology.
📍 London
🌱 maggieappleton.com
Simon @hojberg.xyz Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collaboration.com
Dance more!
Brian Goetz @briangoetz.bsky.social Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
@jayaprabhakar.bsky.social @jayaprabhakar.bsky.social 
Lars Wikman @lawik.bsky.social Code creative, 10x talker, Elixir, BEAM, open source/standards/platforms, he/him, part librarian.
Currently a conference: https://goatmire.com
The stuff: https://underjord.io
Elixir shirts: https://oswag.org
ElectricSQL @electric.ax The agent platform built on sync.
https://electric.ax - see also @pglite.dev
James Arthur @thruflo.com CEO & Co-founder @electric.ax
Tom Harding @beef.cat Trying my best
@jhemann.bsky.social @jhemann.bsky.social 
Werner @wernervogels.bsky.social CTO @ Amazon
Axman6 @axman6.au Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
Protty @kprotty.bsky.social Uh, concurrency.
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Lars Albertsson @larsalbertsson.se I help companies extract value from data - https://www.scling.com. Data factory engineer, 1st edition data bard. I passed Debois's test.
Matt Noonan @banjotragedy.bsky.social Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Jeremy Manson @jeremymanson.bsky.social Software engineer. Parent. Other stuff.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Luigi Berrettini @berrettini.bsky.social Architect, distributed systems and #EDA enthusiast, #DDD advocate, #AWS aficionado
Opinions are my own
Daniel Bachler @danielbachler.de Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
Yves Reynhout @yves.reynhout.be Older man, less fox given, talks about software, posts about food.
Rickard Nilsson @rickynils.bsky.social Building nixbuild.net
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Jack Vanlightly @vanlightly.bsky.social Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).
https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Craig Alfieri @craigalfieri.bsky.social Autonomous Testing Sherpa & Hypervisor Hype-man 📣 | On a journey to make software/systems testing better one fault at a time.... (Comms are my own)
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Jepsen @jepsen.mastodon.jepsen.io.ap.brid.gy Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
Natalie Vais @nvais.bsky.social gp at spark capital ✨ databases, infra, dev tools
Pekka Enberg @penberg.org @🏡🇫🇮🇪🇺🧑💻
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
Gwen Shapira @gwenshap.bsky.social Founder of SaaS Developer Community and Nile Database. 
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Michael Bolton @developsense.bsky.social 
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
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Einar W. Høst @einarwh.bsky.social I am a cornucopia of near relevant facts.
Jan Stette @janstette.bsky.social Long time software developer and data engineer. AI centrist. Norwegian/British, Walthamstow resident. Father of twins, servant of two cats.
Lgd. Viktor Klang @viktorklang.com Architect, Java Platform Group at Oracle.
⚡️Views are my own. ⚡️
John Children @johnchildren.bsky.social Software Engineer working on Quantum Computing Web Services. Into Programming Languages, Compilers, Video Games and Anime.
GitHub.com/johnchildren
Ryan Marcus @handle.invalid Assistant professor at UPenn. Database systems. https://RyanMarc.us
I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
Marc Gris @m-gris.bsky.social FP lover & Data “something”
Ólafur Páll Geirsson @geirsson.com Building Agents at Sourcegraph. Posts about coding, AI, and family (3 kids). @olafurpg elsewhere. Based in Oslo, Norway.
https://geirsson.com
Tobi @tpflug.bsky.social 
mb21 @mb21.bsky.social Hacking on @mastrojs.bsky.social – the simplest web framework and site generator.
https://github.com/mb21
Zurich
Liam Goodacre @liamgoodacre.bsky.social I try to tell computers what to do and sometimes they pretend to listen.
Paul Dix @pauldix.bsky.social Cofounder & CTO InfluxData, makers of InfluxDB, the open source time series database. Founder of NYC Machine Learning Meetup. Former Ruby on Rails developer and enthusiast (still a fan).
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Joe Cutler @alphaconvert.bsky.social cutler.pl
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.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Andrey Satarin @asatarin.bsky.social Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement.
http://asatarin.github.io
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Heidi Howard @heidihoward.bsky.social 
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer