Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
News that matters | ipm.org
Top news in your inbox ➡️ http://bit.ly/415rGJ2
The IU Bloomington Chapter of the AAUP advocates for faculty and graduate students and advances academic freedom and shared governance.
Find all our links here! https://linktr.ee/iubaaup
Helping GMs run great TTRPGs.
Read: https://slyflourish.com
Subscribe: https://slyflourish.com/subscribe/
Listen: https://slyflourish.podbean.com
Shop: https://shop.slyflourish.com/
Support: https://www.patreon.com/slyflourish
Professor of History, sometimes administrator at big public university in Midwest. Writes about money, French Revolution, restaurants. Friend to vert paleo.
ex UCL History; Yale SOM Visiting Fellow; Guggenheim and New America Fellow.
once/future Mainer
🇹🇼 https://CyberAmbassador.tw/. 1st Digital Minister (2016-2024) & 🌐 1st 🏳️⚧️ cabinet minister.
Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Has been known to draw the occasional map
Sociologist. Author. Professor. Roosevelt Institute Fellow. Expert on families, schools, kids, privilege, and power. Bylines in NYT, WaPo, MSNBC, Atlantic, etc.
"Other countries have social safety nets. The US has women."
www.jessicacalarco.com
Contract Game Designer for Wizards of the Coast. Freelance Designer/Editor for Ghostfire Gaming and others. Podcaster with Mastering Dungeons and the Eldritch Lorecast. Teacher of Writing for RPGs at Fredonia State University. Worder of words.
The American Association of University Professors champions academic freedom, advances shared governance, and organizes faculty to ensure higher education's contribution to the common good.
aaup.org
Husband, Cat Daddy, BBQueueing theorist, distsys geek, KC soccer fan, foodie, musician, holder of things. he/him/his “3 Seans make a right”
Opinions are my own, not that of my employer
🐘 https://hachyderm.io/seancribbs
📹 https://youtube.com/@seancribbs
Team Neronha - Peter/Shelly/Zach/Josh | RI Attorney General | Former US Attorney | BC Law | BC | NKHS | THE …. Jamestown Elementary School
www.peterneronha.com
Professional computer scientist, unprofessional mathematician
Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
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.
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
https://jpolitz.github.io
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.
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
PhD Student in CMU in Societal Computing
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Mom, foodie, traveller, computer scientist
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
Assistant Prof. at UC San Diego. Helping people write better software.
worrydream.com
dynamicland.org
According to git blame, I wrote the TypeScript compiler, don't fact check that
Principal Software Engineer at Microsoft working on TypeScript
Underground gopher, finally revealed
https://jakebailey.dev/
https://github.com/jakebailey
arch btw
Husband, Father, Developer, Gamer. Software engineer for TypeScript at Microsoft. Delegate to TC39. All opinions are my own. he/him
Working on TypeScript at Microsoft. I appear when someone says “module resolution” three times in the dark. He/him
TypeScript is JavaScript with types and type-checking.
Compiles down to JavaScript, runs where JavaScript runs.
Making TypeScript for 10 years running
TypeScript Product Manager and TC39 rep working on JavaScript standards.
Enthusiast of compilers, dev tools, language VMs/runtimes.
compiler engineer from hell
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
The ACM Special Interest Group on Programming Languages.
Professor at Aarhus University
https://cs.au.dk/~amoeller
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Interpreters, compilation, concurrency, and debugging tools.
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Principal Scientist at Stealth Software.
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Computer Friend, Not a Bird
www.philipzucker.com
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/
Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Garbage collector.
Professor.
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
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
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
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
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
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork.
CS professor at UT Austin, does research in programming languages & formal methods.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
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/
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
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.
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
I research programming languages and turn Category Theory into code
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
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.
actually just on Mastodon: https://discuss.systems/@adrian
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Programming language researcher at Microsoft.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
