Toot
Shared by Andrej Bauer on 2025-01-23 at 09:45 (original by Jesper Agdakx 🔸)
=> More informations about this toot | Original toot | View the thread | More toots from andrejbauer@mathstodon.xyz | More toots from jesper@agda.club
Mentions
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113877026843146625
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 248.615146 milliseconds
- Gemini-to-HTML Time
- 0.340743 milliseconds
This content has been proxied by September (ba2dc).