In my spare time I’m a volunteer with my state’s emergency services and we have our own web app for managing unit-specific things like attendance, vehicle checks, newsletters, on-call rosters, and so on.
It’s actually a really useful tool, but there is on... (more…)
Read more »
Join us at the next Rust monthly meetup - https://www.meetup.com/rust-akl Web Assembly (WASM) is a binary instruction format for a stack-based virtual machin... (more…)
Read more »
Learn how to serialize your IoT data using CBOR on embedded C an Rust. (more…)
Read more »
We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)
Read more »
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project. (more…)
Read more »