Live data from Hacker News

We interfaced single-threaded C++ with multi-threaded Rust

antithesis.com

11–12 of 12 posts

Re: We interfaced single-threaded C++ with multi-threaded Rust

#11
post #5

Earlier quoted context omitted.

I have done this integrating wasmtime into a a C++ seastar.io application. I’ll have to write a post about it

https://rockwotj.com/blog/async-wasm-in-seastar/ - been meaning to write about this for a long time. Thanks for the nudge :)

Cool, very interesting, thanks for sharing with us.

Re: We interfaced single-threaded C++ with multi-threaded Rust

#12

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.

The sequel is now up at https://antithesis.com/blog/2026/rust_formal_methods/
Post reply on HN