Rust’s Type System Is Turing-Complete: Type-Level Programming in Rust – Full-Stack Feed

Rust’s Type System Is Turing-Complete: Type-Level Programming in Rust

(N.B. The world “fuck” appears multiple times in this post. I recommend that… Read more

Read full article

Similar

An open-source browser engine written in Rust

The Servo Browser Engine. Contribute to servo/servo development by creating an account on GitHub. (more…)

Read more »

Rust’s trait system is a proof engine, let’s make it prove us an ABI [35min] [video]

🔔 FOLLOW RUSTLAB CHANNEL 🔔ABSTRACT:Frustrated that `const generics` can't do math yet? Want to make some structure change layout based on the size of its ... (more…)

Read more »

Rust Design-for-Testability: A Survey

What can we do when designing Rust code to make it easier to test? (more…)

Read more »

Ocy – cleaner for all sorts of build files written in Rust

Ocy project cleaner. Contribute to alexd6631/ocy development by creating an account on GitHub. (more…)

Read more »

Secure Rust Guidelines

Recommendations for secure applications development with Rust... (more…)

Read more »