…though it’s not the flagship borrow checking that’s at fault. What I
noticed, and would like to share with you today, is that the exhaustiveness
checking performed by the Rust compiler on match patterns is a superset of the
SAT problem. Read more
Similar
During the last 20 years I have used a number of garbage collected and reference... (more…)
Read more »
Write bare-metal program for MCU (STM32F103) in pure Rust without SDK, IDE, LIB, ASM or C. - GitHub - hemashushu/practice-mcu-bare-metal-rust: Write bare-metal program for MCU (STM32F103) in pure R... (more…)
Read more »
Maybe this will be a blog about programming in C, C++ and Rust. Or maybe it will be a desolate wasteland of infrequent posts and spam bot comments.
(more…)
Read more »
This post is part of a series in which I describe my contributions to the IntelliJ Rust plugin. (more…)
Read more »
When the Prusti Assistant extension is active, Rust files can be verified in one of the following ways: (more…)
Read more »