简体中文
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
ququ7's profile picture. I make diagrams commute, whether they do it or not.

fouche

@ququ7

I make diagrams commute, whether they do it or not.

2千帖子 824关注者 263正在关注
你可能会喜欢
发生错误，请刷新页面并重试。
mattecapu's profile picture. 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci

@mattecapu
EgbertRijke's profile picture. Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

Egbert Rijke

@EgbertRijke
_julesh_'s profile picture. Applied Compositional Thinking. Also at @CyberCatInst and @julesh@mathstodon.xyz

julesh

@_julesh_
BartoszMilewski's profile picture. Physicist, programmer, mathematician. Author of Category Theory for Programmers. @BartoszMilewski@Mathstodon.xyz

Bartosz Milewski

@BartoszMilewski
davidad's profile picture. Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇

@davidad
plain_simon's profile picture. Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Essen.

Simon Pepin Lehalleur

@plain_simon
PaoloPMath's profile picture. Mathematician & math teacher.

Paolo Perrone

@PaoloPMath
AlexisToumi's profile picture. If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @AlexisToumi@mathstodon.xyz

alexis.toumi

@AlexisToumi
fabgenovese's profile picture. PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆

FRG

@fabgenovese
DoneWithMaths's profile picture. Homotopy theory is hard, as is grad school*. He/Him. *Fuck! I actually did it!

Dr Finished and Tired

@DoneWithMaths
myers_jaz's profile picture. Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.

David Jaz Myers

@myers_jaz
rwolffoot's profile picture. boxes-and-wires scientist

Robin Piedeleu

@rwolffoot
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
StringDiagram's profile picture. Categories, computer science and logic. @stringdiagram@mathstodon.xyz

Dan Marsden

@StringDiagram
bayesianboy's profile picture. I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.

Mel Andrews

@bayesianboy
amar_hh's profile picture. Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.

Amar Hadzihasanovic

@amar_hh
PawSob's profile picture. Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).

Pawel Sobocinski

@PawSob
Ayegill's profile picture. @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head

Eigil Fjeldgren Rischel - abstr/acc

@Ayegill
dannygratzer's profile picture. phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️‍🌈.

daniel gratzer

@dannygratzer
DiracDeltaFunk's profile picture. Sheaf herder. I believe in you 🔥

Ben Spitz (63/100 improv meals)

@DiracDeltaFunk
Osiji2128's profile picture. I am not a product of my circumstances. I am a product of my decisions.

Osiji

@Osiji2128
spuds600's profile picture. Be nervous do Math Love freely

spuds

@spuds600
BlaKaligula's profile picture. ISTJ-T, METAMASK HACKED, NEED ESSAY HELP, COINBASE HACKED, GIGACHAD RUSSELLIAN

BlaKaligula

@BlaKaligula
Abelaer's profile picture. Emergence and compositionality in complex and living systems || Fellow @emergenceDIEP, University of Amsterdam || prev at MPI Leipzig & Un. of Edinburgh

Abel Jansma

@Abelaer
ricardoaw18's profile picture.

Don´t Tread on Me

@ricardoaw18
DomenicoG97's profile picture.

Domenico Giuliani

@DomenicoG97
gooserelin's profile picture. professional serendipity engineer and e-dopamine golem and never-passer read more on https://t.co/6GIf1OQrfb

g∞serelin

@gooserelin
AtefToumi3's profile picture.

Atef Toumi

@AtefToumi3
Amoeba314's profile picture. Just a wee cell sack trying to learn and survive these chaotic and dangerous waters

Brendan

@Amoeba314
bl29845_bluett's profile picture. Are you in need of help to pay off bills and some other things dm me now and get bless immediately I will be glad to help you out helping people is my priority

kim Susan

@bl29845_bluett
marcofrancisc's profile picture. Researcher in finance and economics . Interested in economics, mathematical modelling and all things machine learning.

Marco Francischello

@marcofrancisc
CohlFurey's profile picture. Mathematical physicist Recurring themes: Animals, advancement, abnormalities, algebra, and art. @furey@mathstodon.xyz @particohl.bsky.social

Nichol (Cohl) Furey

@CohlFurey
Justlookin57's profile picture. Read-only mode is enabled

Justlookin

@Justlookin57
makingcolorblue's profile picture.

makingcolorblue

@makingcolorblue
gnostrich's profile picture. semi-formal abstract algebraic meditations

✹

@gnostrich
smilersmileyman's profile picture. super epic sigma

Yakubian

@smilersmileyman
neuroevolutus's profile picture.

neuroevolutus

@neuroevolutus
twitname6's profile picture. write twitter bio here

