@yisongyue.bsky.social
AI professor at Caltech. General Chair ICLR 2025. http://www.yisongyue.com
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@oeiuwq.bsky.social
Butsu Butsu. SDA. I've destroyed the ring of the h+rizon. navego en el mar de las cosas exactas. Scala3/Nix/Functional Programming vborja at apache.org github.com/vic Jardines de agua. Nenúfares, sal. Lanif led lanif le atsah! formerly x.com/oeiuwq
@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
@jonhoo.eu
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@nutanlimaye.bsky.social
@yuxuan-jiang.bsky.social
CSE Ph.D. student in systems @umich | Life & Computer Systems Enthusiast https://essoz.github.io
@joeyeremondi.bsky.social
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.
@emanueledosualdo.com
TT Professor in Computer Science @unikonstanz.bsky.social formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social. Music enthusiast
@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
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app