|
Entries from October 2025
|
 |
p e r s o n a l |
Hold your gratitude, little one. The dead are stirring.
(Yesterday at 22:23) |
Hello again,
I'm enjoying feeling no deadline pressure, and trying out a few new secret projects with no particular commitment to a "next" one, and playing some video games.
Re: the previous project (spoilers), there was this Quanta article First Shape Found That Canβt Pass Through Itself about the success (not mine) on that problem, and I'm in there. I think Quanta is great and I read their stuff a lot, so this is a fun sighting for me. I'm happy that this article (and the similar one in Scientific American have canonized my "Nopert" as the proper term for these polyhedra!
I really spent most of the month on Silksong, the sequel to the excellent Hollow Knight. This game is also great, clearly one of the best in the genre. I managed to finish the main game and a lot of the post-game content without getting any hints or spoilers. It turned out that this was making my life inadvertently hard (in a game that is already very hard), since (spoilers) if you fail to find some things like sword upgrades you can end up doing a lot of boss battles on extra-hard mode. Now that I'm in the endgame (90 hours in!), I'm using some what-to-do-next and how-much-damage-does-this-thing-do-? kinds of hints. There's an excellent webpage silksong-completion.info where you can upload your save file (my impression is that it's happening clientside) and it will show you what's left in the dependency graph just like you'd want. Very good, and it is making me want to now play this game, which I will do. |
 |
|
Entries from September 2025
|
 |
p e r s o n a l |
And now I am 46
(30 Sep at 23:56) |
Hmm! Yes! I turned 46 years old, which was predictable. Also predictable, and predicted, is that I finished that darned video:
 Rupert's Snub Cube
I also updated the project site with more data and links. I should have just posted this blog-post earlier in the month when I uploaded it; I don't know why I always save it to the last minute and risk losing 1,000 points. I guess I figure I might get several more projects done in the month. I did not: Instead I played Silksong (which is excellent, and you don't need me to tell you about this game) as a reward for finishing project, and since that is sometimes too hard to be relaxing (I do love how hard it is!), I also installed Cult of the Lamb which I bought at some point. The latter is charming and has great art and music, but I don't think it's a must-play. For some reason I expected it to be more like an action roguelike (a la Hades, say) but it's a bit more like a tech-tree resource-management farm-sim. The combat in the main loop is just not quite interesting enough yet. But I will finish it, I'm sure.
I have begun on my next projects, several of which involve cryptography.
I also made this 3D-printed file handle:
 stderr
This began as a purely practical thing (I needed a handle for a file), and I actually assembled the original file before realizing my missed opportunity for a pun, and then decided that the right solution was to buy a second file! |
 |
|
Entries from August 2025
|
 |
