Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
creusot
Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)
-
-
tarpaulin works on stable rust. https://crates.io/crates/cargo-llvm-cov currently makes use of nightly's -Z instrument-coverage (which tarpaulin will also utilize when it is stable).
Have you read https://nnethercote.github.io/perf-book/introduction.html? If it's missing something, worth opening an issue on its repo.
Would be great if this could include mutation testing.
One topic where I've seen a few blog posts but no good solutions is implementing a plugin mechanism. It would be interesting to see a compare/contrast of communicating over a socket vs using something wasm based like wasmer.
I just stumbled on a crate called chumsky. It's also a parser combinator, which seems to have good docs and has some fancy error messages in the readme. But I haven't used it yet.
I recently had an interesting exchange with Rust guru u/burntsushi about this on GitHub. He made an interesting point that I am still digesting about how the Rust community has its own de facto standard. My interpretation is, a significant chunk of the Rust community uses SemVer but with only two numbers instead of three by never achieving a 1.0 version. My personal view is that this is undesirable because it is strictly less descriptive. But whatever my preferences, it is a brute fact that a large number of crates haven't reached v1.0.
An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.
An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.
An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.
An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.