Andrew Lilley Brinker @alilleybrinker.com memory safety / Rust, #jj-vcs, urbanism, and more.
🧔🏼♂️ general words: alilleybrinker.com
🦀 rust words: possiblerust.com
Developer Security @ Anthropic (opinions posted are my own)
he/him
nia (cia asset) @nia.is.fckn.gay valleygirlified eastern european
#1 lenin enjoyer
"a walking cognitohazard"
nia.gay
rust project, libs team, wg-allocators lead. opinions STRICTLY my own, this account is not professional!
arXiv cs.PL Programming Languages @cspl-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
dax @thdxr.com building opencode.ai
Kathi Fisler @kfisler.bsky.social Research Prof at Brown Computer Science studying computing education. K-12 outreach through Bootstrap. Avid jigsaw puzzler. 
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@terrorjack.bsky.social @terrorjack.bsky.social 
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Catherine @whitequark.org sorceress
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
@geofflangdale.bsky.social @geofflangdale.bsky.social 
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Durwasa Chakraborty @durwasa.bsky.social PhD Student @ IIT Madras
🇨🇦 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.
@ssougou.bsky.social @ssougou.bsky.social 
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
lauren @no.lol ▼・ᴥ・▼ working on React Compiler. formerly known as [@]potetotes on the cursed place
thunderseethe @thunderseethe.dev 
Shreyas Mididoddi @shreyascodes.tech passionate developer,
http://htmx.ceo 🤷 btw!
always happy / *never sad (same thing)
mental af ? 🤔
señor junior dev,
I'm here to have fun and make friends
* = almost
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
emma 🍞 @bnuuy.bsky.social ❧ 26
♡ she · her
◇ english · portuguese
✦ computer stuff and yapping mostly
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Grace @gracekind.net A latent space odyssey
gracekind.net
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
eliza🌻 @elizas.website e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
Jon Ludlam @jon.recoil.org 
Aaron Patterson @tenderlove.dev Ruby and Rails hacker working at Shopify, living in Seattle
Russ Cox @swtch.com 
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Gabriel Sherman @gabriel-sherman.bsky.social Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.
[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
chc4 @chc4.com from my weakness i drew strength that never left me
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
@ me with your DB paper questions or “what do I read for ___” topic requests
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
CMU Database Group @db.cs.cmu.edu Carnegie Mellon Database Research Group
https://db.cs.cmu.edu/
Daniel Nikpayuk @nikpayuk.bsky.social Inuit, Math, C++.
https://www.paypal.me/danielnikpayuk
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
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
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
@andreymokhov.bsky.social @andreymokhov.bsky.social 
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Marques Brownlee @mkbhd.com Video maker- 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.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sam Lindley @reifyreflect.bsky.social 
Noa 🪻 @noahbogart.com they/she - trans femme 🏳️⚧️ - queer - white - NKY/Cincinnati
married, parent of 3
unitarian universalist & DSA
friend of eggbug, https://jinteki.net lead dev
NoahTheDuke elsewhere
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
Christian Schwarz @problame.bsky.social Storage @ neon.tech / Databricks Lakebase
OpenZFS & zrepl.github.io
cschwarz.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/
Martin Maas @martinmaas.bsky.social Staff Research Scientist at Google DeepMind. All opinions are my own.
Yiyun Liu @electriclam.com PhD student at Penn
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
d@nny disc@ mc² @hipsterelectron.bsky.social typing free software to break the shoulders of giants from golden handcuffs. i build tools to level the playing field.
i have a better bio at https://circumstances.run/@hipsterelectron
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
cube @c-cube.bsky.social 
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
char stiles @charstiles.bsky.social Math at the Club
@ mit media lab future sketches
CharStiles.com
Aaron Eline @aaroneline.bsky.social 
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Maynard @quelklef.bsky.social Maynard
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
@mflatt.bsky.social @mflatt.bsky.social 
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.
rich harris @rich-harris.dev my life is derp and i do derp shit
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Sam Arch @samarchdb.bsky.social PhD Student in Databases @ CMU-DB
Previously a Compiler Engineer @ Apple
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
sai @texoport.in 
v @avi.im breaking databases @tur.so W1 '21 @recursecenter.bsky.social
excited about databases, storage engines and message queues
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Kristin @wiredaemon.bsky.social Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️