https://formalworkshop.pages.dev/posts/learn-with-linux-physics-simulation-590321/