detangling strings, tunneling issue

I made this JS game about detangling strings

https://github.com/nicolasloizeau/Detangle

I have a tunneling issue when i pull hard on the string, I've been fighting this for hours, trying to tune the parameters.

What's the standard way to handle this ? How to avoid two ropes to cross ? Here the rope in decomposed into small spheres and I check the spheres don't overlap.

reddit.com
u/Nicho_la — 2 days ago

yesterday night on Dronning Louises Bro

yesterday night after the squall on Dronning Louises Bro

u/Nicho_la — 3 days ago
▲ 9 r/logic

there exists a proof that there exists a proof that there exists a proof that ...

There are statements like "P is true."
There are statements like "there exists a proof of P."
What about statements like "there exists a proof that there exists a proof of P"?
And "there exists a proof that there exists a proof that there exists a proof of P"?
How far can I go? Are all these statements different?

reddit.com
u/Nicho_la — 18 days ago