twitname

@twitname6
DarioBojanjac's profile picture.

Dario Bojanjac

@DarioBojanjac
fynmaaandu's profile picture. I have been gauged. I like to think about QFT and knots. Discord: Fynmaaandu

Mandu

@fynmaaandu
darthur's profile picture. intuitionist - reality - math - distributed systems design - robotics - tree-felling - challenge me - - - @mit_triune @apple @idealab @openai @daedalus @sf

darthur

@darthur
TeamTock's profile picture. TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.

Michael Evans

@TeamTock
meehaaaaaa's profile picture.

schch

@meehaaaaaa
samsenchal's profile picture. ORI, Free Will, Consciousness, Computation, The Heroes Journey, Observation and everything that lives in the gaps.

S.A. Senchal

@samsenchal
scheminglunatic's profile picture. pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." #TRAD_YAOI🇸🇱🚬 #AuDHD_NetSlop🧩🚂 #I_Heil_The_Black_Cube🕋🪐

alcuin ❄️

@scheminglunatic
LostOrganon's profile picture. surgeon-topologist

stacey

@LostOrganon
useTheForcing's profile picture. all the things shining

grief topos

@useTheForcing
QasimMP's profile picture. Mathematical physics enthusiast, Math student @ICTP

Qasim

@QasimMP
satyasushmav's profile picture. Aṅgirasvád dʰruvā́ sīda

Satyáşuṣma

@satyasushmav
lambda_functor's profile picture.

λ

@lambda_functor
jack_peaches's profile picture. Dot dot dot profile loading

Jack Peaches

@jack_peaches
bakovic_igor's profile picture. A working category theorist, working on foundations of mathematics, logic and theoretical computer science.

Igor Baković

@bakovic_igor
QuangKhaiN61267's profile picture.

Quang Khai Nguyen

@QuangKhaiN61267
hee_kr_doo's profile picture. If one knows not how to brincar, one should not descer pro play

𝕽𝖎𝖈𝖍𝖆𝖗𝖉 𝖙𝖍𝖊 𝕷𝖎𝖔𝖓𝖍𝖊𝖆𝖗𝖙

@hee_kr_doo
austinc3301's profile picture. Trying to make AI go well. Enjoyer of good faith discussions. Running @KairosAIS and @SPARExec.

Agus 🔎🔸

@austinc3301
christianrubene's profile picture. Mathematician

Christian Espindola

@christianrubene
guerre_doctrine's profile picture. ✁------------------------------------------------

𐦂𝀗

@guerre_doctrine
prime235711's profile picture. category theorist \mathcal{Cat}

fibrant cofibration

@prime235711
todofmm's profile picture. ∅

todofmm

@todofmm
roboguy20's profile picture. Computer science PhD student focusing in programming languages

David Young

@roboguy20
guymccusker's profile picture.

Guy McCusker

@guymccusker
santorilaa's profile picture. Mr loverman

sandoralia

@santorilaa
thedevbirb's profile picture. R&D ⎯⎯⎯⎯⎯⎯⎯■ @chainbound_ | prev dev @Tide_web3 | math @unimib. Cocktails enjoyoor 🍸

thedevbirb

@thedevbirb
FLUCTONIC's profile picture. My hypotheses on: Cancer, Prime Numbers, Perfect Numbers, Attenuation of viremia, Quantum Mechanics «FLUCTON» (photon with variable volumetry), Free Fall on air

FLUCTONIC

@FLUCTONIC
DotDotJames's profile picture. inventor, polymath, veteran

👨‍💻 James Augeri, PhD

@DotDotJames
ndgbntng's profile picture.

scrtrybrd

@ndgbntng
spondeux's profile picture. now mostly on Threads

Alexander

@spondeux
ladycooljulie's profile picture. compliment of the season 🎁🎁🎁🎁🎄🎄💓💓💓

Juliana Ekwere

@ladycooljulie
you_kad's profile picture. Theoretical Computer Science Student

Younesse Kaddar

@you_kad
abhalkikar's profile picture.

Abhijeet Bhalkikar

@abhalkikar
mattecapu's profile picture. 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci

@mattecapu
EgbertRijke's profile picture. Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

Egbert Rijke

@EgbertRijke
_julesh_'s profile picture. Applied Compositional Thinking. Also at @CyberCatInst and @julesh@mathstodon.xyz

julesh

@_julesh_
BartoszMilewski's profile picture. Physicist, programmer, mathematician. Author of Category Theory for Programmers. @BartoszMilewski@Mathstodon.xyz

Bartosz Milewski

@BartoszMilewski
coecke's profile picture. Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

