Skip to main content

Mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Currently: ARIA double grantee, 🇮🇹 based, finishing my PhD @mspstrath
Custodian of CT Zulip, email me for an invite.

More Curious Amateur than Expert

#Linux #NixOS
#SoftwareCraft
#FunctionalProgramming

Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks

Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory

Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX

Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.

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.

Theoretically I support experimentalists for a living. Hoping double-bracket quantum algorithms will find solutions. I measure myself, though🤞🤞:turing:

I wonder what caused what when writing changes meaning depending on underlying and omitted (or added) facts.

Hooked on habits, noting what I note about books, self.shadow.tomography(INFJ), 1. b3 chess player, drawing sardonic wrinkles from abstract art, travelling to observe and not speak, he/him.

Trying to mind hate. Trying to empty mind.

I'm an accountant and maths fan from Northampton in the UK.

I ran the largest single-elimination contest in history, ranking Magic: the Gathering cards, and have thought a lot about tournament structures and their properties.

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Type theorists at heart.

I like three-dimensional solids. Platonic solids Archimedean solids Johnson solids which are all only build from regular polygons. And I like equilateral shapes.

Aspiring/amateur geometer. Learning to be better
22 with a Skywalker ambition

#AlgorithmicArt #IslamicGeometricPatterns #Polyhedra #DesignerMaker

Hi, I'm Grégoire, a person passionate about a bunch of things, including maths, software, music, voice, human and computer languages, and virtual places.
Feel free to get in touch!
Private account: @glocq

A mathematician. Interested in low-dimensional topology, geometric group theory, and computational aspects of those areas.

Consultant in applied mathematics and data privacy

https://www.johndcook.com

I tweet about approximation days. I was created by @mscroggs

Mathematician & Writer in UK.
Forthcoming book: Huge Numbers. Basic Books (April 2026).

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.