Pinned Loading

1. sk4rd/jari sk4rd/jari Public

   Rust 6 1

2. Mesh-P2P/Mesh Mesh-P2P/Mesh Public

   A P2P standard based on the fact that your contacts likely share at least some of yours

3. Konemo Konemo Public

   A conlang inspired by Korean and Latin, made to be organic, with a simple script.

4. Mesh-P2P/mesh-rs Mesh-P2P/mesh-rs Public

   The official Mesh implementation

   Rust 1

5. tolik518/factorion-bot tolik518/factorion-bot Public

   A bot, written in rust, calculation lage factorials and replying to comments, with the solution

   Rust 23 4

6. A Unified Typesystem: Partial, Varia... A Unified Typesystem: Partial, Variant, Borrowed Types and more

   1

   # A Unified Typesystem: Partial, Variant, Borrowed Types and more

   2

   Recently I stumbled over the blog post [The Inconceivable Types of Rust](https://blog.polybdenum.com/2024/06/07/the-inconceivable-types-of-rust-how-to-make-self-borrows-safe.html).

   3

   4

   It stuck with me, the ideas were great, but felt unpolished, so I thought about it and I want to share those thoughts with you.

   5

   In this post I aim to outline what these concepts are and their applications, what syntax I feel fits well, and broadly how one might design a type checker for this.