bOb cOeCke

@coecke
littmath's profile picture. Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.

Daniel Litt

@littmath
JDHamkins's profile picture. Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Joel David Hamkins

@JDHamkins
davidad's profile picture. Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇

@davidad
plain_simon's profile picture. Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Essen.

Simon Pepin Lehalleur

@plain_simon
PaoloPMath's profile picture. Mathematician & math teacher.

Paolo Perrone

@PaoloPMath
AlexisToumi's profile picture. If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @AlexisToumi@mathstodon.xyz

alexis.toumi

@AlexisToumi
fabgenovese's profile picture. PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆

FRG

@fabgenovese
ToposInstitute's profile picture. Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.

Topos Institute

@ToposInstitute
DoneWithMaths's profile picture. Homotopy theory is hard, as is grad school*. He/Him. *Fuck! I actually did it!

Dr Finished and Tired

@DoneWithMaths
myers_jaz's profile picture. Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.

David Jaz Myers

@myers_jaz
LongFormMath's profile picture. Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).

Jay Cummings

@LongFormMath
rwolffoot's profile picture. boxes-and-wires scientist

Robin Piedeleu

@rwolffoot
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
StringDiagram's profile picture. Categories, computer science and logic. @stringdiagram@mathstodon.xyz

Dan Marsden

@StringDiagram
bayesianboy's profile picture. I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.

Mel Andrews

@bayesianboy
CohlFurey's profile picture. Mathematical physicist Recurring themes: Animals, advancement, abnormalities, algebra, and art. @furey@mathstodon.xyz @particohl.bsky.social

Nichol (Cohl) Furey

@CohlFurey
NoahChrein's profile picture. Omni-modality through higher category theory.

∞-modal

@NoahChrein
memecrashes's profile picture. currently working on our PhD (imaginary issues no one cares about except a really really really specific audience)

A meme page to check every time MatLab crashes

@memecrashes
Iris_Illera's profile picture. A toolmaker and fundamental researcher (with stress on Fun). Plant physiology, molecular genetics, else. You have got nothing to lose but global supply chains.

Lead Iodide Lip Gloss Garlicmoder

@Iris_Illera
austinc3301's profile picture. Trying to make AI go well. Enjoyer of good faith discussions. Running @KairosAIS and @SPARExec.

Agus 🔎🔸

@austinc3301
gammaofzeta's profile picture. Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.

Γ(z)

@gammaofzeta
guymccusker's profile picture.

Guy McCusker

@guymccusker
IlvesToomas's profile picture. Toomas Hendrik Ilves From Estonia. Where Digital is Native. And come in at #2 in the world in internet freedom. @toomas_ilves@mastodon.social

toomas hendrik ilves

@IlvesToomas
wildtiktokss's profile picture. the wildest tiktoks around

Wild TikToks

@wildtiktokss
logarithmicVoid's profile picture. ܐ = { 弦圖, 和算, 景教 } ∀ ܬ ∈ ܐ: ܬ/https://t.co/uxNUtaS9Bs

de Staël 𒀭 Compiler

@logarithmicVoid
PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.

Pietro Monticone

@PietroMonticone
MBarany's profile picture. Historical and cultural theories about math and science theories. Fields Medal killjoy. @UoE_STIS by day, @MathHistFacts by night, @SIGMA_maths thru 2027.

Michael J Barany

@MBarany
culturaltutor's profile picture. I've written a book, and you can get it here:

The Cultural Tutor

@culturaltutor
giovannimarchet's profile picture. PostDoc at KTH (Stockholm) in Deep Learning and Computational Geometry.

Giovanni Luca Marchetti

@giovannimarchet
m4rk1x's profile picture. gfixme : (▸A → A) → A

Marco Paviotti

@m4rk1x
MrUgleh's profile picture. I do a bunch of stuff, none of it perfectly

MrUgleh

@MrUgleh
typstapp's profile picture. This profile is archived. Follow Typst on Bluesky (@typst.app), Mastodon (@typst@mastodon.social), and LinkedIn instead. We'd be excited to see you there!

Typst

@typstapp
k_przespolewski's profile picture. Active on mathstodon. Quit high school to do movies. Quit movies to read sci-hub. Now at uni studying math.

Kamil Przespolewski

@k_przespolewski
dannygratzer's profile picture. phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️‍🌈.

daniel gratzer

@dannygratzer
PulkkinenEsa's profile picture. Software developer, Java, Haskell, C++, category theory, logic, abstract algebra. All opinions are personal. I don't represent any organization in tweets.

Esa Pulkkinen

