Just a guy who is trying to learn a little every day.

Grandpa, hanging around in the OEIS helping people to get their stuff in.

Love the history of mathematics, computational mathematics, and reverse engineering. Sometimes translate papers by Euler and Riemann.

I entertain myself with hacking and learning new computer languages.

I wish that TeX and CAS merge into one unity, eliminating any 'formula translating system'.

The image in the header is a photograph of some graffiti art that was once on the Berlin Wall.
(See Wikipedia: Berlin Wall.)

PhD student in PL

totally lost

Love to look at cute or beautiful animals, especially sea creatures! A few of my favorites: #Octopus #Bunny #Rabbit #Nudibranch #Seaslug #Seahorse #Penguin #Alpacas #Slug #Snail #Bees #Bumblebees #Mouse #Rat #Bird #Nuthatch #Stingray #Skate #Chipmunk #Cuttlefish #Cephalopod #Frog #Toad #Elephant. Love #Flower, #Mushroom, #Lichen and #Tree pics.

I provide simple tools and ideas to manage knowledge, and illustrate with a journal application.

hpub: 971541b471edb51a12abf8ac64fab7542349bd4e8ab3a74fb99e11840bdf6dc7

PhD student in logic. I’m interested in: LL, DiLL, denotational semantics, category theory, type theory, functional analysis, differential geometry, cooking, homotopy theory, board games and choice axioms.

Currently working on understanding differentiation from a logical perspective.

I post in French and English

I teach maths and computing at university in the UK — including modelling, combinatorics, game theory, history, programming — and research university-level mathematics education practice. And I play maths with my son.

Editor, The Mathematical Gazette. Involved @aperiodical blog, Mathematical Objects podcast, and do various other things.

I'm part of the Finite Group. Join us!

#academia #highered #math #maths #mathematics #education #university

Combinatorist (esp. graph theorist) turned Data Scientist

Good at computer, kind to animals 🏳️‍🌈🏳️‍⚧️

Personal account, opinions mine. Follow requests welcome.

#nobot

Software architect, quantum computing nomad, open source maintainer, Microsoft MVP. Working in R&D in the medical industry. Interested in quantum foundations.
Author of “Introduction to Quantum Computing with Q# and QDK” (Springer). Maple Leafs fan 💙

Grad student at Oxford, Research Software Engineer at the Topos Institute.

Currently working on the programming language side of systems theory.

Trump is a fascist, fascists are bad.

Masters student in Mathematics, Vegan, Free Software Activist, and GNU Guix user. I'm Brazilian btw.

Mathematician, at Google, keeping the web working. He/Him.

Trying to bridge to @Log3overLog2.mathstodon.xyz.ap.brid.gy
but not sure it's working...

mathematics, computers, music (he/him)

#Mathematics Postdoctoral Fellow at UC San Diego

laying foundations for the future of programming @ hazel.org / Assistant Professor @ Michigan CSE / poetry / dendrites / immersion / waves