GoKawiil
Tech News
Niklaus programming-language researcher nikomatsakis published a blog post arguing that Rust remains well-suited to agentic, AI-assisted development, citing data showing Rust's rapid adoption growth. He references David Tolnay's observation that Meta engineers wrote twice as much first-party Rust code this year as in the previous nine years combined.
A Gentoo contributor is publicly asking Python package maintainers not to adopt uv-build as their build backend, citing damage to Gentoo package support when key dependencies switch to it. The post clarifies it's not a criticism of uv or Astral's other tools generally, but specifically objects to uv-build's size, its Rust implementation, and its frequent release cadence.
Spotatui, a Rust-based terminal UI fork of spotify-tui, now streams Spotify audio natively without requiring the official app or spotifyd, acting as its own Spotify Connect device for Premium users. The project also supports local files, Subsonic/Navidrome, Internet Radio, YouTube, Qobuz, and Apple Music on macOS, with features like synced lyrics, a real-time FFT audio visualizer, and a cross-source play queue.
A set of open issues on Rust's GitHub repository documents unsoundness bugs in the compiler's borrow checker, some tied to destructors, lifetimes, and variance handling, with reports dating back as far as 11 years. The issues are tagged as high-priority soundness holes and flagged for review by Rust's types team.
SolidCraft is an open-source parametric 3D CAD application written entirely in Rust, offering sketching, constraints, and a feature timeline so models rebuild automatically when dimensions change. It runs on desktop or in-browser and includes a built-in MCP server that lets AI agents perform modeling operations directly. The project reports 75 of 76 public reference parts matching analytic or FreeCAD-computed geometry checks, with one known bug tracked.
Hibana is a new no_std Rust runtime that lets developers define a single global choreography describing a protocol among up to 256 roles, which it then projects into a compact program for each role. Every send, receive, or routing step at each endpoint must match its projected program before the step can proceed, and the system requires no allocator, using caller-provided storage instead.
Evan Ovadia has published details of a new borrow checker for the Valen programming language, which he describes as more flexible than existing systems. The design uses a single kind of borrow reference rather than the two typically found in other borrow checkers, and includes a feature that lets the compiler track where a reference points. Some syntactic features, such as auto-deref and direct struct indexing, are planned for a November release.
Veda is a new operating system, written from scratch in Rust, that embeds an AI agent as a native system service rather than a bolt-on assistant. The agent operates applications through the same input pathways as a keyboard and mouse, and apps expose their actions and state directly to it via typed parameters and risk levels. Veda includes its own bootloader, microkernel, drivers, window system and toolkit, and currently runs on x86-64 PCs and in QEMU.
Canonical will include Sequoia PGP, a Rust-based OpenPGP implementation, by default in Ubuntu 26.10, according to It's FOSS. The Ubuntu release notes describe making Sequoia the default toolchain as a future goal, but GnuPG remains the default for now. Sequoia was created in 2017 by former GnuPG developers and implements the newer RFC 9580 standard, unlike GnuPG which follows RFC 4880 and LibrePGP extensions.
Rust's SIMD abstractions previously required wrapping raw intrinsic calls in unsafe blocks because the compiler couldn't verify at compile time whether the CPU running the code actually supported the needed instruction set. As of Rust 1.87, the compiler itself tracks which instruction sets are available, letting developers call SIMD intrinsics without manually marking them unsafe or writing complex cross-referencing logic.
Eurydice is a new tool that converts Rust programs into C code while preserving the original code's structure, rather than optimizing or obscuring it. Started in 2023, it is part of the Aeneas formal-verification project maintained by researchers at Inria and Microsoft, and has already been used to translate post-quantum-cryptography routines from Rust into C.
Prime Labs has released a Rust rewrite of its Prime Agent coding tool, which it says has been downloaded over 300,000 times and processed more than 8 trillion tokens since its August launch. The company says the rewrite was carried out over two weeks by a swarm of more than 2,000 AI subagents running across over 10,000 Prime Sandboxes, consuming over 200 billion tokens via its Prime Inference GLM-5.3 endpoint.