-
Tweets171
-
Followers3K
-
Following0
-
Likes2
Three new blog posts in the last few months: a retrospective on a Topos/Oxford computer science meeting, a summary of the Poly@Work 2024 workshop, and an explanation of the mathematics behind UMAP. Check them all out at topos.site/blog/
New blog post: Brendan Fong on the recent Singapore Conference on AI for the Global Good topos.site/blog/2024/02/s…
New blog post: "Algebras are promonads" by Evan Patterson topos.site/blog/2024/01/a…
New blog post: "Composing springs" by Sophie Libkind topos.site/blog/2024/01/c…
New blog post: Evan Patterson explains "Why double categories?" in the first of a series of posts. topos.site/blog/2024/01/w…
New blog post: "Building dynamic structures" by Samantha Jarvis topos.site/blog/2024/01/b…
New blog post: "Poly-morphic effect handlers", by Harrison Grodin and David Spivak topos.site/blog/2024/01/p…
Heartened that Singapore’s efforts to kickstart discussions on AI through SCAI have germinated into an international "brain trust". I hope the friendships forged will be the start of a long journey together as we look at ways to contribute to the global good through AI.
New blog post: Responsible mathematics and metaphors of semantics, by Kris Brown topos.site/blog/2023/12/r…
New blog post: Trustworthy Reification, by Sophie Libkind topos.site/blog/2023/12/t…
New blog post: Harper Hults on "Categorical Statistics in Julia" topos.site/blog/2023/11/c…
New blog post: John Baez on "Mathematics for climate change" topos.site/blog/2023/11/m…
New blog post: Topos researchers win Best Paper Award at AAAI Fall Symposium 2023 topos.site/blog/2023/11/t…
Topos Institute is calling for applications for our 2024 Summer Research Associate program! Apply by February 1st to secure your spot among top researchers and mentors within mathematics, programming, and philosophy. More here: topos.site/files/2024_Sum…
New blog post: Priyaa Varshinee Srinivasan and David Spivak on "Solving problem-solving" topos.site/blog/2023/11/s…
New blog post: "Lie groups induce Hopf monoids in Poly" by David Spivak topos.site/blog/2023/10/l…
New blog post: "Retrotransformations", by Evan Patterson topos.site/blog/2023/10/r…
New blog post: "Cartesian double theories" by Evan Patterson topos.site/blog/2023/10/c…
New blog post: "Our summer research associates in 2023", by Juliet Szatko topos.site/blog/2023/10/o…
New blog post: "Powers of polynomial monads" by David Spivak topos.site/blog/2023/09/p…
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]
Matteo Capucci @mattecapu
4K Followers 789 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Bruno Gavranović @bgavran3
7K Followers 952 Following Category Theory + Deep Learning Principal Scientist @symbolica bgavran.eth
bOb cOeCke @coecke
7K Followers 616 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
normal wife 🇵🇸 @Category_Fury
17K Followers 2K Following Olivia. PhD candidate @unimelb in pure maths. I like higher categories and operads. I'm normal up to higher homotopy. @category-fury.bsky.social
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
ieva @HyperboIeva
10K Followers 770 Following Quantum information, useless information, generally informed. Achieved a desperate PhD @QOQMS. Quantum algorithms researcher @PhasecraftLtd
Steven Strogatz @stevenstrogatz
157K Followers 3K Following Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
Edward Kmett⏏️ @kmett
14K Followers 779 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LM
Simon Pepin Lehalleur @plain_simon
3K Followers 5K Following Mathematician (algebraic geometry, motives & friends, singularity theory and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam. He/Him
David Jaz Myers @myers_jaz
1K Followers 203 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Pitching The Offer Op.. @PTOOP
1K Followers 611 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Rúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Ben Spitz (37/100 imp.. @DiracDeltaFunk
2K Followers 647 Following Sheaf herder @ UCLA. I believe in you ♟️ ⛰️ 🍵 🌱❤️🔥 also on https://t.co/yanjbCVxnO and 🟦☁️, same handle :)
alexis.toumi @AlexisToumi
992 Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
tom777*** @tom7773d
10 Followers 567 Following Retired gay professor, gay erotics, art/movies, cultural politics
apscomp ai @apscompai
1 Followers 170 Following
Celia Hacker @CeliaHacker_
48 Followers 68 Following
Estelle 🪸 @DiscreteEstelle
44 Followers 188 Following State tomography and sensor fusion. Interested in CMT 🫧 Eternally confused but forever curious 🌌 (she/her)
Aspirator @W_Podbielski
10 Followers 405 Following Wolność jest matką, nie córką ładu. Tyrania jest formą anarchii.
Trollese @NalorYj
5 Followers 148 Following
NothingBetter @abovemeonlysky
72 Followers 558 Following
pyonpyon @pyonpyo40617688
47 Followers 282 Following
Adam Marblestone @AdamMarblestone
7K Followers 5K Following Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers
Jezre @jezbco
16 Followers 243 Following Love God, family, music and technology; other stuff too of course. I mainly love.
VladSanTen @TenVlad
86 Followers 1K Following Estadístico. Disfruto leer (en el sentido Jacques Derrida).
Mathematical Immaturi.. @Math_Immaturity
5 Followers 50 Following
Pensé FFun @inftyCategory
92 Followers 6K Following
Steve Jones (@sjfloat.. @sjfloat
838 Followers 2K Following
Juan Pablo Romero @1jpablo1
347 Followers 605 Following Se habla spanglish. Animal pictures. Sometimes I tweet about Scala and Lean.
404...id not found. @DrSenapati
223 Followers 4K Following
Stian ⏸ @Meraxion
214 Followers 516 Following AI, sff, rationality, EA | AI Cognitive Computing @AI_Radboud | RT = I put this on my reading list, not: I read this | I write book reviews and things 👇
pointed_max @pointed_max
1K Followers 985 Following a pointed set is a set endowed with a distinguished element, called the base point.
Prismo @branchialspace
100 Followers 1K Following
James Giammona @jamesgiammona
1K Followers 1K Following Death is an evil. That’s what the gods think. Or they would die. -Sappho
🏴�.. @ALZTeYhfuk3qUWe
206 Followers 2K Following
iOS12345QA @yamamoto_ts
0 Followers 4 Following
wwwwwwhhh @whw7_
57 Followers 1K Following
k @weylperson
540 Followers 500 Following AdS/CFT | Hilbert’s sixth, logic, and category theory | full-stack SWE + Haskell stan | clutch city sports fan
prof-g @robertghrist
17K Followers 2K Following @Penn mathematician; engineer; educator; assoc. dean of undergraduate education @PennEngineers; illustrator; animator; e/accta non verba
Dmitry Afanasiev @f100000w
41 Followers 215 Following
The Brave Goldfish @GoldfishBrave
56 Followers 522 Following
CT @Democracytolao
194 Followers 643 Following No far left ☭🚫/Tankies, ❌️no pro-Russia❌️, Don't be chickens for KFC, An electrical engineering but interested in cosmology and particles physics.
Bomin @Bomin78
423 Followers 2K Following I love books. Interested in Philosophy, Mathematics, Literature etc.
Lakshmi Narayanan @Lakshmi51515439
1 Followers 77 Following
Bartek Henkiel @donut16356
8 Followers 36 Following
Nitin Rughoonauth @NitinRug
59 Followers 253 Following I teach physics, maths, and maths education. I also do some research, mainly in theoretical physics and education.
Kim Worrall @kimworrall_
6 Followers 32 Following
Jack @jackdavidsonnn_
768 Followers 2K Following marxism, morton, maths. come all you young rebels and list while I sing
Common but not Normal @commonnotnormal
996 Followers 3K Following
Matt McDonnell @mattmcd
738 Followers 2K Following Geek Code: GS/E d s: a+ C(++++) U W++ N+ w M PS+ PE Y+ X+ !tv b+++ DI+ D e++++ r++ y?
Christos Perivolaropo.. @ccperivol
116 Followers 606 Following Computer science understander @GoogleDeepmind
John Maki @John_W_Maki
72 Followers 405 Following CEO Bayesian Biotech, Former Managing Director @AudaxGroup, Principal @BainCapital, Chair of AI committee @BioNJ_Org, Post own views on Biopharma AI news.
Edward Patrick @eapatrick1
255 Followers 1K Following AI/ML Medical App, 8K Disease Categories trained with 14M Features/Values. Input Findings, returns ranked Categories, Explanations, & Quality Assurance.
Lean @leanprover
4K Followers 35 Following Lean is a dependently-typed programming language and theorem prover.
Fun fact—when I first visited the @ToposInstitute last summer, it wasn’t on Google Maps yet, so I figured I’d add it. Today I got this email:
oh my! the @ToposInstitute is now on Twitter, YAY!!
Trends for United States
You might like
