Is Rust an efficient compiler? (Rust vs. Zig)
Your browser isn’t supported anymore. Update it to get the best YouTube experience and our latest features. Learn more... (more…)
Read more »Creusot: A deductive verifier for Rust code
Creusot helps you prove your code is correct in an automated fashion. – creusot-rs/creusot… Read more
Similar
5 tips for writing small CLI tools in Rust
Rust is a great language to write small command line tools in. While it gives you some tools for common tasks, allows nice abstractions, it also has a type system and approach to API design that lead you to write robust code. Let me show you some techniqu... (more…)
Read more »My First Month of Rust
A month ago I have started learning Rust and would like to share my impressions, the good things I have appreciated, and the things I have struggled with. Why Rust, do you ask? Primarily to challenge myself, to leave the land of managed runtimes… (more…)
Read more »Improvements to Goose (A Locust-inspired load testing tool in Rust)
In our blog, we’ve previously had a Tag1 Team Talk about Goose, by Tag1 CEO Jeremy Andrews. Goose is a Locust-inspired load testing tool In Rust. Goose has been effective in helping Tag1 support its clients by ensuring their websites hold up under stress. (more…)
Read more »A macro for defining type operators in Rust
A macro for defining type operators in Rust. Contribute to sdleffler/type-operators-rs development by creating an account on GitHub. (more…)
Read more »The latest Rust news to your inbox. Once a month.
No spam and it’s easy to unsubscribe.