p e r s o n a l |
Scoopert!
(31 Aug 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. |
 |
|
Entries from July 2025
|
 |
p e r s o n a l |
I got sick, but my computer was fine
(31 Jul at 23:24) |
Hi,
Dammit! I got sick again. This time it was definitely Covid-2025 and it was pretty rough (I had a very bad sore throat, which I hear is characteristic of this strain) and it knocked me out of commission for a week during which I was expecting to have quiet time to myself to finish off this video! Instead the things that felt right to do were (a) play the new Donkey Claus for Switch II and (b) keep trying to prove that the one shape can't go through the other shape. I have One Last Approach here that I'm currently feeling pretty hopeful about, but also I wrote a lot of that code with Covid brain so who knows. (The real goal would be to produce some machine-checkable proof; no need to worry about virus-induced fallibility!) I'll talk about this in the video with some other results; I've got like 25 minutes finished at this point. On the upside, the computer has been completely healthy this whole time, almost like the problem was simply a bad driver 25 year-old webcam driver and it cannot actually be sympathetically infected when I fall ill.
I probably got Covid-2025 in JFK International Shithole, or maybe the humid undergrounds of New York City's Subterranean "Way" system, or in crowded comedy club, or etc. when I went to hang out with my YouTube buddies and also go to work. It's been 3 years since I got it last, so that's not a bad MTBF I guess.
Speaking of work: Exciting for me is that I am switching to "part time" (4 days a week) for the sole reason that I like my job but I also like having time for my gonzo programming projects and math holes, and would all else equal like to have more time for the latter. So starting this monday I will be 50% more funemployed and 20% less employal!!
I vow not to use my additional "free" time to just play video games, but I did play video games when I was sick especially. I am enjoying the Donkey Kong Bananza more than I expected. It is a very easy game, but also very fun. I am almost done with Tevi, by the same people who made Rabi-Ribi, which I enjoyed many years ago. It's a solid exploration platformer that I would definitely recommend to genre fans who are sick with Covid-25. For observant game design connoisseurs who have played the Metroidvania genre a lot, or too much (e.g., me), there are some subtle and smart mechanics to appreciate. Probably next... DOOM? |
 |
|
Entries from June 2025
|
 |
p e r s o n a l |
I got sick, and my computer got sick
(30 Jun at 23:26) |
Ugh! I did make a lot of progress on this darned video (I have about 10 minutes of high quality content baked in now) and was hoping to keep up the momentum this weekend but I got pretty sick. I thought all week I was just suffering headaches from this medium-severe heat wave we've been having, but I think it was also me starting to get ill. It does not appear to be COVID or Flu-A or Flu-B (it is cool that you can get a combo test for all three of these now) but it has kept me with minimal energy. The other, perhaps worse drain on my ability to finish my projects is that my computer also got sick. It has been struggling to install "Windows 11 24H2" for as long as that sounds from the name (24 is 2024, like COVID-19 is 2020), rebooting every week or two (interrupting valuable computational geometry) to give it one more try and then rolling back, which is annoying, so I was rooting for it to one day succeed. Last week it finally decided to stay on my computer, but right away I started to get kernel panics, which on Windows 11 are illustrated as ":(". I spent all weekend trying to improve the situation, upgrading every driver and firmware I could find, deleting everything old I didn't need, and all stuff that I hate. This was a machine that was extremely solid before this update, by the way; like I would regularly running a Premiere encode while compressing a directory full of files and playing Call of Duty Black Ops 6 and 100 Chrome tabs including more than one concurrent instance of gmail and Photoshop has been open since the last windows update reboot as well and 16 cores of computational geometry also happening at idle priority with 100GB of resident allocations. So this is a stark difference. I am reaching the end of my troubleshooting wits (a few steps down the list is I renounce Computing and go live in a cave with my polyhedra) but at least nothing has crashed since the last thing I tried (force remove some drivers I may not need so that I can enable Core Isolation) so I'm going to at least try to go to bed optimistic tonight.
I did make some actual progress on this geometry problem (not covered in paper) so now I'm actually looking forward to talking about that in the video. There's hope yet.
Speaking of idle priority, I actually finished Call of Duty Black Ops 6 for real now (I had done this previously, but then they released new crap, and while I was unlocking that I "decided" that I "should" also unlock the dark matter camo for every item in the game) and I think I've successfully put it behind me. I tried going for the polar opposite, which may be the game Crimson Diamond (it does involve murder but that may be the only thing they have in common). This is a cute old-school (~CGA graphics) text-parser adventure game, which reminds me of my Sierra youth, and may have been directly inspired by the Colonel's Bequest. Not sure how far I am into it, but I do enjoy it and so far it has been possible without any hints. Really for genre fans though. I'm also nearing the end of Stuck In Time (which may have previously been called "Loop Hero"? Something like that; they got cease-and-desisted and had to change it), which is a pretty clever idle/adventure game. The game has "idle" mechanics (lots of permanent upgrades; needs to run for some time in order to complete) but the core mechanism is designing the path that your guy follows through the world, and it's pretty active as a result. I liked that it didn't lean too much into the tower of exponent stuff; it's really mostly about exploration and making a good loop to let idle overnight. Pretty good pixel art and music, too. It is good if you are sick and working on a busted computer but want to be able to switch to another window to forget about that for a few minutes sometimes. Like writing a blog post! |
 |
| ...
Jun 2025
continued |
 |
2 0 2 5
| Posts from 2025 |
| Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 2 4
| Posts from 2024 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 2 3
| Posts from 2023 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 2 2
| Posts from 2022 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 2 1
| Posts from 2021 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 2 0
| Posts from 2020 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 9
| Posts from 2019 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 8
| Posts from 2018 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 7
| Posts from 2017 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 6
| Posts from 2016 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 5
| Posts from 2015 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 4
| Posts from 2014 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 3
| Posts from 2013 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 2
| Posts from 2012 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 1
| Posts from 2011 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 1 0
| Posts from 2010 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 9
| Posts from 2009 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 8
| Posts from 2008 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 7
| Posts from 2007 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 6
| Posts from 2006 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 5
| Posts from 2005 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 4
| Posts from 2004 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 3
| Posts from 2003 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 2
| Posts from 2002 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 1
| Posts from 2001 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2 0 0 0
| Posts from 2000 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar |