41554 blogs · [ { "id": "01a087ba-75da-71f5-bfb8-896ac6e00f6c", "title": "Coherence and orphan instance rules", "url": "http://osa1.net/posts/2026-08-29-coherence-and-orphans.html", "published_at": "2026-08-29T00:00:00+00:00" }, { "id": "01a087ba-75dc-73e6-b78e-62a26c57d19b", "title": "Unification and impl search", "url": "http://osa1.net/posts/2026-07-31-impl-search-unification.html", "published_at": "2026-07-31T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa06ec4db9f", "title": "Macros in Fir", "url": "http://osa1.net/posts/2026-05-12-fir-macros.html", "published_at": "2026-05-12T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa06f6432d0", "title": "Languages should have opinionated interop features", "url": "http://osa1.net/posts/2026-05-10-interop-features.html", "published_at": "2026-05-10T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa0700b4fd7", "title": "A text editor I worked on in 2021-2023", "url": "http://osa1.net/posts/2026-05-07-my-text-editor.html", "published_at": "2026-05-07T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa070dff7d0", "title": "Fir now compiles to C (+ extensible named types, associated types, modules, and more)", "url": "http://osa1.net/posts/2026-04-15-fir-devlog.html", "published_at": "2026-04-15T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa071af7dda", "title": "Exceptions as shared secrets, demonstrated", "url": "http://osa1.net/posts/2026-03-13-exceptions-as-shared-secrets.html", "published_at": "2026-03-13T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa072988d19", "title": "Containing contagious types with OCaml modules", "url": "http://osa1.net/posts/2026-03-10-containing-contagious-types.html", "published_at": "2026-03-10T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa072b362d4", "title": "Extensible named types in Fir", "url": "http://osa1.net/posts/2026-03-07-extensible-named-types-fir.html", "published_at": "2026-03-07T00:00:00+00:00" }, { "id": "01a087ba-75dd-71cc-a773-7fa072dc5d71", "title": "How Fir formats comments", "url": "http://osa1.net/posts/2025-09-27-fir-formatter.html", "published_at": "2025-09-27T00:00:00+00:00" } ] posts Claim your blog

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