-
Blender's python API is finally fast enough that interactive exact mesh booleans are feasible without forking:
https://solidean.com/blog/2026/solidean-hello-blender/
(This is pretty minimal for now: single-shot booleans, no attributes preserved, but has live preview & connected output topology)
Download (drop-in): https://solidean.com/download/blender-addon/
Github (addon layer): https://github.com/solidean/solidean-blender-addon -
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
In-progress video of our Solidean <-> Godot integration. This time a few more shinies, some chunking to optimize physics integration.
As you can see, I should maybe implement some connected component detection to get rid of the floaties.
(engine is Godot, method is https://solidean.com/, statue from Karl_Williams)
-
New blog post: https://solidean.com/blog/2025/the-vimpl-pattern-for-cpp/
Basically PImpl, but with a pure virtual header. It's a neat pattern I like. It hides dependencies but at the same time has the ergonomics of "raw c++".
(In a nutshell: pimpl without boilerplate)