Skip to main content

Instance directory: mathstodon.xyz

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.

Triathlete. Bikepacker. PhD. Engineering manager. I cast magic spells to make computers work and I constantly fail the Turing test. Unflappable.

I do ecological models using Bayesian statistics.
I like computers and put maths on them. All life forms fill my heart.

"For still there are so many things
that I have never seen:
in every wood in every spring
there is a different green."
JRRT

PhD student in algorithmic game theory at the University of Passau

Is a neural net with only one node in only one hidden layer still a "net"?

Theoretical physicist ⚛️ | R&D Simulations and decision intelligence 🤖

Trying to understand nature, in the meanwhile making visualizations of math and physics concepts.
https://westy31.nl/

(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: https://stax.strath.ac.uk/concern/theses/tt44pn44w. Website: https://lamudri.github.io/.

#ComputerVision, #Fractals, #Geometry, #ArtificialLife, #ArtificialChemistry, Ready (#ReactionDiffusion), Golly (#CellularAutomata). He/him.

If it doesn't work for everyone it doesn't work at all.

Avatar is a photo of a middle-aged human with short hair and facial hair, wearing a blue t-shirt.

Banner image is a computer rendering of the truncated octahedral honeycomb, with the focus on a bridge connecting two sides.

Profile text describes the images and itself.