Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Typst @typst.app The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Andre Videla @andrev.bsky.social I like trains
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@idris-lang.org @idris-lang.org 
@rjmhughes.bsky.social @rjmhughes.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
UCU Edinburgh @ucuedinburgh.bsky.social The union for academic and academic-related staff at the University of Edinburgh
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Robin Ince @robinince.bsky.social Patreon.com/robinince for blog posts and podcasts
Robert Reich @rbreich.bsky.social Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.com
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Neil Ghani @anarchia.bsky.social Category theory
AI
Political betting
Artist
Grant Writer
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician- R Rudi Horn @rudih.bsky.social Views are my own.
- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
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/
🇨🇦 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.
Terrible Maps @terriblemapshq.bsky.social The home of terrible maps with a pinch of humour
terriblemaps@gmail.com
Susie Dent @susiedentwords.bsky.social Always in the Corner
Andrew Cotter @mrandrewcotter.bsky.social Dogs, Broadcasting, Writing, Mountains. 
@mflatt.bsky.social @mflatt.bsky.social 
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Luís Caires @lmcaires.bsky.social I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Bram Geron @bram.xyz Rust, product. Nushell&jujutsu fanboi. Live in 🐻 Berlin, building an API for APIs at @directus.io . Opinions my own.
Used to do research on programming languages. Genocide is wrong.
@bgeron on other networks.
Led By Donkeys @ledbydonkeys.org Art, Activism and Accountability
https://linktr.ee/ledbydonkeys?utm_source=linktree_admin_share
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
LilyPowers @lilypowers.bsky.social ‘She climbed the ladder of success wrong by wrong’ But what would Chico do?
Mel Selfe @melselfe.bsky.social Lecturer in Cultural Policy at the University of Glasgow. Media history nerd. Likes archives. Not actually Eve Arden. 
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
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
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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.
Fredrik Nordvall Forsberg @fredriknf.com Senior Lecturer University of Strathclyde.
Hiking, orienteering, running, etc.
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
OCaml @ocaml.org https://ocaml.org
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Carole Cadwalladr @carolecadwalla.bsky.social Investigative journalist. Ex-Guardian/Observer. Now co-founder brand new all-women journalist collective, www.thenerve.news. Tech justice stuff: www.the-citizens.com. Personal newsletter: www.broligarchy.substack.com
XBOW @xbow.com Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. https://xbow.com/
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Andrew K. Hirsch @akhirsch.bsky.social - 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.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
zalim (kotlin wasm compiler webassembly VM) @bashorov.com 🚀 Leading Kotlin/Wasm to the Moon at @JetBrains.com
🏷️ Kotlin, WebAssembly, VMs, compilers, interpreters
❗️ All posts and views are mine 😉
Talia Ringer @taliaringer.bsky.social 
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.
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
The Man in Seat 61 @seatsixtyone.bsky.social Mark Smith, the Man in Seat 61, the chap who runs that train travel site http://seat61.com. YouTube: http://youtube.com/c/seat61.
Eddie Kohler @xexd.bsky.social - T Tim Sweeney @timsweeneyepic.bsky.social
Amir Shaikhha @amirshyzd.bsky.social Associate Professor (Reader) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers
amirsh.github.io
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Melissa Terras @melissaterras.bsky.social Professor of Digital Cultural Heritage, Edinburgh College of Art, University of Edinburgh. Computers versus the past. Digital Humanities and somesuch, including Transkribus. MBE FREng FRSE.
Gavin Bierman @gavinbierman.bsky.social Programming language designer at Oracle; helping to evolve Java. This is my personal account; any opinions expressed are my own.
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/ ]
Sara Shinton @sarashinton.bsky.social Research Culture, Leadership, FLFs .... and some knitting, swearing and occasional cancer references. 
Maria Gorinova @mgorinova.bsky.social Shaping the future of programming @tessl.io 🚀 | ex-@TwitterCortex @Birdwatch 💙 | PhD in probabilistic machine learning, loyal servant to a cat, collector of random variables, and lover of well-placed puns.
https://mgorinova.github.io/
@titzerbl.bsky.social @titzerbl.bsky.social 
Richard Murphy @richardjmurphy.bsky.social Economic justice campaigner. Professor of Accounting Practice, Sheffield University. Former chartered accountant. Political economist. Opinions all my own.
John Harris @johnharris1969.bsky.social Guardian. Free Substack pieces at maybeimamazed.substack.com Plus music writing in MOJO. Maybe I'm Amazed, my new memoir about autism & music, out now. Order here https://linktr.ee/maybeimamazed
GitHub Next @githubnext.com We are a team of researchers and engineers at GitHub who prototype the future of software development.
Projects: https://githubnext.com
Discord: https://gh.io/next-discord
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@relizarov.bsky.social @relizarov.bsky.social 
Oliver Johnson @oliver-b-johnson.bsky.social Birmingham City FC season ticket holder. Audit accountant.
Mark Kermode @kermodemovie.bsky.social LAST aisle seat on the left.
Emphasis on the FIRST syllable.
DORA @dorassessment.bsky.social San Francisco Declaration on Research Assessment. Advancing practical and robust approaches to research and researcher assessment globally and across all scholarly disciplines. Sign the Declaration at https://sfdora.org/sign and join the movement.
Private Eye Magazine @privateeyenews.bsky.social Britain's best-selling news and current affairs magazine with a unique mix of jokes and investigative journalism.
Website: https://private-eye.co.uk
Subscribe: http://subsonline.co.uk
Tom Duffin Photographer @tomduffinphotos.bsky.social Pro photographer in Edinburgh posting landscapes & other work. Regular free newsletter at https://tomduffin.substack.com/ I'd be delighted to be contacted at tom@tomduffin.com to ask about photography work.
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.
Prof Christina Pagel @chrischirp.bsky.social Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal. https://www.trumpactiontracker.info/
Yanis Varoufakis @yanisvaroufakis.bsky.social Subverter of the dominant paradigm
Éric Tanter @etanter.bsky.social 
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Kath @kathyburke.bsky.social Burkey with the good hair. My woke take brings all the c*n*s to the yard. Profile pic by Nancy fancy pants contact@themasonsisters.com
Krishnan Guru-Murthy @krishgm.bsky.social Channel 4 News, Unreported World, Ways to Change the World, The Fourcast, Class of 2023 on Strictly
Also Chairman of Duchenne UK