Skip to main content

I'm a former potter with a maths background, and currently work with data at a rural education NGO in South Africa.

Mathematician and design enthusiast. Computing, music, science, video games and art. Queer.

💻 software dev 🦀 rust ¶ Digital typesetting 合 Aikidō 🇯🇵 DE/EN/EO/JP 𓕚 Don Knuth fanboy

On this account, I post stuff related to my private life. #CS, #rustlang, #FOSS, #PQC, #Salzburg, #Austria, #Europe, #aikido, #Esperanto, #japanese.

For #digitalTypesetting, follow @tajpulo

Prof of Data Sciences at ENSAE (IPP), Paris; Bayesian computation, Sequential Monte Carlo and stuff

PhD in math from the University of Oklahoma in Norman. beginning spring 2026, postdoc at Instituto de Matemáticas, Universidad Nacional Autónoma de México, in Mexico City.

mathematical interests include cluster algebras, skein algebras, and other things at the intersection of algebraic geometry, low-dimensional topology, and combinatorics.

non-mathematical interests include music, film, fiction, and veg*n recipes.

I record experimental/drone/noise music under the name whistling kitty.

Assistant professor in Computer Science at the Open Universiteit. He/Him

Systems programmer, parent, volunteer Math Circle leader and general math enthusiast. Team puzzles and #geometry Honorary Lord Semichord

@benjamin_leis back on twitter
Located in Seattle, WA
blog.mathoffthegrid.com

Cambridge logician, idling in retirement.

Interests: FP, PLT, CAS, MathLogic, Set Theory, Cat. Theory, DiffGeometry, QG, AdS/CFT, BH Thermodynamics and cat owner

Math teacher, instructional coach, author (Painless Statistics), columnist (Quanta Magazine).

Husband, father, associate professor at Dartmouth College. Computer graphics/rendering/light transport simulation geek.

Mathematician at Imperial College in London. Interested in number theory and theorem provers.

category theorist, working mathematician

Quantum is an #OpenAccess peer-reviewed journal for #quantum science and related fields.

Quantum is #NonProfit and community-run: an effort by #researchers and for researchers to make #science more open and #publishing more transparent and efficient.

This is mostly a #bot account sharing new published papers and editorials. Occasionally humans may post here.

I write about #computing, #mathematics, #philosophy, and random things I'm interested in. I'm a #privacy nut and rarely post anything personal. I retoot a lot.📯

Founder PersonalData.IO, Hestia{Labs,.ai}, polytropon thinking about maths, data, science, ethics, collective intelligence and cognition.

https://hestia.ai/about-us/about-paul-olivier-dehaye

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.