LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
@janspoerer.bsky.social @janspoerer.bsky.social 
Bloomberg News @bloomberg.com The first word in business news.
Newsletters: http://bloom.bg/newsletters
Podcasts: http://bloom.bg/podcasts
The Big Take podcast: http://trib.al/jtoXfuT
heiseonline @heise.de News rund um Technik, IT und Digitales.
heise.de/impressum.html & http://heise.de/privacy
Gründerszene @gruenderszene.bsky.social Deutschlands führendes Startup-Magazin www.gruenderszene.de
t3n - digital pioneers @t3n.de Netzwerk & Magazin für digitale Zukunft.
t3n.de/impressum | t3n.de/datenschutz
Hacker News Top Stories @hackernewsbot.bsky.social (Unofficial) Hacker News Bot with top stories updates.
Jobs from YC startups @whois-hiring.bsky.social
Creator @ykravchuk.bsky.social
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Corey Quinn @quinnypig.com Snarkmonger. Chief Cloud Economist at The Duckbill Group.
he/him.
Get my opinionated take on AWS news: http://lastweekinaws.com/t/
Signal: 833-AWS-BILL (833-297-2455)
Fabio Niephaus @fniephaus.com Research Manager on the @graalvm.org team at Oracle. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at @hpi.bsky.social, @googlecolab.bsky.social, and @matonguitars.bsky.social. Views are my own.
Ala Shiban @alashiban.bsky.social Chill'en
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Luke Hoban @lukehoban.com CTO @Pulumi. Previously EC2 @awscloud, TypeScript, VS Code and C# @microsoft and ECMAScript @TC39.
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Robert Krook @rewbert.bsky.social PhD student in the FP unit at Chalmers, supervised by
Koen Claessen
John Hughes
Bo Joel Svensson
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
ACM SIGSOFT @sigsoft.bsky.social The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Programming Group @prg-grp.bsky.social Programming Group at the University of St. Gallen - School of Computer Science
Prof. Guido Salvaneschi
https://programming-group.com
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
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
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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
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.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Talia Ringer @taliaringer.bsky.social 
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.)
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
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
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
OCaml @ocaml.org https://ocaml.org
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 Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Yoshua Bengio @yoshuabengio.bsky.social Working towards the safe development of AI for the benefit of all at Université de Montréal, LawZero and Mila.
A.M. Turing Award Recipient and most-cited AI researcher.
https://lawzero.org/en
https://yoshuabengio.org/profile/
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
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. 
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
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/
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Michael Hilton @michaelhilton.bsky.social Trying this out
Associate Teaching Professor in Software Engineering @ Carnegie Mellon University 
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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Thomas Vogel @tomvog.bsky.social Software engineering and autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
Liliana Pasquale @lsalander.bsky.social Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Michele Lanza @lanzamichele.bsky.social 
Felienne Hermans @felienne.bsky.social "What I had not realized is that extremely short exposure to a relatively simple computer program could induce powerful delusional thinking in quite normal people" - Weizenbaum 1976
In het Nederlands maar soms also in English!
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir ‘This is for Everyone’ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Voxxed @voxxed.com Sharing expert knowledge on Java, JVM, Methodology, Cloud, Mobile & Future tech. Follow us for tutorials, presentations and interviews.
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
OWASP® Foundation @owasp.org We improve the security of apps with community-led open source projects, 260 local chapters, and tens of thousands of members worldwide. Famous for OWASP Top 10
Sam Lindley @reifyreflect.bsky.social 
JetBrains @jetbrains.com On a mission to make software development a more productive and enjoyable experience. Make it happen. With Code.
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/
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
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/
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
David Lo @david-lo.bsky.social 
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
Systems Group @ TU Darmstadt @tuda-systems.bsky.social Systems Group at the Technical University of Darmstadt, led by Carsten Binnig and Zsolt István.
Website: https://www.informatik.tu-darmstadt.de/systems/
Also: @cs-tudarmstadt.bsky.social @tuda.bsky.social
University of St.Gallen @unisg.ch Welcome to the official account of the University of St.Gallen (HSG).
https://www.unisg.ch
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app