@PulkkinenEsa
adittyachaudhu1's profile picture. Category theory, Geometry and Topology in Biology |Researcher @ ISI-Kolkata (MIU)| Ex: Researcher @ ISI-Kolkata (SMU), @ Rostock University|PhD Math @ IISER TVM

adittya chaudhuri(@[email protected])

@adittyachaudhu1
Crosettismo's profile picture. Pearà enjoyer "My day passes between logic, whistling, going for walks and being depressed" boring swimming stuff

sterzing, non vipiteno groussetcrazia elpandorito

@Crosettismo
AbellsTheorem's profile picture. Mathematician, @txst, @UNM (MS, pure math) @UTAustin (BS, math) He/Him. Loves math and helping people explore it. Currently obsessed with: Monads.

Austin Bell

@AbellsTheorem
andrej_muzevic's profile picture. Building beyond moats. ᛇ ᚷ ᛏ

Andrej Muzevic

@andrej_muzevic
thegeorgejkaye's profile picture. Computer Science PhD student at the University of Birmingham, interested in applied category theory. Tweets about walking, cycling, railways, and arsenal.

George Kaye

@thegeorgejkaye
lambdabetaeta's profile picture. computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni

Alex Kavvos

@lambdabetaeta
YeonmiParkNK's profile picture. North Korean Defector / Author of Bestselling Books / BBC 100 Women / TED Speaker / 1M Sub YouTube / YAF Speaker

Yeonmi Park

@YeonmiParkNK
ajf_puppo's profile picture. Not entirely lost

Andrew Forsberg

@ajf_puppo
hora_math's profile picture. English account of @hora_algebra / the University of Tokyo / Category theory

Ryuya Hora

@hora_math
Steia11's profile picture. Here to keep up with the CT chit-chat

Stefano Luneia

@Steia11
MamanLunettes's profile picture. mama🍄🍄🍄math person🧮

Violeta𓅓

@MamanLunettes
RimmaH112514's profile picture. Some weird Finnish person living in Berlin. Math education enthusiast Writer Red Bull appreciator

Rimma🇺🇦

@RimmaH112514
OwoTizusa's profile picture. 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.

Uipalent transport

@OwoTizusa
cenobyte3's profile picture. Quantum Gravity Theorist, Research Director@thirring.org Bunny parent to a cute black and white Netherlands Dwarf rabbit. He/Him #teamcarrotcottage

Cenobyte🦑🧲⚫🐸 ֍😷🇨🇦🐰🐰♂️

@cenobyte3
guidoboccali1's profile picture.

guidoboccali

@guidoboccali1
combinatola's profile picture. math and panic twitter. she/her/hers.

Aleksandra Sobieska

@combinatola
uberwensch_'s profile picture. uberwensch@mathstodon.xyz

Rochelle

@uberwensch_
sketchesofjack's profile picture. mathematical proof, metaphysical truth, thermonuclear fuse, don’t wanna see me in the booth.

Jack

@sketchesofjack
adilsoubki's profile picture. math, physics, and cs @cambridge_astro / recovering NLP researcher / prev @ HRT, SBU

Adil

@adilsoubki
fabiomog's profile picture. A Theoretical Computer Science Passionate Associate Professor in Computer Science @fabiomogavero@mathstodon.xyz @fabiomog.bsky.social

Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹

@fabiomog
yoomi____'s profile picture. vegan, math student, anarchism sympathizer,interested in algebraic geometry, topology, category theory and number theory, she/her

yoomi

@yoomi____
GiuseppeMetere's profile picture.

Giuseppe Metere

@GiuseppeMetere
WanderSchnee's profile picture. الجبر 金繕い

Le Chat ☔️Specht ∞

@WanderSchnee
RollWithRu's profile picture. queer disabled activist who is a lover of all thinks pink 🩷🌸🧚‍♀️🎀 ♡ cosplayer | streamer | activist ♡ 🌸for collabs/enquiries: rollwithru@hotmail.com

Ru 🌸♿️ (she/they) 🎀

@RollWithRu
IvePetThatDog's profile picture. My name is Gideon. I am a 14 year old boy who likes petting dogs. Account supervised by mom. https://t.co/r7yVaXQjRK

I’ve Pet That Dog

@IvePetThatDog
prerat's profile picture. social media influencee

prerat

@prerat
QiaochuYuan's profile picture. real actual human adult male

QC

@QiaochuYuan
Aella_Girl's profile picture. survey artist, sample size queen, way too earnest. FDA delenda est. https://t.co/IcEgPhVD3o

Aella

@Aella_Girl

United States 趋势

你可能会喜欢

Something went wrong.


Something went wrong.