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.

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman.

Big nerd. he/him

Logician, historian and philosopher of logic, mathematics, and computability

Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

Mathematician, programmer, musician, designer, Canadian, dad, etc, living in #yeg

Cofounder and Chief Science Officer at Nervous System. Interested in geometry processing, complex systems, GPGPU, natural simulations, and digital fabrication. Also jigsaw puzzles, ultimate frisbee, and hiking

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

Numbas is an online assessment system designed for mathematical subjects.

Developed by mathematicians at Newcastle University, Numbas is free to use and open-source.

I like to learn and popularize higher maths. I'm not a pro, but I can stomach corrections!