Tom VII 7th

@tom7
892 Followers
64 Following
123 Posts
HTTP:\\TOM7.ORG
@chrisamaphone @joshua @lindsey yes, definitely from Bob, and the paper I know is the zebra one (pretty cool paper!) Good point on citations, though I’ll also note that when it comes to jokey allusions, the joke is better if you don’t have to explain it! Maybe a “spoilers” bibliography with red overprint so you have to use that red cellophane magnifying glass that comes with The Colonel’s Bequest

@mark glad you enjoyed it! (:

In Matt’s household his stunt was known as “mining giftcoin.” I decided to avoid the keywords that summon blockcoin boys, though!

I uploaded this surprise video late on Christmas Eve (per the recommendation of my social media team) and then also forgot to even mention it on Mastodon, as though I don't love MEGAFAUNA??

https://www.youtube.com/watch?v=4pG8_bWpmaE

Mathematically extra-complicated Secretest Santa 2025

YouTube
@ix “The answer is in “R”DNA.” — NVidia (Alt text: iconic “NVidia Inside” logo)
@acronymy I actually dislike squash
@poleguy I kept kissing prince rupert but he would not turn into a frog :(
@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
@WORM turns out I had 12 seconds to spare!
@koenvh I’m glad somebody liked it! :)
@Otimsis believe me, I know!