Janis Kluge @jakluge.de Russia & Economics
All views private
German Institute for International and Security Affairs (SWP Berlin)
Picture: Tamek Kowalski
@leoskyview.bsky.social @leoskyview.bsky.social 
Prune60 @prune602.bsky.social Electrical/Power Systems Engineer, Internationally Recognized Queen of Anglo-Saxonia, “Expert”
*sigh* there will be typos and long threads
Ukraine War Brief Podcast @ukrainewarpod.bsky.social Rob Gaudette on Twitter. Hosted by a Ukrainian and produced by an American with a PharmD. thepeoplesmedia.substack.com
Bartosz Milewski @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
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Manuel Baltieri @manuelbaltieri.bsky.social Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science.
https://manuelbaltieri.com/
Nima Rasekh @nimarasekh.bsky.social Mathematician at @unigreifswald.bsky.social
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
Evan Washington @eewash.bsky.social yields falsehood when preceded by his own quotation- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
arxiv math.CT @arxiv-math-ct.bsky.social Mathematics -- Category Theory (math.CT)
source: export.arxiv.org/rss/math.CT
maintainer: @tmaehara.bsky.social
Chris Heunen @chrisheunen.bsky.social computer scientist, mathematician, father, karateka, pianist
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app