Crates.io Ecosystem Not Ready for Embedded Rust

As both Tock and the Rust ecosystem grow, we have been looking into using community-provided crates on crates.io to allow us to add features to Tock. For example, we are exploring using the hmac crate to support one of the networking protocols we are addi… Read more

Read full article

Similar

Souundness bugs in Rust libraries: can’t live with ’em, can’t live without ’em

API documentation for the Rust `_03__soundness_bugs` macro in crate `dtolnay`. (more…)

Funding of GCC Front-End for Rust

Open Source Security, Inc is proud to announce its funding of a full-time and public development effort of a GCC front-end for Rust. In this blog post, we'll detail the motivations for our involvement and the benefits the public will reap as a result of ... (more…)

RFC: Improving compile time of Rust project

RFC 001: Hyperswitch compile time optimization I. Objective Optimizing the compile time of Hyperswitch while preserving (and/or improving) the runtime performance. This would ensure accessibility a... (more…)

Synthesizing Loop-Free Programs with Rust and Z3

This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript. (more…)

Writing Ruby Gems with Rust and Helix

Learn how to write faster Ruby gems with Rust and Helix. (more…)

Latest News

Flexible Node.js AI-assisted crawler library

The “it” in AI models is the dataset

Reid Hoffman meets his AI twin [video]