Followers

@paulbib.bsky.social

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
Nick Rioux @nickrioux.bsky.social Programming will get better.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS. https://dddejan.github.io/
p. sampson @psampson.net cs phd @ penn, nsf-grfp fellow, spelman alum. 💭 people, platforms, power. they/she. 🧋 🍑 🧑🏾‍💻 https://psampson.net
Neil Sehgal @nsehgal.bsky.social CS PhD @upenn.bsky.social Computational Social Science @WorldBank Harvard, Brown alumn http://sehgal-neil.github.io/
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 I inherited https://types.pl ⍼ https://ionathan.ch
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell ngernest.github.io
R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Jessica Shi @jwshi.bsky.social PhD student at Penn.
Pierce Darragh @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
Natalie Collina @ncollina.bsky.social Postdoc at MIT studying Game Theory + AI Safety. Here to make friends. Nataliecollina.com
Avishree Khare @avishree.bsky.social CS PhD student @ UPenn. Previously @ Microsoft, Google, BITS Pilani.
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm RepostReadLearn: Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴 Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸 Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮 IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳 Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴󠁧󠁢󠁷󠁬󠁳󠁿🇮🇪Gd Linguistics ClimateAgnotologyDisinformation SentientismFlexitarian Astro🌟🌒🌕🌘Calligraphy🪶 Linux
Harry Goldstein @harrisongoldste.in (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
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ??? your friendly neighborhood PL enjoyer she/her
Joe Cutler @alphaconvert.bsky.social cutler.pl
cybai @cybai.dev Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
@adamlsteinl.bsky.social @adamlsteinl.bsky.social
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.
Antony Hosking @antonyhosking.bsky.social Garbage collector. Professor.
Mounia Lalmas @mounialalmas.bsky.social Research @ Spotify https://mounia-lalmas.blog/mounia-lalmas/
Yilin Xia @yilinxia.com A Graph Farmer 🧑‍🌾 Ph.D. student #uiuc Contributor #Logica #ArviZ yilinxia.com
Chris Penner @chrispenner.ca FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer. Looking for a job! Uilleann piper, highland piper, extreme Gaelic music enthusiast. https://jmerritt.blog
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.
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else. (she/her)
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
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.
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Edward Kmett @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
Barry Jay @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.
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
Man in Business Suit Levitating @dfeldman.org
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :) [he/him] http://rvprasad.com
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.