rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
Associated Professor of Physics at the University of Exeter.
Scientific visualizations (grouped under the hastag #PhysicsFactlet).
He/lui/on. All opinions are my own fault.
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.
I crunch numbers for a living.
Freelance data analyst. My business is Amethyst Raccoon. Based in Glossop, UK. I help your small business thrive using the power of your numbers. I enjoy walks in the countryside, reading, Terry Pratchett, card games, cooking, baking, & more. This account will be a blend of personal and professional.
Math-obsessed perpetual asker of why. Random task penguin. Life thoughts are often in haiku. (She/her).
Profile picture is a self portrait. Portrait with crows flying from head, with beach and self flying a Klein bottle kite. Beach has piano keys and ear has a möbius ring. Sky has roadway lines coming to a vanishing point with piano keys. Blues and grays.
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/
Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.
Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
I like categories, domains, and vintage computing.
Prof de maths, à fond dans la diffusion des maths pour toutes et tous !
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?
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.
Interested in math/CS/programming/physics #rstats Trying hard to learn category theory.
Mathematician and Computer Scientist, marauding as a physicist when needed.
The Twitter account formerly known as @mattecapu.
Expat 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Custodian of CT Zulip, email me for an invite.
Many interests, but foremost is stable distributions and direct detection of dark matter.
#Math interests:
• #Probability
• #Bayesian #statistics
• Stable distributions
• Application of above to #finance and project management
#Astrophysics & #Aerospace:
• #Space instrument systems engineering
• #Cosmology: detection of dark matter
• #Neutrino detection (SNAPPY #cubesat)
• Planet #Venus
• Optical design
Professeur de Mathématiques / Profesor de Matematicas. Celtibère. #maths #geogebra #mathart #profmaths #MTBoS #ITeachMath #MathEd #MathsEd #geogebra ambassador 2023-2024 (https://www.geogebra.org/u/jotab)
Interested in maths, genetics, archeology, prehistory, nordic languages, cooking, photography, etc
I'll try to post some serious stuff in English or both French and English, but casual chat will likely be in French. Can read Spanish, Italian, and some (very) simple German and Norwegian.
In my time, the mammoths were bigger.
"Dans cet étrange carnaval on a vendu l'Homo sapiens pour racheter du Néandertal"
Born at 327 ppm
I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley.
#mathematics
#computer_science #unicode #unix #linux #bsd
#compilers
#operating_systems
#GOF_AI (#good_old_fashioned_ai pre-2014)
#cognitive_science
#linguistics
#physics
Ex-springboard diver; scuba diver; free diver
Ars longa, vita brevis.
I opted in to be indexed and searchable by tootfinder
Code by conduct, math by training, music by passion.
