Joe Cutler
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@bram.xyz
Rust, product. He/they. Nushell&jujutsu fanboi. Used to do research on programming languages. @bgeron on other networks. Standing with 🇵🇸 is standing with human rights.
@calebstanford.bsky.social
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
@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
@zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories Incoming intern @ Apple, Jane Street
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@annieulichney.bsky.social
Statistics PhD student @UCBerkeley http://aulichney.github.io/
@jmitovich.bsky.social
Incoming News Associate @WSJ.com • Overseas Press Club Scholar in Panamá 🇵🇦 • Words @POLITICO.com @CNBC.com @YahooFinance.com @Inquirer.com @WHYY.org 📁: https://www.jared-mitovich.com/ 🗞️: mitovich.beehiiv.com/subscribe 📩: jaredmit@sas.upenn.edu
@dcreager.net
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro. This is a 9 planet family, kids! ♇ 🌐 https://dcreager.net/ 🧭 Massachusetts
@tomasp.net
Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
@kevincollier.bsky.social
I cover digital threats for NBC News. Tip me! @kevincollier.01 on signal, kevin.collier@nbcuni.com. NYC, from West Virginia.
@preetumnakkiran.bsky.social
ML Research @ Apple. Understanding deep learning (generalization, calibration, diffusion, etc). preetum.nakkiran.org
@kartikchandra.bsky.social
I'm a PhD student at MIT CSAIL. More about me: https://cs.stanford.edu/~kach
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@noakaplan.bsky.social
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
@benesch.bsky.social
Systems engineer @turbopuffer.bsky.social. Former CTO @materialize.com.
@akisg.bsky.social
CS Graduate Student @uofpenn.bsky.social | Exploring the intersection of Distributed Systems & ML
@jia-li.bsky.social
A CS PhD candidate @UPenn. Distributed Systems, Datacenter Sustainability, Economics.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@jeffdean.bsky.social
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@taliaringer.bsky.social
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@dbindel.bsky.social
Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
@sarahlawsky.bsky.social
Law professor at Northwestern, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
@taktoa.bsky.social
Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
@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
@avishree.bsky.social
CS PhD student @ UPenn. Previously @ Microsoft, Google, BITS Pilani.