z7bjv6fs's Feed · Scour

76 - Rust Crosses the Chasm

rust-trends.com·5h

mrconter1/rustc-php: A Rust compiler with ownership checking, written in PHP

github.com·9h·

Discuss: Hacker News

blog.veeso.dev·3d

Rust's plan for improvements to immovable types and async ergonomics over the next few years

bsky.app·18h·

Discuss: Bluesky

Show HN: Asupersync, the Cancel-Correct Async Runtime for Rust

asupersync.com·1d·

Discuss: Hacker News

Hello Walter! Learning Rust on ESP32

blog.matthewbrunelle.com·7h

Leaktracer: A Rust allocator to trace memory allocations

blog.veeso.dev·3d

Formal methods for the unsafe side of the Force

antithesis.com·2d·

Discuss: Hacker News

Supply-Chain Security Starts with Memory Safety

corrode.dev·2d

How Dada enables internal references

smallcultfollowing.com·1d·

Discuss: Hacker News

Show HN: Ore – a Rust-Based Kernel for Managing Local Models/AI Agents

news.ycombinator.com·1d·

Discuss: Hacker News

Cultivating a robust and efficient quantum-safe HTTPS

security.googleblog.com·1d·

Discuss: Lobsters, Hacker News, Blogger

🛡️Security

Sign up or login to customize your feed and get personalized topic recommendations

🎲 Garbage collection in Rust got a little better

claytonwramsey.com·2d

Systing 1.0 Released For Rust-Based eBPF-Based Tracing Tool Leveraging AI

phoronix.com·3d·

Discuss: r/linux

RUSTSEC-2026-0029: hivex: Double-free and use-after-free for Hive

rustsec.org·1d

Against Query Based Compilers

matklad.github.io·4d·

Discuss: Lobsters, Hacker News, Hacker News, r/programming

🏗️Language Design

About memory pressure, lock contention, and Data-oriented Design

mnt.io·4d·

Discuss: Lobsters, Hacker News, r/programming, r/programming, r/rust

Will AI coding tools make languages like Rust more accessible and popular?

wingfoil.io·2d·

Discuss: Hacker News, r/rust

This Week in Rust 640

this-week-in-rust.org·4d·

Discuss: r/rust

Verified Spec-Driven Development (VSDD)

gist.github.com·12h·

Discuss: Lobsters, Hacker News

✅Formal Verification

Loading more...