41554 blogs · [ { "id": "01a0d934-158b-72bc-b0e7-6e399b3a13e7", "title": "An open letter on the future of the university", "url": "https://josephtoobysmith.com/academia/2026/09/25/Open-letter-future-of-the-university.html", "published_at": "2026-09-25T00:00:00+00:00" }, { "id": "01a0bb44-3ce0-72fb-914c-9da8ef19a602", "title": "Warrants, dinosaur bones, and resolving conjectures with AI", "url": "https://josephtoobysmith.com/math/2026/09/18/Warrants-dinosaur-bones-AI.html", "published_at": "2026-09-18T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dcc8bc727", "title": "AI-safe tasks", "url": "https://josephtoobysmith.com/cs/2026/06/24/AI-safe-task.html", "published_at": "2026-06-24T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dccfcc17f", "title": "An idea: Maintained and unmaintained files", "url": "https://josephtoobysmith.com/cs/2026/06/05/Unmaintained-files.html", "published_at": "2026-06-05T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dcd634ab5", "title": "Contributions to open-source projects", "url": "https://josephtoobysmith.com/cs/2026/05/26/Contributions-to-opensource.html", "published_at": "2026-05-26T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dcdd9d4e7", "title": "A message to AI companies", "url": "https://josephtoobysmith.com/cs/2026/04/29/AI-companies.html", "published_at": "2026-04-29T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dceb46fa7", "title": "Physics, AI and Lean", "url": "https://josephtoobysmith.com/cs/2026/02/27/Physics-AI-Lean.html", "published_at": "2026-02-27T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dced5d933", "title": "A future without physics papers?", "url": "https://josephtoobysmith.com/cs/2026/02/11/Future-without-physics-papers.html", "published_at": "2026-02-11T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dcf8dae88", "title": "Citations and AI", "url": "https://josephtoobysmith.com/cs/2026/01/05/Citations-and-AI.html", "published_at": "2026-01-05T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dd07008b6", "title": "Good Lean code for Physics", "url": "https://josephtoobysmith.com/cs/2026/01/05/Good-Lean-Code.html", "published_at": "2026-01-05T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dd146a8b2", "title": "Axiomization vs Formalization", "url": "https://josephtoobysmith.com/cs/2025/12/23/Axiomization.html", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a08790-d8f5-73fa-b118-806dd1f4de7c", "title": "Datastructures and physics", "url": "https://josephtoobysmith.com/cs/2025/12/15/Datastructures.html", "published_at": "2025-12-15T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/josephtoobysmith.com/posts