Mathstodon
mathstodon.xyz
Actively hiring
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
News
Terence Tao (@[email protected])
Attached: 1 imageI decided to convert one of the points in my ICM 2026 slides https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf into a meme format.
Read more
Report
Ingo Blechschmidt (@[email protected])
So. For the past few days I've been deep in a fun and very rewarding, but also extremely scary debugging saga. To cut a long git-bisecting story short:Since Linux 6.9 (May 2024), the tool that locks the laptop's drive on suspend had been silently failing.
Read more
Report
Jon Sterling (@[email protected])
Sending my best wishes for the future to the team behind Mikan.I don't necessarily agree with every single choice made here, but I find that their approach is based on a love for Agda and respect for its users.I am very sad that this kind of quality-contr
Read more
Report
John Carlos Baez (@[email protected])
Someone read the article about me in Quanta and asked me to submit an article to this year's UN Human Development Report, which will be about climate change. Now I have a draft. It may or may not get accepted, but I learned a lot from writing it. Here's t
Read more
Report
Terence Tao (@[email protected])
The current and projected impact of AI and formalization on the practice of mathematics is analogous to the impact that the automobile had on the evolution of cities. Before the introduction of the automobile, city streets were narrow and optimized for hu
Read more
Report
Pro access
Upgrade to see all 31 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.