mikalkulas
Tom VII 7thMy newest motion picture has gotten me a lot of practice pronouncing “disdyakis triacontahedron” and other things incidental to escaping the primary math hole described herein:
https://youtu.be/QH4MviUE0_s
https://youtu.be/QH4MviUE0_s
YouTube
Joey Rees-Hill@tom7 woohoo, new Tom7 motion picture!
Otimsis
Koen van Hove
Cory Sanin 
@tom7 Excellent video as always. I made this abridged edit for anyone who only has 6 seconds to spare
@WORM turns out I had 12 seconds to spare!
Graham Sutherland / Polynomial@tom7 I enjoyed this one.
liaml@tom7 Excellent motion picture. I loved the explanation & animation for the gift wrap algorithm. 🎁
@tom7 I'm sure you thought about this and there's some reason it's not true or not interesting or not worth talking about in the video:
For the Rupert solver, it seems like you can "trivially" solve for the best, say, ty and have 1 fewer dimension to sample. Maybe even solve for tx&ty (although that's not obviously trivial to me).
@nothings Yeah, agreed. Once you have fixed the other parameters, optimizing the translation is convex so there are more direct approaches. But the black box optimizer also finds such dimensions easy. The reason I’m not doing it here is that simultaneously optimizing the parameters yields better solutions (higher clearance). If you meant for the proof search, that may help! We are trying to keep the proof terms uniform and elementary as long as it remains feasible though
@tom7 Yeah, I definitely meant strictly for the search (which is maybe kind of irrelevant now that the conjecture is disproven).
The main observation is just that if you were just testing random samples from the distribution (not running an optimizer), given a convex hull, solving one translation axis is incredibly cheap (e.g. for each point, compute distance from hull along that axis). But that may not translate into wins outside that specific scenario.
poleguy looking for lost tools@tom7 I had already heard about the Austrian solution a couple days ago. Yet somehow was still surprised by the sad end of your video.
Now I want to see the Disney ending. :-)
@poleguy I kept kissing prince rupert but he would not turn into a frog :(
Scott Feeney@tom7 the Austrians may have found a Nopert, but now I'm so emotionally invested in whether or not the snub cube is one. I have to know!
aismallard@tom7 Another great tom7 video! Quite the math hole though… glad you definitely aren’t stuck in any others