RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code (microsoft.com)

Screenshot of microsoft.com: RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

First screen, captured 1 year ago.

Looks similar

Screenshot of bd103.dev: C for Rust programmers

C for Rust programmers (bd103.dev)

154 points by xyproto 18 days ago | 161 comments

A blog post by a programmer who learned Rust first, listing surprising details and quirks of C for Rust programmers learning the language.

c rust systems-programming language-quirks

Screenshot of bosun.ai: Comparing our Rust-based indexing and querying pipeline to Langchain

Comparing our Rust-based indexing and querying pipeline to Langchain (bosun.ai)

91 points by tinco 2 years ago | 47 comments

Screenshot of blog.rust-lang.org: Rust-lang/rust is adopting an LLM policy

Rust-lang/rust is adopting an LLM policy (blog.rust-lang.org)

54 points by afdbcreid 2 months ago | 32 comments

Screenshot of home.expurple.me: Why Use Structured Errors in Rust Applications?

Why Use Structured Errors in Rust Applications?(home.expurple.me)

68 points by todsacerdoti 1 year ago | 39 comments

Screenshot of arxiv.org: Kani: A Model Checker for Rust

Kani: A Model Checker for Rust (arxiv.org)

152 points by Jimmc414 3 months ago | 9 comments

Screenshot of lwn.net: Compiling Rust to readable C with Eurydice

Compiling Rust to readable C with Eurydice (lwn.net)

127 points by peter_d_sherman 16 days ago | 37 comments

LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.

rust c eurydice compilers

Looks similar

C for Rust programmers(bd103.dev)

Comparing our Rust-based indexing and querying pipeline to Langchain(bosun.ai)

Rust-lang/rust is adopting an LLM policy(blog.rust-lang.org)