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.
Incoming Assistant Professor @UW; Cofounder @Nexusflow; PhD @UC Berkeley; I work on post-training, evaluation and agentic applications of large models. Creator and contributor of Athene-V2-72B, Starling-7B, Chatbot Arena
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
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.
Institute Professor, MIT Economics. Co-Director of @mitshapingwork.bsky.social. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.
Masters Student who ā¤ļø š¤ @ UW! Iām Member of Weird Lab
Assistant Professor, Paul G. Allen School of Computer Science and Engineering, University of Washington
Visiting Faculty, NVIDIA
Ph.D. from Berkeley, Postdoc MIT
https://homes.cs.washington.edu/~abhgupta
I like robots and reinforcement learning :)
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.
Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
doomscrolling arxiv
https://yudhister.me
the one and only liz. @inerati on twitter if you need to dm. sf.
hot takes, linear Algebra, JAX apologist, Raconteur
I like tokens! Lead for OLMo data at @ai2.bsky.social (Dolma š) w @kylelo.bsky.social. Open source is fun š¤āļøšš³ļøāš Opinions are sampled from my own stochastic parrot
more at https://soldaini.net
