Rust and the Three Laws of Informatics

What are the most important properties of programs, and how much do existing languages help? How is Rust different? Read more

Read full article

Similar

Rust vector guarantees

API documentation for the Rust `Vec` struct in crate `std`. (more…)

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…)

Rust Translation of Rus Cox’s Thompson NFA C Program

Translations of a simple C program to Rust. Contribute to BurntSushi/rsc-regexp development by creating an account on GitHub. (more…)

The Safety Boat: Kubernetes and Rust

Our team, DeisLabs, recently released a new piece of software called Krustlet, which is a tool for running WebAssembly modules on the popular, open-source container management tool called Kubernetes. Kubernetes is used quite extensively to run cloud softw... (more…)

Femtovg: Canvas2D Rendering API in Rust, based on nanovg

Antialiased 2D vector drawing library written in Rust - femtovg/femtovg... (more…)

Latest News

Glasgow Willy Wonka extravaganza turned into a worldwide farce thanks to AI [video]

Jax_sourceror: Turn jitted Jax functions back into Python source code

The Debate over “Understanding” in AI’s Large Language Models [video]