41554 blogs · [ { "id": "01a08c59-f684-70aa-a408-5d4d8cee1875", "title": "The Magic is People", "url": "https://typesafety.net/rob/blog/lean-magic", "published_at": "2025-09-29T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d8daf6fb8", "title": "Finite-choice logic programming @ POPL", "url": "https://typesafety.net/rob/blog/fclp-at-popl", "published_at": "2025-01-24T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d8e184b41", "title": "Advent of Dusa, 2024 Edition", "url": "https://typesafety.net/rob/blog/advent-of-dusa-2024", "published_at": "2024-12-01T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d8f16e250", "title": "Writing a pretty good paper in sixteen years if you're me", "url": "https://typesafety.net/rob/blog/writing-a-paper-if-youre-me", "published_at": "2024-11-25T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d8f8c715b", "title": "LaTeX notes with ACM style", "url": "https://typesafety.net/rob/blog/acmart-for-notes", "published_at": "2024-05-29T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d8fe173e7", "title": "The next 700 tiny web-based text editors", "url": "https://typesafety.net/rob/blog/endless-sketchzone", "published_at": "2024-05-14T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d90b6f9ba", "title": "We still don't know what “API” means. That's okay!", "url": "https://typesafety.net/rob/blog/api-is-still-strange", "published_at": "2024-03-22T00:00:00+00:00" }, { "id": "01a08c59-f684-70aa-a408-5d4d914969ef", "title": "What even is “API” - Part 1", "url": "https://typesafety.net/rob/blog/what-even-is-api-1", "published_at": "2019-01-29T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/typesafety.net/posts