Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
Cyril Voyant @cyrilvoyant.bsky.social Research Director @ Mines Paris – PSL (O.I.E.).
Renewable energy forecasting, AI for time series, solar variability & energy systems resilience.
Meta-science, research evaluation & open science.
Medical physics.
Bridging physics, data, and impact
Vidya Sagar V @vidyasagarv.com Particle physicist at @cnrs.fr . Scientific programming enthusiast.
Mario Krenn @mariokrenn.bsky.social Professor for "Machine Learning in Science", University of Tübingen.
Artificial Intellgence as a source of inspiration in Science.
https://mariokrenn.wordpress.com/
Acta Physico-Chimica Sinica @actaphyschimsin.bsky.social Acta Physico-Chimica Sinica (IF = 13.5), a journal from Chinese Chemical Society and Peking University @pku1898.bsky.social, focusing on #Physical_Chemistry
Sea Person @catneuron.bsky.social All your Bronze Age belong to us.
Functional Programming India @fpindia.bsky.social Uniting Functional Programming Language enthusiasts across India.
Zulip: https://zulip.functionalprogramming.in
Telegram: http://t.me/fpncr
Web: https://functionalprogramming.in/
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account- Y yishibashi @yishibashi.me hi
Ronan Lamy @ronanlamy.bsky.social 
Tyler R. Josephson 藍泰來 (he/him) @atomslab.bsky.social AI & Theory-Oriented Molecular Science. Asst Prof at UMBC, molecular simulations for the environment + automated reasoning for chemical science and engineering. RT≠PV/n
https://atomslab.github.io
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
@streamlight.bsky.social @streamlight.bsky.social 
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
Jason Rute @jasonrute.bsky.social AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Anthony Bello @anthonybello.dev Senior Software Engineer with 10+ years building scalable web & mobile apps. Expert in React, Next.js, React Native, and Node.js. Proven track record delivering production systems, now focused on AI-integrated solutions.
@kathrynherr.bsky.social @kathrynherr.bsky.social 
Ercan Er @ercaner.bsky.social ironbee.ai - co-founder
Software Engineer ⌨️
Dog lover 🦮
cernockyd @cernockyd.com information infrastructures
cernockyd.com- R Riccardo Brasca @riccardobrasca.bsky.social
Shlok Vaibhav Singh @shlokvaibhav.bsky.social Shlokvaibhav.substack.com
Github.com/Shlokvaibhav
www.linkedin.com/in/shlokvaibhav
Chip designer @ Texas Instruments | IIT Bombay Electrical
@thesilenceended.bsky.social @thesilenceended.bsky.social 
Voltimando @voltimando.bsky.social 
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
a bezoar @a-bezoar.bsky.social 
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Geoffrey Irving @girving.bsky.social Cofounder and Chief Scientist at Resolution. Alignment will be solved eventually, but not necessarily in time. Previously UK AISI, DeepMind, OpenAI, Google Brain, etc.
dan @danabra.mov spring summer twenty six
@tashamciotosh1.bsky.social @tashamciotosh1.bsky.social 
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain