Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Wir bieten der Finanzlobby die Stirn. Mach Dich mit uns für eine faire Finanzwelt stark! http://finanzwende.de/mitmachen/
I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
Ein Mensch. Ein Wort.
https://www.gruene.de/service/impressum
Mahlzeit | wichtigegeschaefte.elhotzo@heavygermanshit.de
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
I talk about Rust, verification, cryptography, programming languages… and pets
Building iroh with the amazing folks at number 0 (n0.computer).
Generally striving to increase user agency and excited about commons networks.
Only works for Canadian CEOs, apparently.
Rust, cryptography, CRDTs & more on my feed
computers can be understood • she/her, ⚢ • Chicago
makes Lean at Lean FRO
Munich, Germany
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
extremely dubious of "everything is public" social network
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Holen wir uns die Zukunft zurück.
Infos unter: volt.link/deutschland
Supporting the Formal Mathematics revolution
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
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/
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
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.
Ehrliche Nachrichten - unabhängig, schnell, seit 1845
👨💼Professor für Regenerative Energiesysteme (HTW Berlin)
🔆Experte für Erneuerbare Energien, Energiewende, Klimaschutz
📖Buchautor 🎬YouTuber 🎧Podcaster
https://www.volker-quaschning.de
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
The official Bluesky account for ZuriHac
zurihac.info
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
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
The ACM Special Interest Group on Programming Languages.
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.
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.
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.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
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
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Programming Languages Researcher and Consultant
Interpreters, compilation, concurrency, and debugging tools.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
actually just on Mastodon: https://discuss.systems/@adrian
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/
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Computer Scientist, Hiker, Photographer
CS professor. PL/Model Checking/Concurrency.
Sr. Distinguished Engineer @nvidia
Assoc. prof. at Uppsala University, working in programming languages and verification
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Programming language researcher at Microsoft.
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
formal methods researcher, CEO of Kestrel Institute
CS PhD student @ UT Austin
robertzhang.vercel.app
Just a happy doggo. Fan of asiago cheese.
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
New blue sky. Same old troll.
CS PhD @utaustin.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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.
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Professor, Software Technology, Utrecht University
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
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.
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
PL and Security research at VU Amsterdam https://gleissen.github.io
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
(Assistant) Professor at @UCSanDiego. I hacked a Stop sign once, and it is now in a museum. Also hacked a bicycle. I mostly spend my time building stuff though.
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Associate Professor of Computer Science at Michigan State University