41554 blogs · [ { "id": "01a087aa-f561-7103-9a9c-81be36a764bf", "title": "Geometric Type Theory, Done Two Ways", "url": "https://mvr.github.io/posts/geometric-type-theory.html", "published_at": "2026-06-16T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be36f5ba9a", "title": "Constraining the Period of Officers", "url": "https://mvr.github.io/posts/officers-sat.html", "published_at": "2026-03-23T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be372832f2", "title": "No‑Three‑In‑Line, Dumber", "url": "https://mvr.github.io/posts/no-three-in-line-dumber.html", "published_at": "2026-03-15T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be38192ab6", "title": "What Makes Tametsi So Satisfying?", "url": "https://mvr.github.io/posts/tametsi.html", "published_at": "2026-01-19T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be385cc524", "title": "All 23-Bit Still Lifes Are Glider Constructible", "url": "https://mvr.github.io/posts/xs23.html", "published_at": "2025-12-27T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be3888835e", "title": "No‑Three‑In‑Line, Quicker", "url": "https://mvr.github.io/posts/no-three-in-line-quicker.html", "published_at": "2025-09-30T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be394642a2", "title": "No‑Three‑In‑Line", "url": "https://mvr.github.io/posts/no-three-in-line.html", "published_at": "2025-09-01T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be39dac784", "title": "Linear/Nonlinear Logic and Linear Algebra", "url": "https://mvr.github.io/posts/lnl.html", "published_at": "2025-05-29T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be3a52f1d7", "title": "Movie Night", "url": "https://mvr.github.io/posts/movie-night.html", "published_at": "2025-05-15T00:00:00+00:00" }, { "id": "01a087aa-f561-7103-9a9c-81be3a92ab4b", "title": "The Cars In My Backyard", "url": "https://mvr.github.io/posts/cars-in-my-backyard.html", "published_at": "2025-04-21T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/mvr.github.io/posts