Our great sponsors
-
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.
-
Scout APM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
-
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.
-
SonarQube
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
-
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
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.
