Ravi Mangal
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@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.
@geoffnegiar.bsky.social
Co-founder @forecastingco. Previously PhD UC Berkeley @berkeley_ai, @ENS_ParisSaclay (MVA) and @polytechnique 🇫🇷 🇺🇸 | 👊🥋
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@kjhealy.co
Social science and other distractions. Old posts get deleted pretty quick. https://kieranhealy.org / https://theordinalsociety.com
@tmlrorg.bsky.social
Transactions on Machine Learning Research (TMLR) is a new venue for dissemination of machine learning research https://jmlr.org/tmlr/
@binarybits.bsky.social
Reporting on AI and the future of the economy. Computer science masters degree from Princeton. Subscribe to my AI newsletter: http://www.understandingai.org
@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, ...
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@adamtooze.bsky.social
Chartbook Substack https://adamtooze.substack.com/ OnesandTooze podcast https://foreignpolicy.com/podcasts/ones-and-tooze/ C******* University historian, Director European Institute, Chair Cttee on Global Thought. Economics, history, theory, politi
@tompepinsky.com
Teacher, researcher, globalist, republican. Banned from Russia, because dictators fear the truth. Currently clean on OPSEC. tompepinsky.com
@dbp.bsky.social
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@tedunderwood.me
Uses machine learning to study literary imagination, and vice-versa. Likely to share news about AI & computational social science / Sozialwissenschaft / 社会科学 Information Sciences and English, UIUC. Author of Distant Horizons (Chicago, 2019). Pluviophile.
@mahdihaghifam.bsky.social
Researcher in ML and Privacy. Distinguished Postdoc at Khoury College Northeastern. PhD @UofT & @VectorInst. previously Research Intern @Google and @ServiceNowRSRCH https://mhaghifam.github.io/mahdihaghifam/
@mkearnsphilly.bsky.social
CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
@sjshancoxli.liberalcurrents.com
associate editor at liberal currents. neonliberal. she/her.
@josephpolitano.bsky.social
Writing a data-driven newsletter about economics @ apricitas.io Nuance? In this Economy Perpetually awaiting that “trade deal” with Japan |
@smntc.bsky.social
Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
@giffmana.ai
Researcher (OpenAI. Ex: DeepMind, Brain, RWTH Aachen), Gamer, Hacker, Belgian. Anon feedback: https://admonymous.co/giffmana 📍 Zürich, Suisse 🔗 http://lucasb.eyer.be
@kostaskamnitsas.bsky.social
Assoc Prof - ML for Medical Imaging - Univ of Oxford, Dept Engineering Co-Director CDT Healthcare Data Science Honor. Res. Fellow Imperial College & Univ of Birmingham Creator http://deepmedic.org
@auai.org
Association for Uncertainty in AI. Upcoming conference: #uai2025 July 21-25th in Rio de Janeiro, Brazil 🇧🇷 ! https://auai.org/uai2025
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net
@michael-j-black.bsky.social
Director, Max Planck Institute for Intelligent Systems; Chief Scientist Meshcapade; Speaker, Cyber Valley. Building 3D humans. https://ps.is.mpg.de/person/black https://meshcapade.com/ https://scholar.google.com/citations?user=6NjbexEAAAAJ&hl=en&oi=ao
@saminishtiaq.bsky.social
SW/HW/Systems; ex-ARM, ex-Microsoft Research. Also post occasionally at https://instagram.com/saminishtiaq/.
@hannawallach.bsky.social
VP and Distinguished Scientist at Microsoft Research NYC. AI evaluation and measurement, responsible AI, computational social science, machine learning. She/her. One photo a day since January 2018: https://www.instagram.com/logisticaggression/
@patrickmineault.bsky.social
NeuroAI, vision, open science. NeuroAI researcher at Amaranth Foundation. Previously engineer @ Google, Meta, Mila. Updates from http://neuroai.science
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@pcastr.bsky.social
Señor swesearcher @ Google DeepMind, adjunct prof at Université de Montréal and Mila. Musician. From 🇪🇨 living in 🇨🇦. https://psc-g.github.io/
@ncollina.bsky.social
Penn CS PhD student and IBM PhD Fellow studying strategic algorithmic interaction. Calibration, commitment, collusion, collaboration. She/her. Nataliecollina.com
@simonwillison.net
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
@scobleizer.bsky.social
Advocate for tech that makes humans better | Spatial Computing, Holodeck, and AI Futurist | Ex-Microsoft, Rackspace | Co-author, "The Infinite Retina."
@gabrielpeyre.bsky.social
@imurray.bsky.social
Professor of Machine Learning and Inference, Edinburgh Informatics, Formally Amazon Scholar. Opinions are my own. Also https://homepages.inf.ed.ac.uk/imurray2/ and https://mastodon.social/@imurray and https://x.com/driainmurray
@cathywu.bsky.social
AI+Transportation. Creating computational tools for engineers to reimagine systems for society. Neural combinatorial optimization. Reinforcement learning. Associate Prof. at MIT. Hype adjacent. http://www.wucathy.com/
@ofirpress.bsky.social
I develop tough benchmarks for LMs and then I build agents to try and beat those benchmarks. Postdoc @ Princeton University. https://ofir.io/about
@alexxthiery.bsky.social
Associate Prof. in ML & Statistics at NUS 🇸🇬 MonteCarlo methods, probabilistic models, Inverse Problems, Optimization https://alexxthiery.github.io/
@lambdaviking.bsky.social
Will irl - PhD student @ NYU on the academic job market! Using complexity theory and formal languages to understand the power and limits of LLMs https://lambdaviking.com/ https://github.com/viking-sudo-rm