Momentum is provably conserved in this physics sim! Bend2 is very nice!

Very cool but I actually don't know how that's possible!? You're not using floats at all?

Collisions swap velocities, the wall and cursor obv add impulse. It's using Nat for velocity

cool

share the law!

Can you share the law exactly?

Maybe the magnitude of momentum is preserved but its direction is not. You can see clusters of boxes changing direction without anything acting on them.

When I click it adds momentum (:

wait, can we also finally have sims without objects clipping into each other?

Momentum being conserved is cool, but you have issues with ghosting collisions.

Time to encode navier stokes then

Proof-checked physics is wild

nice job

what’s the verifier cost per step at scale? sims are easy to demo, proof overhead is where the gpu gets rekt 🤡