#rust

Reinhardt is a Rust web framework that uses a single component DSL to compile to both WASM for client-side and server-rendered HTML. It includes Django-style features like an ORM with auto-generated migrations, authentication, admin interface, and REST capabilities. The framework aims to eliminate separate frontend codebases and duplicated types across client/server boundaries.

Firefox has begun bundling Brave's adblock-rust engine, which is a high-performance content-blocking library written in Rust. This integration enhances Firefox's built-in content blocking capabilities while maintaining compatibility with existing filter lists.

A new tool built in Rust allows users to view frame-by-frame previews of MPEG videos and PDF documents. The web-based interface provides detailed preview capabilities for these file formats. The project is showcased on Hacker News as a technical demonstration.

This website teaches Rust by guiding readers through implementing several types of linked lists, from basic to advanced, helping them understand ownership, borrowing, and unsafe code.

Rusty-Browser is an open-source autoscaling AI browser agent written in Rust that handles scaling and proxy management. It supports multiple cloud providers and can scale up to thousands of browsers for web automation tasks while automatically scaling down when demand decreases.

The paper presents Pure Borrow, a system that integrates linear types from Linear Haskell with Rust-style borrowing mechanisms. This approach enables safe resource management while maintaining functional programming purity and preventing data races.

Researchers have formally verified the Signal protocol and its Rust implementation using the Lean theorem prover. This verification ensures the protocol's security properties are mathematically proven, including forward secrecy and post-compromise security. The work demonstrates the feasibility of verifying real-world cryptographic implementations.

Craton Shield is an embedded security library for Rust designed to fit within 256KB of flash memory. It provides zero-allocation security features for constrained embedded systems while maintaining safety and performance.

Perry is a TypeScript compiler written in Rust that targets nine different platforms. The tool aims to provide efficient compilation across multiple target environments.

Verus is a tool for verifying the correctness of Rust code through formal verification. It allows developers to write specifications and prove that their code meets those specifications. The tool integrates with Rust's type system to provide mathematical guarantees about program behavior.

Rusternetes is a complete reimplementation of Kubernetes from scratch using the Rust programming language. The project aims to rebuild the container orchestration system with Rust's safety and performance characteristics while maintaining compatibility with Kubernetes APIs.

Stet is a PostScript Level 3 interpreter and PDF toolkit written in pure Rust. It can render PS, EPS, and PDF files to various formats through a unified pipeline, with both CLI and library versions available under permissive licensing.

Seltz is a web search API built specifically for AI agents, featuring a custom crawler, index, and retrieval models written in Rust. The service aims for high efficiency with queries returning in under 200ms, and operates its own independent index rather than wrapping existing search engines.

Pgrust is an ambitious project to rebuild PostgreSQL in Rust using AI assistance. The initiative aims to leverage modern programming language features while maintaining compatibility with the original database system.

Openheim is an open-source LLM agent written in Rust that can be used as a CLI tool, REPL, or HTTP server. It provides a flexible interface for interacting with large language models through multiple access methods.

Alien is a Rust-based platform that enables developers to deploy and manage software in customers' self-hosted environments while retaining centralized control over updates, monitoring, and lifecycle management. It addresses challenges of paid self-hosting by allowing developers to operate software remotely while keeping customer data private and local.

Creusot 0.11.0 has been released, featuring the winning solution from VerifyThis 2025. The update includes improved verification capabilities and enhanced tooling for Rust program verification.

Researchers have developed Signal Shot, a tool that uses the Lean theorem prover to formally verify the Signal protocol and its Rust implementation. This verification ensures the cryptographic security of the messaging protocol used by billions of people worldwide.

This chapter introduces networking concepts in Bevy game development, covering how to implement multiplayer functionality and network communication in Rust games using the Bevy engine's networking capabilities.

Svelte-check-native is a faster alternative to the original svelte-check tool, built with Rust for improved performance. It provides the same functionality for type-checking Svelte projects but with significantly better speed.

A new command-line interface tool called Gramgraph has been created in Rust, implementing the Grammar of Graphics approach for data visualization. The tool allows users to create visualizations through a declarative syntax from the command line.

Rust adoption has stalled despite growing interest in memory-safe programming languages. The language faces challenges with developer onboarding and ecosystem maturity, though it remains popular for systems programming. Other memory-safe languages like Go and Python continue to see widespread adoption.

The article discusses the author's perspective as a Rust developer working with C++, highlighting both positive aspects like mature tooling and ecosystem, and negative aspects such as complex build systems and memory safety concerns.

NearlyFreeSpeech.NET rewrote their production C++ frontend infrastructure in Rust to improve performance, reliability, and maintainability. The transition addressed issues with C++'s complexity while maintaining compatibility with existing systems. The Rust implementation resulted in faster execution and reduced memory usage.

The article discusses integrating Rust with React applications, covering techniques for using WebAssembly to run Rust code in web browsers. It explores practical approaches for combining the performance benefits of Rust with React's component-based architecture.

The article presents a Rust implementation of binary search, discussing the algorithm's logic and code structure. It explains how the search efficiently locates elements in sorted arrays using iterative methods.

Rust is a systems programming language that emphasizes safety, speed, and concurrency. It prevents common programming errors through its ownership system and borrow checker while providing performance comparable to C++.

The article shares the author's personal rustfmt.toml configuration file for Rust code formatting. It explains specific formatting preferences and settings used to customize Rust's code style according to personal taste.

The article discusses implementing garbage collection in Rust without using unsafe code. It explores how to manage memory safely while maintaining performance, using Rust's ownership and borrowing system to create a garbage collector.

The article discusses implementing zero-copy pages in Rust, focusing on how Rust's lifetime system enables safe memory management without data copying. It explores techniques for avoiding unnecessary data duplication while maintaining memory safety through Rust's ownership and borrowing concepts.