Magical girly tomboy ✨🧚♀️
Likes games 🧩🎮🎲♟️
Likes stories 📚🦄🦋
Studied mathematical logic 👒
Maintaining QEMU at Proxmox 🐧🪠👩🔧
Fionaä, princess of bugs 🪲
CCC Wien 👾
Chaos macht Schule 👩🏫
Haecksen 🧙♀️
Feminist Linux Meetup Vienna 🐧
Queerconnexion 🏳️🌈👩🏫
FSFE Team Austria 🇦🇹✨💚🩵💙
Actually pretty shy 🙈
Always trying, failing, learning 👩🎓
Sunny with occasional rain ☀️🌈🌧️
Languages: 🇦🇹🇬🇧🇮🇹
Learning: 🇯🇵🇨🇵
Follow requests welcome ☺️
tfr
Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/
My interests, in no particular order: physics, programming, music (particularly the weird kind), left-leaning politics. Georgia Tech OMSCS alumni.
I wear a few hats:
- Software engineer @ Minimum, building carbon accounting software for enterprises;
- IT coordinator @ Možemo!, the green-left party of Croatia;
- Trying to be an all-around curious person & a decent comrade.
I'm Tom, a freelance Museum Learning Consultant who wants to help museums & galleries make more of the maths that is fundamental to the stories & objects of each & every one of them.
Recreationally, I'm in to #Maths, #Movies, #Music & #Books. I also run my local #MathsJam.
I'm in Milton Keynes.
#MuseumEd #GLAM-Ed #MathsInMuseums #astronomy #guitarist #fedi22 #MKMathsJam #Museums
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
I'm a mathematics teaching professor in Seattle. I taught discrete modeling for a bunch of years, but I'll be teaching intro to proofs and real analysis in the coming year. I spend a lot of time making sound and visual art, often algorithmically. I worry a lot. I try to cycle a lot.
Retired software engineer/web developer
I do network science, graph algorithms, graph theory, dynamical systems and complexity science in general. But really, a lot of it is computational plant biology. And most of it relies on simulations.
Then I practice taekwon-do (ITF) and I roam in the mountains.
Oh, yes, I almost forgot, the probability of an event is the fraction of times it occurs, and that's it.
How strongly one believes in something does not change the underlying reality.
Your statutory rights are not affected.
He/him
Vibing good vibes; mathing bad math.
non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.
Generally co-menacing co-categorical co-object.
"I cannot Grothendick construction under these conditions."
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
L'Etat, c'est moi
Scotland-based Kiwi. Software crafter. Creative polymath and omnivore. He/him. Boost is not endorsement. Employee of Moody's, but any opinions are my own and not those of my employer.
Researching the mathematics of socionics, a personality typology and metaphysical framework. Interests in foundations, including computing, logic, synthetic geometry, and quantum theory. Founder and developer of a social network for personality types, https://sedecology.com.
Maths, lambdas and rock'n'roll. Mathematical physicists, associate professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
Software Engineer 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.
Astronomy, Bread, Computer, Dad jokes, Mathematics, Metal and More.
Avatar: A photo of a green rusty sprocket
Banner: A photo of a Penrose Tesselation in an autumn color theme
‘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
