41554 blogs · [ { "id": "01a0d538-6abf-71ab-a5bc-467ca2f90bd9", "title": "Trying New Stuff", "url": "https://anna-maths.xyz/posts/2026-09-14-trying-things.html", "published_at": "2026-09-14T17:39:00+00:00" }, { "id": "01a0872b-26d7-7045-b6d6-c0d402e698ea", "title": "Pi Day", "url": "https://anna-maths.xyz/posts/2026-03-14-pi-day.html", "published_at": "2026-03-14T16:45:00+00:00" }, { "id": "01a0872b-26d7-7045-b6d6-c0d4023bf9f9", "title": "Formalising Domain Theory with Lean", "url": "https://anna-maths.xyz/posts/2025-10-09-domain-theory-and-lean.html", "published_at": "2025-10-09T15:45:00+00:00" }, { "id": "01a0872b-26d7-7045-b6d6-c0d4019edc7d", "title": "Ten Pointless Facts About Me", "url": "https://anna-maths.xyz/posts/2025-05-06-ten-questions.html", "published_at": "2025-05-05T23:00:00+00:00" }, { "id": "01a0872b-26d7-7045-b6d6-c0d4010187ec", "title": "Pi Day", "url": "https://anna-maths.xyz/posts/2025-03-14-pi-day.html", "published_at": "2025-03-14T15:45:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/anna-maths.xyz/posts

anna-maths.xyz

2026

Trying New Stuff original ↗

14 Sept 2026

Pi Day original ↗

14 Mar 2026

2025

Formalising Domain Theory with Lean original ↗

9 Oct 2025

Ten Pointless Facts About Me original ↗

5 May 2025

Pi Day original ↗

14 Mar 2025