We interfaced single-threaded C++ with multi-threaded Rust (opens in new tab)

(antithesis.com)

107 pointslukastyrychtr1mo ago11 comments

11 comments

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-antithesis28d ago

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

pjmlp1mo ago

It would be more interesting if it was on how to combine C++20 co-routines with Rust async-await models.

Combining single-threaded C++ with multi-threaded languages has been a thing for quite some time.

rockwotj1mo ago

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

rockwotj1mo ago

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

1 more reply

foota1mo ago

Wow, I wouldn't have thought that it would be possible to do this (at least, not ergonomically, although now that you mention it I guess I don't see why not). That would be amazing to see.

mchlgibs1mo ago

I'm the author.

Thanks for the interest; I've never had a post on Hacker News before.

I'm happy to answer any questions.

chris_money2021mo ago

Pretty sure I’ve done similar, combined a Rust multi-threaded emulator with single threaded SystemC simulation

iamoutoftouch1mo ago

do tell!

yuryk1mo ago

Seems like objc2 crate uses same approach (MainThreadMarker).

j / k navigate · click thread line to collapse

11 comments

wsx-antithesis1mo ago

wsx-antithesis28d ago

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

pjmlp1mo ago

It would be more interesting if it was on how to combine C++20 co-routines with Rust async-await models.

Combining single-threaded C++ with multi-threaded languages has been a thing for quite some time.

rockwotj1mo ago

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

rockwotj1mo ago

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

1 more reply

foota1mo ago

Wow, I wouldn't have thought that it would be possible to do this (at least, not ergonomically, although now that you mention it I guess I don't see why not). That would be amazing to see.

mchlgibs1mo ago

I'm the author.

Thanks for the interest; I've never had a post on Hacker News before.

I'm happy to answer any questions.

chris_money2021mo ago

Pretty sure I’ve done similar, combined a Rust multi-threaded emulator with single threaded SystemC simulation

iamoutoftouch1mo ago

do tell!

yuryk1mo ago

Seems like objc2 crate uses same approach (MainThreadMarker).

j / k navigate · click thread line to collapse