The Expression Problem in Rust

Eli Bendersky’s website is fantastic and you should read it. In one
series of posts he discusses the expression problem: a
software design problem where in some languages it is easy to add new data types
and in others it is easy to add new operations on d… Read more

Read full article

Similar

Rusty Chains: A Basic Blockchain Implementation Written in Pure Rust

A hands-on tutorial on blockchain basics, taxonomy and Rust. (more…)

Build your own block_on() in async Rust

If you’ve ever wondered how block_on from the futures crate works, today we are going to write our own version of the function. (more…)

Rust-Elisp

Mini lisp a like scheme in Rust. Contribute to hidekuno/rust-elisp development by creating an account on GitHub. (more…)

Using WebAssembly threads from C, C++ and Rust

Learn how to bring multithreaded applications written in other languages to WebAssembly. (more…)

Coq-of-rust: Formal verification tool for Rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 - formal-land/coq-of-rust... (more…)

Latest News

Google’s best practices document for designing AI products

MemPalace – Local-first AI memory

The AI Guy [Google_made_an_Ooopsie]