A developer outlined a server-side WebAssembly plugin architecture that embeds lightweight runtimes like Wasmtime, Extism, and Wazero into Node.js and Go host applications to execute untrusted third-p…
NVIDIA introduced CUDA Rust, two new approaches that let developers write GPU kernels directly in Rust and compile them to PTX, the intermediate representation used by NVIDIA GPUs. The two tracks are …
Amazon detailed Verus, a Rust verifier used in Firecracker and AWS Lambda that mechanically proves annotated functions against a mathematical spec for all possible inputs rather than reviewing code. A…
A comparison of four formal-verification tools — Bend, Verus, Dafny and Lean — argues that proofs, not tests, are what make agent-written code trustworthy, citing Amazon Science's August 31, 2026 post…
Ferrox v0.23.0, released today, adds support for PrismML's Ternary-Bonsai-2-27B, a 27-billion-parameter model quantized to 1.75 bits per weight that occupies 5.5 GB on disk and runs on a 16 GB laptop,…
Docker CTO Justin Cormack reported that building an S3-compatible object storage system with AI assistance produced a roughly 350,000-line Rust codebase validated by about 1,500 tests run against Amaz…
GitHub and Anthropic each used their own AI agents to carry out major Rust rewrites, according to The New Stack, with the two organizations following very different playbooks. The report ties the migr…
A developer built glu, a Rust package manager that installs Homebrew's bottles through its own resolver and installer, achieving more than 2x faster end-to-end cold-install benchmarks than Homebrew on…
The share of Hacker News upvotes going to submissions whose titles name a programming language fell to its lowest level since 2016 in February–April 2026, following the initial release of Anthropic's …
Axiom, a self-hosted search engine combining BM25 keyword search with semantic vector search, is being presented as a deterministic, offline-first alternative to cloud-based AI search that its author …
Nvidia has announced native GPU programming support for Rust through a "two tracks" approach, offering both a low-level CUDA Rust path that maps closely to CUDA C++ semantics and a high-level, iterato…
A developer's side-by-side test found that Google's Gemini 3.8 Flash cloud model produced a faster Rust parsing function than the local Gemma 4 model (gemma-4-26B_q4_0-it.gguf), cutting starts_with ca…
GitHub rewrote the Copilot agent runtime from TypeScript on Node.js into more than 800,000 lines of production Rust, with AI agents writing most of the code across 128 pull requests that shipped incre…
A Show HN submission titled "Hacker News, a little more focused" presents a filtered, three-page feed of 72 stories drawn from Hacker News, with the first page led by Nvidia's announcement of native G…
The open-source Rust inference library behind the NobodyWho Chat test app can register for OS memory-warning signals to automatically unload LLM models before Android and iOS Out Of Memory killers ter…
EnCharge AI posted an on-site AI Software Engineer, Agent Harness role in Bengaluru, Karnataka, with remote-friendly options across India, seeking 10+ years of software engineering experience in backe…
Skillsynch released txcript, a Rust library and CLI tool that converts and transfers agent sessions between Claude Code, Codex, OpenCode, and Cursor, preserving messages, reasoning, and tool history w…
Developer nfishel48 published Jotter, a local recording and transcription tool written in Rust, on GitHub. The public repository has 14 commits, 0 stars, 0 forks, and 0 watchers, and lists no descript…
CuTile Rust (cutile-rs) extends Rust's ownership model to CUDA tile operations, partitioning mutable outputs into disjoint pieces so the compiler can verify data races are avoided before code reaches …
A developer released a coding agent built from scratch using a custom Rust-based ML DSL, publishing the implementation under an MIT license with a demo video, sample code, and an Emacs org-mode litera…