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

effort + coffee = software

math. programming. fancy types. haskell.
https://6d03.info

Math professor in Heidelberg, Germany.
I like groups and geometric spaces, all things symmetry, coffee, art and chocolate.
(she/her)

MSc student in Mathematics at EPFL. BSc in Mathematics from UBC, graduated 2024. This blog obeys the (-, +, +, +) metric signature. Luddite. Politically left, and occasionally gauche.

Étudiant MSc de Mathématiques à EPFL. BSc de Mathématiques à UBC, diplômé 2024. Ce blogue obéit la signature métrique (-, +, +, +). Luddite. De la gauche, et parfois gauche.

ＥＰＦＬで数学の大学院生だ。２０２４年に卒業したＵＢＣで大学生だ。このブロッグは(-, +, +, +)符号数を使う。ラッダイトだ。訳しにくいフランス語の洒落を省いた。

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/.

Geometry, Physics, Art, Math.

https://scholar.google.com/citations?user=G0JsJQMAAAAJ

https://cmns.umd.edu/news-events/news/SvenGeiermeasurements-matter

Smith College, Computer Science & Mathematics. Emeritus.

Professor of Mathematics at the Technion - Israel Institute of Technology

Likes to shuffle bits. Developer of the Egel language, see https://egel-lang.github.io/

Working in IT (often highly numerical projects, consulting) for 20+ years - PhD in particle #physics in 2001 [Durham, UK], MPhys [Merton, #Oxford] 1994-8, Eton [MTP] 1989-94. Member of #IOP

Interested in mathematics (homotopy theory, category theory, topos theory), programming languages, and philosophy.

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.

Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.

Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts, memes, non-public posts, posts outside of CS/maths (rare)

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him

Associate professor of computer science at IIT Delhi. Computer graphics, numerical methods, bad jokes.

I was on Mastodon before it was cool. But it's nice to have all you cool people here now too.