Saturday, May 16, 2026

New best story on Hacker News: 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"
455 by ndiddy | 326 comments on Hacker News.


New best story on Hacker News: Formalizing Fermat's Last Theorem

Formalizing Fermat's Last Theorem 426 by jlebar | 275 comments on Hacker News. https://ift.tt/6bWPz07...