Free as in speech, free as in functor.

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.

I invented the decomposition into weight × level + jump, an extension to the fundamental theorem of arithmetic and a new way to see the numbers. #decompwlj

Prof de maths. Je rouspouette à propos de politique, luttes, syndicalisme.

Parfois je parle aussi de mathématiques, d'éducation, et de parentalité.

I randomly (re)toot in English too, about politics, maths and parenting mostly.

Why do it by hand if you can code it in just quadruple the time?
he/him

Hiya! I'm Ryn. I hope to start my Logic PhD in 2026, after completing my masters in non-distributive modal logic a few years ago. Currently working on my physical health, as I am not in a place physically to begin my PhD studies, unfortunately.

(#EDS) | #OCD | #ModalLogic | #Logic | #NDML | #emacs | #orgmode

Software Engineer, Professional Open-Sourcerer, interested in creating Music, Games and other Media

A TCS blog aggregator bot, fetched directly from https://theory.report/.

Mathematics, game development, art, roguelikes, hyperbolic geometry. Sometimes all at once.

Applied Mathematician (PhD, 2015) for the most part. Research and consulting now after foray into R&D, Data Science in the industry.

Into a mix of topics centered around, but not restricted to, RandNLA, Graph Theory and Geometry.

Love hills and lakes. I'm frequently in Edinburgh or running in the belly of the Scottish Seahorse. Else, I'm usually in France near the Alps.

Trying mastodon. Don't know many people here. Feel free to say hi.

See pinned post for more details and credits.

Mainly talking about Mathematics and Computer Science. Right now, trying to learn Type Theory, both from a theoretical and practical perspective.

Cryptographer, number theorist, musician. www.martindale.info

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

The writer with the mathematical muse. Sharing words on overcoming math anxiety & fostering math confidence. Join me in embracing the beauty of mathematics.

Researching and Developing decentralised social networks using semantic web technologies and category theory based libraries in Scala(-JS).

Technologische thematiek (data, digitale infrastructuur, "AI", decentrale en open technologie) beschouwd in relatie tot onderwijs / maatschappij (zelfbeschikking, veiligheid, gelijkheid, sociale relaties).

Tomohiro Tachi Group, University of Tokyo. We study form and function through computation.
東京大学 舘知宏研究室。広域システム科学系／建築学専攻。工作、ファブ、計算、幾何学を通して、かたちと機能を研究しています。

hyperbolic