I finally have a site for my mesh booleans! It's been almost 3 years since my EMBER paper. We basically took the "imul" i64 x i64 -> i128 instruction and built a geometry kernel out of that.
So, if you like robust, exact, high-performance mesh booleans (for graphics, VFX, 3D printing, CAE, ...), you might find this interesting: https://solidean.com/
(This is my commercial project, though we want to open-source the exact predicates & constructions in the future)