Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility (Princeton University Press, 2019) and Euler's Gem (Princeton University Press, 2008). Columnist at Quanta Magazine. Topology, dynamical systems, history of math, recreational math, math and art, math. Coffee drinker.
He/Him
For the betterment of the tribe.
All of you, each the animal and the machine.
L'Etat, c'est moi
Union organizer. Rogue philosopher. Sometimes a dev. Pretty good with data. Math, physics, evolution, ice cream & justice. Also sci fi, worldbuilding, poetry and tennis.
On politics. Most of my focus every day is political, more or less; and I am glad to connect with folks offline about labor and politics. I do not do a lot of political posting on social media principally for my mental health; I find myself attempting to effectuate change and only effectuating depression in exactly one person.
‘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
Mathematician. Reader. Fiftysomething. Cruciverbalist. Not very good at thinking of witty things to put in short bios.
I wasn't on Twitter before that nice Mr Musk suggested that everyone go to Mastodon, and I don't expect to be very active here, but who knows?
Prof de #maths au collège Coat Mez (29) Formateur #DRANeBretagne et Animateur de la @cpn29 #LogicielLibre #TeamMaths #TeamProf #impression3d #moodle #Elea #Coopmaths #Streamlit #Minetest #Python #Rrupn #velotaf, né en 325.54 ppm CO2
Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.
I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".
But mostly about maths.
I tend to follow back, but only if you have something in your profile.
Físico, informático, doctor en matemáticas, profesor de la Universidad de Málaga (España) y divulgador científico en mi blog https://francis.naukas.com/ (y en otros medios)
Hello! I'm in Minnesota! I teach at Gustavus Adolphus College.
Personal observations about research, teaching, sports, dogs, exercise, society & the environment.
Also over at @donestep.bsky.social
Editor and logician based in Berlin
Scientist-in-the-making, PhD student (Theoretical Biology, Eco-evo modeling).
Inking comic pages by night 🕵🏻♂️.
Aspiring to go complex, mathematical and philosophical.
Views are of my molecules. 🙈🙉🙊
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
I'm a mathematician. Currently a postdoc at the University of Colorado Boulder. 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.
Assistant professor in Computer Science at the Open Universiteit
Working with maths and data | Using #Rstats, #Python | Studied maths & stats at the #OpenUniversity | #datadon | reading and watching lots including #SciFi | enjoy #Hiking #TrailRunning | he/him
A mathematician working in the animation industry (Skydance Animation, prev: Animal Logic, DNEG, Framestore)
Undergrad at IIIT Allahabad. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.
