Instance directory: mathstodon.xyz
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Human, Swed, Father, Programmer, Recovering Mathematician, and Skeptic.
Proudly anti-to-finely-grated-carrots and part-time wizard from Sjöbo.
🔮💻✨
I'm kind of a Marmite person, in that I'm essentially a byproduct of the brewing industry.
Manchester MathsJam regular and occasional tamed programmer for the Nerds. Bi/polyam
He/Him
For the betterment of the tribe.
All of you, each the animal and the machine.
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.
https://mathoverflow.net/users/11100/dima-pasechnik
USSR->Australia (Perth)->Netherlands->Germany->Netherlands->Singapore->Oxford (UK)->Evanston, Illinois (USA)
Lecturer at CS Department, mathematician interested in "computer algebra".
My Erdős number is 2 in two different ways, via Lex Schrijver, and via Michel Deza.
Created by @phijor
Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens
Current life:
🎮 Epic Games
Previous lives:
🍩 PhD in Riemann theta functions
🧬 Glaxo Group Research
💥 Mass Illusion, Esc, ILM
🎈 Google X, Verily, Google
Likes:
🚴 I like to bike
🏃 I like to run
🎛️ my musical tastes lie towards the electronic end of the spectrum
🚀 I like Andor *and* The Mandalorian
Mestrando em Física, cientista, socialista e talz
Grad studente in physics, scientist and socialist
ele/he
🇪🇺, Research, analysis, development, reproducibility. Keywords about me: STEM, piano, nature, bikes, swimming.
Applied Compositional Thinking
Astrophysicist at the Royal Observatory of Belgium interested in the rotational fluid dynamics of planetary cores and stars.
A random software engineer with stochastic scribblings.
My neurons are #divergent, but they are still countable.
Username inspired by a game called #Inscryption.
Thinking about an #egalitarian #postgender society.
math. programming. fancy types. haskell.
https://6d03.info
A mathematician working in the animation industry (Skydance Animation, prev: Animal Logic, DNEG, Framestore)
Computer Scientist. Assistant professor interested in counting and reasoning under uncertainty. Feminist. Trekkie. Traveller. LaTeX enthusiast.
Flirting allowed, but no lewdness, please.
Profile pic: a young, blonde woman sitting behind a desk with papers, pens and markers, looking up over her shoulder at the camera.
Banner pic: A big logo; a colourful geometric shape with the letters GHC next to it. I am sitting in front of it, between the G and the H.
Part-time mathematician and programmer, interested in cellular automata and a lot of other stuff.
Header picture: https://ruhr.social/@Hagukh/109848628707963930
Profile picture: https://showyourstripes.info/s/europe/germany/hamburg