41554 blogs · [ { "id": "01a087ab-c5a2-7248-bdc8-7d22a3cc8a88", "title": "A Vision for a Rust Formal Specification", "url": "https://nadrieril.github.io/blog/2026/06/16/formal-spec-vision.html", "published_at": "2026-06-16T14:29:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a46cf2b9", "title": "Capabilities using Plain Traits", "url": "https://nadrieril.github.io/blog/2026/06/07/capabilities-with-plain-traits.html", "published_at": "2026-06-07T17:37:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a53433f8", "title": "When can Traits Depend on Themselves?", "url": "https://nadrieril.github.io/blog/2026/05/14/when-can-traits-depend-on-themselves.html", "published_at": "2026-05-14T22:26:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a5e2d620", "title": "What If Traits Carried Values", "url": "https://nadrieril.github.io/blog/2026/03/22/what-if-traits-carried-values.html", "published_at": "2026-03-22T06:30:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a6d63c9c", "title": "Equality in Dependent Type Theories", "url": "https://nadrieril.github.io/blog/2026/03/20/dependent-equality.html", "published_at": "2026-03-20T05:39:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a7702c22", "title": "Elaborating Rust Traits to Explicit Trait Proofs", "url": "https://nadrieril.github.io/blog/2026/03/20/dictionary-passing-style.html", "published_at": "2026-03-20T04:53:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a7a758f1", "title": "The Algebra of Loans in Rust", "url": "https://nadrieril.github.io/blog/2025/12/21/the-algebra-of-loans-in-rust.html", "published_at": "2025-12-21T01:49:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a8965cc5", "title": "Specifying Rust via Desugarings", "url": "https://nadrieril.github.io/blog/2025/12/18/specifying-rust-via-desugarings.html", "published_at": "2025-12-18T20:48:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a8edafc8", "title": "Autoref and Autoderef for First-Class Smart Pointers", "url": "https://nadrieril.github.io/blog/2025/12/18/autoref-and-autoderef-for-first-class-smart-pointers.html", "published_at": "2025-12-18T01:18:00+00:00" }, { "id": "01a087ab-c5a2-7248-bdc8-7d22a8f9e438", "title": "Postfix Macros and `let place`", "url": "https://nadrieril.github.io/blog/2025/12/09/postfix-macros-and-let-place.html", "published_at": "2025-12-09T21:46:00+00:00" } ] posts Claim your blog

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