We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)

❤️ 🦀 ❤️ 100,000 issues filled with love, compassion and a wholesome community. Thank you, Rust community, for being one of the most, if not straight out the most, welcoming programming communities ... (more…)

Rust has amazing support for concurrency programming. Today I will cover Mutex, Rc, RefCell, Channels, and Threads. I might make a second po... (more…)

PartiQL libraries and tools in Rust. Contribute to partiql/partiql-lang-rust development by creating an account on GitHub. (more…)

When I see the landscape of native GUI in 2022, I feel like something is missing. (more…)