Miri: Practical Undefined Behavior Detection for Rust [pdf] (research.ralfj.de) | HN Screenshots

YHacker Newsscreenshots

Screenshot of research.ralfj.de: Miri: Practical Undefined Behavior Detection for Rust [pdf]

First screen, captured 9 months ago.

Looks similar

Screenshot of hkalbasi.github.io: Zngur: A C++/Rust interop tool

Zngur: A C++/Rust interop tool (hkalbasi.github.io)

142 points by hkalbasi 2 years ago | 28 comments

Screenshot of users.cs.utah.edu: Finding and Understanding Bugs in C Compilers (2011) [pdf]

Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)

23 points by djoldman 1 year ago | 3 comments

Screenshot of matklad.github.io: Rust Glancer

Rust Glancer (matklad.github.io)

28 points by surprisetalk 2 months ago | 6 comments

Screenshot of acadlisp.de: Show HN: AutoLISP interpreter in Rust/WASM – a CAD workflow invented 33 yrs ago

Show HN: AutoLISP interpreter in Rust/WASM – a CAD workflow invented 33 yrs ago (acadlisp.de)

106 points by holg 10 months ago | 32 comments

Screenshot of infoscience.epfl.ch: RRB-Trees: Efficient Immutable Vectors (2012) [pdf]

RRB-Trees: Efficient Immutable Vectors (2012) [pdf](infoscience.epfl.ch)

36 points by azhenley 4 months ago | 7 comments

Screenshot of book.rvemu.app: Writing a RISC-V Emulator in Rust

Writing a RISC-V Emulator in Rust (book.rvemu.app)

100 points by signa11 1 year ago | 41 comments