A. Bartlett Giamatti Prof. of CS @ Yale | Algorithms, AI & society Newsletter: The Intelligence Loop https://nisheethvishnoi.substack.com Views my own

Supporting the Formal Mathematics revolution

Research Assistant Professor at TTIC; PhD at MIT EECS; MS at UIUC. Working on Algorithms and Machine Learning. http://www.mit.edu/~vakilian/

Staff writer @quantamagazine.bsky.social covering computer science. Formerly freelance physics writer (Quanta, SciAm, Physics Today, elsewhere), ex-physicist. [Obligatory disclaimer about views being my own.]

science journalist | good physics, bad physics, and sometimes ugly physics Signal: dgaristo.72 Email: digaristo@gmail.com

you can change this track now

Quantum Computing systems, Quantum Internet, quantum education. Caltech, USC, Keio. West Virginia, LA, Kamakura.

AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley. Newsletter (50k subscribers): garymarcus.substack.com

Research : Formal Math ∩ Algorithms ∩ Lean ∩ Hardware

conversational shopping search at Tonita.co, one-time CS theorist... promise to post no more than one thread a day - on Tonita, CS / AI, politics, education, exercise, food, beer, whatever I feel like - and no more than 3 per week on any one topic :)

Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com

Assistant professor at University of Michigan. Theoretical computer science.

CS Professor at UMass Amherst. Theoretical computer science, numerical linear algebra, machine learning.

Computer Science PhD Student at MIT https://jusyc.github.io/