p
e
r
s
o
n
a
l |
Scoopert!
(Yesterday at 22:34) |
OK! I am better now. Let's strive to keep it that way.
I spent my free time this month continuing work on the proof described in the previous post, basically a big custom numerical search which was a neat blend of geometry (a little bit outside my comfort zone but I can wrap my head around it) and high-performance systems stuff (rational interval arithmetic) which is up my alley. It was actually going quite well (and maybe we will try to finish it, or an improvement upon it) but a couple days ago we found out that somebody beat us to it! A convex polyhedron without Rupert's property just went up on arxiv.org last week, and it demonstrates a synthetic convex polyhedron that is not Rupert (cannot fit through a proper hole in itself). Ah! I proved plenty of things for my Ph.D., but nothing that anybody but me cared about, so I was getting fond of the idea that we might crack an open problem. But at the same time I am happy for the authors (they emailed me about my paper in April; I probably should have written back! Do you know how bad I am at e-mail? If you have ever e-mailed me then you probably do know!) and happy that we have a resolution to this problem.
The other thing I'm happy about is that I finally know how the video ends (😵💫 but 😂) and I feel motivated to finish it forthwith. It's up to 45 minutes now, but the end is in sight! I'm in the phase now where even my procrastination is high-productivity (e.g. I have been repointing and repainting my house) instead of something like anxiously reformatting source code, so that is a good sign.
While I was sick I started DOOM: The Dark Ages, which is pretty fun. They did a good job with the combat, which is good because that's all there is, and it is quite hard (mostly fair). It's incredible how incoherent the "plot" is, though, almost like it's satire. I also played through Shantae and the Seven Sirens. It is very silly, as expected, but has great music and the writing was pretty funny. I've liked all the Shantae games that I've played, but this one was not my favorite; I think just too much of it took place inside underwater tunnels for my tastes. |  |
|
| It was a smart move to construct a provably non-Rupert polyhedron, but I still wonder whether the rhombicosidodecahedron is a Nopert. Either way, I'm dying to watch the video. And oh boy, 45 minutes! That's longer than ARST ARSW. Thank you Tom! |
|
|
|
|