Coq-of-rust: Formal verification tool for Rust(github.com)

145 points by todsacerdoti 1 year ago | 31 comments

Writing Python like it's Rust(kobzol.github.io)

441 points by thunderbong 3 years ago | 266 comments

A blog post on applying Rust-inspired practices like strict type hints and sound API design to writing Python code.

CRDT-richtext: Rust implementation of Peritext and Fugue(loro-dev.notion.site)

190 points by samwillis 3 years ago | 51 comments

Why the Rust Trademark Policy was such a problem(kimono-koans.github.io)

34 points by mustache_kimono 3 years ago | 14 comments

Compiling Rust Is Testing(kobzol.github.io)

50 points by ingve 2 years ago | 38 comments

What part of Rust compilation is the bottleneck?(kobzol.github.io)

83 points by dralley 2 years ago | 46 comments

Writing a Rust compiler in C(notgull.net)

361 points by todsacerdoti 2 years ago | 186 comments

Blog post by John Nunley announcing Dozer, a Rust compiler written in C, and explaining why he is building it to bootstrap Rust.

Some notes on Rust, mutable aliasing and formal verification(graydon2.dreamwidth.org)

323 points by todsacerdoti 2 years ago | 119 comments

A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.

Malicious Rust crate Arrayref runs a build-time payload(safedep.io)

532 points by abhisek 2 months ago | 468 comments

SafeDep blog post analyzing a malicious version of the Rust crate arrayref that executes a payload at build time via a supply-chain attack.

How to speed up the Rust compiler in September 2026(nnethercote.github.io)

266 points by trickypr 25 days ago | 157 comments

Nicholas Nethercote's blog post reporting Rust compiler performance improvements from late July to late September 2026, including a 4.57% mean wall-time reduction.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Rust is tier-1 language at Microsoft(rustfoundation.org)

702 points by mmastrac 1 month ago | 461 comments

A Rust Foundation guest post on Rust becoming a tier-1 language at Microsoft; the page returned a Cloudflare 504 gateway timeout.