2/7/2026 at 1:45:47 PM
by lukastyrychtr
2/13/2026 at 3:19:02 PM
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.by wsx-antithesis
2/13/2026 at 8:25:14 AM
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.
by pjmlp
2/13/2026 at 12:55:56 PM
I have done this integrating wasmtime into a a C++ seastar.io application. I’ll have to write a post about itby rockwotj
2/13/2026 at 5:37:01 PM
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.by foota
2/13/2026 at 3:38:47 PM
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.
by mchlgibs
2/13/2026 at 10:58:06 AM
Pretty sure I’ve done similar, combined a Rust multi-threaded emulator with single threaded SystemC simulationby chris_money202
2/13/2026 at 1:26:57 PM
do tell!by iamoutoftouch
2/13/2026 at 12:49:59 PM
Seems like objc2 crate uses same approach (MainThreadMarker).by yuryk