Instance directory: mathstodon.xyz
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
Data Strategy, Building organizations building systems, Mathematics
Director Services @ eccenca
Chair OMG Enterprise Knowledge Graph Platform Task Force
Interested in #SyntheticTheories #SymbolicCoarseGraining #SymbolicDecomposition
#DataStrategy #DataGovernance #FormalOntologies #Logics #CategoryTheory #ToposTheory #Algebra #RoadCycling
I teach math. I make art.
I make mathematical art.
I paint, sew clothes, and weave beads.
Author: Beading with Algorithms: Cellular Automata in Peyote Stitch.
SF Bay Area. My Erdős number is 3.
Find my art and art tutorials for sale in my Etsy shop, gwenbeads.
#MathArt #gouache #painting #math #sewing #beading #algorithms #generativeart
Postdoc at Radboud University, previously at University of Nottingham, working on type theory. PhD from University of Birmingham. Mathematician, computer scientist and runner.
I'm a mathematician, and I like combinatorics, universal algebra, and category theory. I also write software, and I know that spreading technical literacy is critical to building a better world.