InfoQ Homepage Rust Content on InfoQ
-
Rust 1.45 Fixes Cast Unsoundness and Stabilizes Support for Web Framework Rocket
Rust 1.45 includes a fix for a long-standing float cast issue potentially causing undefined behaviour and stabilizes features used by popular Web framework Rocket.
-
Rust Breaks into TIOBE Top 20 Most Popular Programming Languages
Developers’ love for Rust has translated into real-world adoption. On 6/2/2020, TIOBE reported that Rust broke into TIOBE index top 20 for the first time.
-
Deno Is Ready for Production
Deno, a secure runtime for JavaScript and TypeScript, has reached version 1.0. Written in Rust, Deno addresses many design problems in Node.js, but it also faces challenges in developer adoption.
-
Space-Efficient Full-Text Search with Rust and WebAssembly
Matthias Endler, backend engineer for Trivago, published a client-side full-text search engine designed for space efficiency by leveraging Bloom filters. Tinysearch is written in Rust, transpiled to WebAssembly, and used in the browser. Tinysearch claims sizes between 50 and 100KB and can only index full words.
-
Rust/WinRT Brings Microsoft Closer to Adopting Rust Internally
Now available in preview, Rust/WinRT is a language projection for the Windows Runtime that enables calling Windows APIs in a natural and idiomatic way, similarly to other language projections such as C++/WinRT.
-
Rewriting Dropbox Sync with Confidence Thanks to a Robust Test Strategy
Over the last few years, Dropbox engineers have rewritten their client-side sync engine from scratch. This would not have been possible had they not defined a clear testing strategy to allow them to build and ship the new engine through a quick release cycle, writes Dropbox engineer Isaac Goldberg.
-
Stork, a Rust/Wasm-Based Fast Full-Text Search for the JAMStack
James Little, developer at Stripe, released Stork (in beta), a Rust/WebAssembly full-text search application. Stork targets static and JAMStack sites and strives to provide sites’ users with excellent search speed.
-
ZetZ is a Formally Verified Dialect of C
ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your code by executing it symbolically at compile time in a virtual machine. InfoQ has spoken with ZZ creator and maintainer Avid Picciani.
-
Developer Surveys Survey: Including a Spotlight on Java Results
JRebel and Snyk have recently published their Java/JVM technology reports, and Codingame and Tiobe have published reports into language usage and adoption. InfoQ looks at the state of play of these reports, and what is happening in the Java and wider ecosystems today.
-
Rust Moving Towards an IDE-Friendly Compiler with Rust Analyzer
Rust Analyzer is an experimental IDE/latency-oriented Rust compiler. This is an emerging endeavour within the Rust ecosystem, which is aimed at improving the IDE experience with Rust.
-
BLAKE3 Is an Extremely Fast, Parallel Cryptographic Hash
BLAKE3 is the most recent evolution of the BLAKE cryptographic hash function. Created by Jack O'Connor, Jean-Philippe Aumasson, Samuel Neves, and Zooko Wilcox-O'Hearn, BLAKE3 combines general purpose cryptographic tree hash bao with BLAKE2 to provide a big performance improvement over SHA-1, SHA-2, SHA-3, and BLAKE2.
-
Can We Build Trustable Hardware? Andrew Huang at 36C3
Andrew “bunnie” Huang recently presented at 36C3 on ‘Open Source is Insufficient to Solve Trust Problems in Hardware’ with an accompanying blog post ‘Can We Build Trustable Hardware?’ His central point is that Time-of-Check to Time-of-Use is very different for hardware versus software, and so open source is less helpful in mitigating the array of potential attacks in the threat model.
-
Oxide Computer Company Launch
Jessie Frazelle, Bryan Cantrill and Steve Tuck have announced the launch of Oxide Computer Company to deliver ‘hyperscaler infrastructure for the rest of us’. The company aims to tackle the ‘infrastructure privilege’ presently enjoyed by hyperscale operators by developing ‘software to manage a full rack from first principles’, including platform firmware.
-
Microsoft Exploring Rust as the Solution for Safe Software
Microsoft has been recently experimenting with Rust to improve the safety of their software. In a talk at RustFest Barcelona, Microsoft engineers Ryan Levick and Sebastian Fernandez explained the challenges they faced in using Rust at Microsoft. Part of Microsoft's journey with Rust included rewriting a low-level Windows component, as Adam Burch explained.
-
Rust Gets Zero-Cost Async/Await Support in Rust 1.39
After getting support for futures in version 1.36, Rust has finally stabilized async/.await in version 1.39. As Rust core team member Niko Matsakis explains, contrary to other languages, async/.await is a zero-cost abstraction in Rust.