Tiếng Việt
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.

2KBài đăng 824Người theo dõi 263Đang theo dõi
Bạn có thể thích
Có lỗi xảy ra, vui lòng làm mới trang và thử lại.
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 Xu hướng

Bạn có thể thích

Something went wrong.


Something went wrong.