Twonks @twonks.bsky.social Cartoons and comics by Steve Nelson.
Manager: michael.krell@sixteenth.com
https://linktr.ee/twonkscomics
FLoC 2026 @floc2026.bsky.social 
@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
Cecilia Baldoni @cecibaldoni.bsky.social Researcher @
Max Planck Institute of Animal Behavior
📍Konstanz 🇩🇪
brain 🧠 | behaviour 🎬 | shrews🐭
Unexplainably obsessed with flamingoes 🦩
cecibaldoni.github.io 💁🏽♀️🌐
Zukunftskolleg @zukunftskolleg.bsky.social Institute for Advanced Studies @uni-konstanz.de.bsky.social. Lighthouse project in the Excellence Strategy since 2007, fostering early independence with an international, intergenerational, intra-university, interdisciplinary angle. uni.kn/zukunftskolleg
Simon Gregersen @simongregersen.com Tenure-track faculty @ CISPA
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/
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
@heyheiko.bsky.social @heyheiko.bsky.social 
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Imperial College London @imperialcollegeldn.bsky.social The official account for Imperial College London
A global top-ten university, where scientific imagination leads to world-changing impact. Science | Engineering | Medicine | Business
#OurImperial 💙
https://www.imperial.ac.uk/
@simonjf.bsky.social @simonjf.bsky.social 
Catriona Agg @catrionaagg.bsky.social Maths teacher, currently on maternity leave.
I aim to share lots of snippets of my lessons using #MathsToday and would encourage you to do the same!
Also occasional geometry puzzles 🧩
Brett Scott @brettscott.bsky.social I experiment with altered states of monetary consciousness https://www.asomo.co
Josh Wardle @josh.powerlanguage.co.uk I created Place and The Button @reddit. And more recently Wordle.
www.powerlanguage.co.uk
@officialblueytv.bsky.social @officialblueytv.bsky.social 
Jason Hickel @jasonhickel.bsky.social Professor at ICTA-UAB and Visiting Senior Fellow at LSE • Author of THE DIVIDE and LESS IS MORE • Global inequality, political economy and ecological economics
Paul Graham @iampaulgraham.bsky.social 
Marzia Munafò @munafomarzia.bsky.social Exploring oocyte epigenomes @EMBL Hackett lab | PhD @Cambridge Uni Hannon lab | (small)RNA enthusiast.
Scientific illustrator outside the lab.
Visual Studio Code @vscode.dev The open source AI code editor
The Culture Tutor @culturaltutor.bsky.social Always learning
Marco Paviotti @gfixme.bsky.social gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Francesco Costa @francescocosta.bsky.social Giornalista. Vicedirettore del Post.
Zach Weinersmith @zachweinersmith.bsky.social New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWeinersmith?ty=h
weird medieval guys @weirdmedieval.bsky.social fibre arts enthusiast
https://linktr.ee/weirdmedievalguys
The Elixir programming language @elixir-lang.org Elixir is a dynamic, functional language designed for building scalable and maintainable applications
🔗 https://elixir-lang.org/
Jazz Sketches @jazzsketches.bsky.social Musings On Jazz and Spinning Tales
✉ JazzSketches@pm.me
jazzsketches.substack.com
Ben Garcia @garcialabms.bsky.social Professor and Head of @WUSM_BMB. Studying protein PTMs in chromatin biology. #TeamMassSpec cheerleader. Working towards changing academia. Views my own 🇺🇸 🇲🇽
Tivadar Danka @tivadardanka.bsky.social I make math accessible for everyone. Mathematician with an INTJ personality. Chaotic good. Writing https://thepalindrome.org
Dr Zoë Ayres @zjayres.bsky.social Trying to leave things better than I find them
Analytical Scientist 👩🔬 #AcademicMentalHealth advocate 🌱 Founder VoicesofAcademia.com 💬 Author of "Managing Your Mental Health During Your PhD" 📘 ADHDer 💚 Proud mum 👶 she/her. Views mine.
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
Vincenzo Arceri @vincenzoarceri.bsky.social Assistant professor at UniPr
Owen D. Pomery @odpomery.bsky.social Illustrator + Author
owenpomery.com
All the links: https://linktr.ee/odpomery
Franco Raimondi @fraimondi.bsky.social 
james lucas @jameslucasjones.bsky.social comics. LEGO. NBA. media. coffee. social justice. pronouns: he/they.
Grant ♟️ @granawkins.bsky.social American Diaspora | Kardashev 2 or bust
All The Right Movies @alltherightmovies.com The story of Hollywood one film at a time. Details provided in our making of stories are direct from cast/crew or 3+ sources. Podcast, book, socials, newsletter - everything ATRM at linktr.ee/alltherightmovies
Peter Erskine @petererskine.bsky.social Drummer, husband, father, grandfather, photographer, author and retired professor. Otherwise known as Maya Erskine’s dad.
Bob @rgiacobazzi.bsky.social Computer scientist and (bad) golfer...
Giovanni Reina @joefresna.bsky.social Researcher at the Centre for the Advanced Study of Collective Behaviour in Konstanz
Universität Konstanz @uni-konstanz.de Welcome to the official account of the University of Konstanz.
Website: https://www.uni-konstanz.de
Impressum: https://www.uni-konstanz.de/impressum
Michael Grossniklaus @zaskar9.bsky.social ⭐️unfathomable well of useless knowledge⭐️ Professor of Computer Science at University of Konstanz. My views are my own.
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.
Sam Lindley @reifyreflect.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Talia Ringer @taliaringer.bsky.social 
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.
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.
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
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
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.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
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/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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.
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
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app