Type Theory Forall
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@kmett.ai
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
@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.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@janewestrick.bsky.social
Visual Artist www.janewestrick.com The Art Project, Drawing Rooms at Dvora Art House, Jersey City https://www.artsy.net/artist/jane-westrick
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@dangrossmanseattle.bsky.social
@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/
@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
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@parkie-doo.sh
PhD Student at UC Berkeley EECS // Programming Languages • Human-Computer Interaction • Visualization • Cartography // Building alpha.cartokit.dev Software Engineer at @gristnews.bsky.social // Maps • Data • Graphics • Code
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@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
@gowthamkaki.bsky.social
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security. https://gowthamk.github.io
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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.
@yalepress.bsky.social
Books et Veritas. Bringing truth to light for more than one hundred years.
@mitpress.bsky.social
Committed to the daily re-imagining of what a university press can be since 1962. Website: https://mitpress.mit.edu // The Reader (our home for excerpts, essays, & interviews): https://thereader.mitpress.mit.edu
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]