Adventures in State Space [video]

A bit late to the discussion, but this has deep connections. As a programmer, your job is provide business invariants using complexity management techniques. And checking that your state space is small is a tool with gigantic payoff.

Maintaining a small state space it why we want to let it crash. Each program instruction can potentially multiply the number of states possible. Erlang even has this whole "Let It Crash" philosophy as a guideline [1].

Maintaining a small state space is how you tame concurrent programs, where adding one thread can cartesian-product your state space. But there are tools like TLA+ which can help you build proofs over this state space. And build invariants that your threads can use safely. Hre is a visualizer of that state space [2]. Notice any resemblance to the graphs you just saw in the video?

Programming sometimes feel like this "Rush Hour" puzzle.

[1] https://wiki.c2.com/?LetItCrash [2] https://prob.hhu.de/w/index.php?title=State_space_visualizat...

Thanks for posting. So much knowledge and skill required to create such a video.

I just went to submit this myself. It's one of the most enjoyable math explainers I've seen in a while, I love exploring these multidimensional graphs that describe so much about everyday life.

I love the presentation/teaching concept for the SS. However, the wiggly, bouncy animation is an unnecessary distraction.

Beautiful visualization and presentation of this topic. It's not mentioned in the video, but the base mathematical puzzle shown is the classic traffic puzzle game "Rush hour".

Thank you. Now I have loads more videos to watch. "Mandelbrot's Evil Twin" is kind of crazy trying to visualize a 6-dimensional space in my head.

Aside from nice animations and pleasing graphs, does this provide any intuition or insight?