Instance directory: mathstodon.xyz
Category Theory, Semantics and Type Theory.
Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her
Mathematician based in Heidelberg, Germany.
Making research math visible - how we think - what we do - how math works.
I study groups and geometric spaces, all things symmetry.
Also: coffee, art and chocolate.
- gegen Rechts, für Demokratie und Vielfalt -
(she/her)
I'm a computer scientist at the University of California, Irvine, interested in algorithms, data structures, discrete geometry, and graph theory.
Mathematician, programmer, and other things at other times.
‘here for a ${reason}!’
Sex, drugs, and obscure thoughts about capitalism, and technology.
Also #art, functional programming, logic, formal systems etc.
writing “Category Theory Illustrated”… slowly.
they/them
Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman.
Big nerd. he/him
I use my lasers to melt the cisheteropatriarchy.
OSS community builder, quantum physics PhD, Python Software Foundation Fellow. Dog parent of Chewie the very opinionated German Shepard.
Lecturer at the University of #Sydney. Prev postdoc at IBM Research, Stanford; Columbia PhD. Converts coffee into bad puns: theorems an occasional byproduct. #USydCompSci (Mostly active on BlueSky.)
math. programming. fancy types. haskell.
https://6d03.info
L'Etat, c'est moi
Greying, limping Esperantist. Topics include: languages, bellringing, maths, software, and cats.
Sysadmin, developer, company director, IOCCC Winner. Occasional knitter.
Toots mainly in English. Also C1 in Esperanto, B1 in French and German, HSK1 in Mandarin.
Born when CO2 level was roughly 340ppm
EO account: https://esperanto.masto.host/@lametulo
tootfinder for searchable toots.
Quantum computing researcher at the University of Amsterdam and QuSoft
rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
Software Engineer, Professional Open-Sourcerer, interested in creating Music, Games and other Media
Associated Professor of Physics at the University of Exeter.
Maker of typos.
Science, scientific visualizations (grouped under the hashtag #PhysicsFactlet), some miniature painting.
He/lui/on. All opinions are my own fault.
Programmer by day, math and theoretical physics hobbyist by night. Particular interests in group theory, geometric algebra, the connections between discrete and continuous math, and the connections between physics and group theory / information theory / CS.
You might know me by one of my previous handles, often of the form [c]hronos or [c]hronos-[t]achyon, but I'm trying to escape the corporate webcrawl panopticon.
Retired physicist, after a career in machine learning & stats mostly for cancer drug discovery. Now blogging about stats in the news.
Avatar: convergence basins in the complex plane of Newton's algorithm searching for the cube roots of unity. (After a NYT column by @stevenstrogatz, long ago.)
Header: Quote from GK Chesterton, London Daily News, 1905-Aug-16 on epistemic humility and the ability to say "I am wrong" as the foundation of idealism.
Programming languages, finitely-presented monoids, horses