LobstersSep 28, 2026

Syncing Rust GCC backend or how to test Murphy's law

Related reading

Synthesizing Loop-Free Programs with Rust and Z3 (2020)fitzgen.com
Hacker News front pagefitzgen.com24dHN26
Why do common Rust packages depend on C code? (2023)stackexchange.com
Lobstersstackexchange.com13dHN2 lobste.rs7
Google Rewrites Critical C Dependencies to Rust Using AI and Differential Fuzzing infoq.com
Google successfully used Gemini AI and differential fuzzing to rewrite giflib, a critical C dependency, into memory-safe Rust. This process created an ABI-compatible drop-in replacement, preempted a zero-day vulnerability, and improved p99 tail latency by enabling the removal of process isolation sandboxes.
InfoQinfoq.comOlimpiu Pop8d3 minHN2
Rust to WGSL transpiler `wgsl-rs` released renderling.xyz
Lobstersrenderling.xyz5dHN31 lobste.rs19
Fearless Concurrency on the GPU arxiv.org
arXiv cs.PL (Programming Languages)arxiv.org15dHN1
Migrating the GitHub Copilot runtime to Rust, using Copilot github.blog
The Copilot agent runtime was rewritten from a 130‑k‑line TypeScript/Node.js codebase into a native Rust library (~830 k lines of Rust) to reduce startup latency, memory use, and improve reliability. The migration was done incrementally (in‑place) across 128 PRs, with AI‑generated code handling most of the work. The new runtime exposes a C ABI for in‑process embedding by all six Copilot SDK langu…
GitHub Oldgithub.blogStephen Toub19d65 minHN188