#miri on Hacker News

2 stories tagged miri, newest first.

Screenshot of github.com: Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"(github.com)

412 points by ndiddy 5 months ago | 285 comments

GitHub issue on the oven-sh/bun repository reporting that Bun's Rust codebase fails Miri checks and permits undefined behavior in safe Rust.

rust bun undefined-behavior miri

Screenshot of plf.inf.ethz.ch: Tree Borrows

Tree Borrows (plf.inf.ethz.ch)

557 points by zdw 1 year ago | 141 comments

ETH Zürich Programming Language Foundations Lab page for the PLDI 2025 paper Tree Borrows, an aliasing model for Rust by Villani, Hostert, Dreyer, and Jung.

rust tree-borrows unsafe-rust aliasing-model

#miri on Hacker News

Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"(github.com)

Tree Borrows(plf.inf.ethz.ch)

Tree Borrows (plf.inf.ethz.ch)