Hi, I (Shuxian) worked with Michael on this project. Happy to answer any questio... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wsx-antithesis 18 days ago \| parent \| context \| favorite \| on: We interfaced single-threaded C++ with multi-threa... Hi, I (Shuxian) worked with Michael on this project. Happy to answer any questions! We'll also post a followup next week on formally verifying our unsafe primitives in the style of RustBelt (https://plv.mpi-sws.org/rustbelt), if that interests you.

wsx-antithesis 5 days ago [–]

The sequel is now up at https://antithesis.com/blog/2026/rust_formal_methods/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact