@alexhanna.bsky.social
Director of Research, DAIR Roller derby athlete https://alex-hanna.com Book: thecon.ai Pod+newsletter: https://dair-institute.org/maiht3k 🇪🇬⚧ She/هي 📸 @willtoft.bsky.social Rep📘 @ianbonaparte.bsky.social
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@hubertguillaud.bsky.social
https://hubertguillaud.wordpress.com - https://danslesalgorithmes.net - [email protected] - Mon livre, Les algorithmes contre la société : https://lafabrique.fr/les-algorithmes-contre-la-societe/ - @danslesalgorithmes.bsky.social
@danslesalgorithmes.bsky.social
Le média pour comprendre l'impact social de la Tech : https://danslesalgorithmes.net
@sayash.bsky.social
CS PhD candidate at Princeton. I study the societal impact of AI. Website: cs.princeton.edu/~sayashk Book/Substack: aisnakeoil.com
@ireneer.bsky.social
PhD researcher (EHESS/INSA), cofondateur Mouton Numérique et blogueur sur "Mais où va le web ?" https://maisouvaleweb.fr/ 💡 IA, spatial 📚 Une histoire de la conquête spatiale (La Fabrique, 2024), Technologies partout, démocratie nulle part (FYP, 2020)
@xporte.bsky.social
Journaliste L’Obs, service Idées « Le Code a changé » sur France Inter
@taliaringer.bsky.social
@stego.bsky.social
Accelerating quantum cryptography @neverlocal.bsky.social ⚛️👻🚀 🐦 I'm @StefanoGogioso on X
@hyperboieva.bsky.social
Quantum information, useless information, generally informed. Quantum algorithms researcher at phasecraft.io https://ievacepaite.com/
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@nathanielvirgo.bsky.social
Researcher in applied category theory at Hertfordshire, UK, formerly at ELSI, Japan. Maths, science and random creative projects.
@davidcorfield.bsky.social
Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
@amarh.bsky.social
Assistant Professor at TalTech, advisor at Quantinuum. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @[email protected] on fedi
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @[email protected] Website: https://stringdiagram.com/
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@rossquantum.bsky.social
Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser. Head of Quantum Software @ Quantinuum
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@carlbergstrom.com
UW biology prof. I study how information flows in biology, science, and society. Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b LLM course: https://thebullshitmachines.com Corvids: https://tinyurl.com/mr2n5ymk I don't like fascists. he/him