Tom 7

lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.

[Tom 7 @tom7]

@ptrschmdtnlsn Once I did this when I searched everywhere but just couldn’t find my pipe cutter. I bought a new one and I used it and made a point to put it away in a sensible, intuitive spot… where my original pipe cutter is

[Tom 7 @tom7]

@bppcomplete Think of it this way: A machine can never take my job of laboriously and manually doing a thing that did not need to be done!

[Tom 7 @tom7]

Here is the show: https://t.co/8koCUcxUZK

Speaking of elaborate hoax, it seems that you could buy out the entire venue for the merely the price of one World Cup finals ticket! Beer not included though. Also it would be lonely

[Tom 7 @tom7]

I will be presenting my personal Details in Brooklyn (Bellhouse) on July 12 with @standupmaths and other cool people, unless this is part of a very elaborate hoax!

[Tom 7 @tom7]

@happyclambell Seems like you understood every aspect of the joke, but possibly not that it was a joke! :)

[Tom 7 @tom7]

Heinous Type Tom7 Project Summary

https://t.co/ppp2NxREn0

[Tom 7 @tom7]

@sedatesnail My video is arguably more disturbing

[Tom 7 @tom7]

@SCSatCMU How do we rank for Computational Heresy?

[Tom 7 @tom7]

@ptrschmdtnlsn @matt_levine Ha! Unfortunately ultrahumans cannot be merged further without psychological harm. Not coincidentally, I read @matt_levine ’s column almost every day. I do often feel impressed at his fluency, but I would not wish a daily format on anyone!-

[Tom 7 @tom7]

@ptrschmdtnlsn Maybe we can get Locksmith YouTube to make thousands of padlocks and keys for their secret santa

[Tom 7 @tom7]

My social media team told me that the best way to get “likes” is to upload your video late Christmas Eve, and “x” about it just one time mid-Christmas day. Also, make sure to include at least two group theory lectures
https://t.co/Id0uTWKOQn

[Tom 7 @tom7]

@pimanrules 🤮

[Tom 7 @tom7]

@qntm I liked this book!

[Tom 7 @tom7]

Spoilers

[Quanta Magazine @QuantaMagazine]

In August, two mathematicians found a shape that puts an end to a centuries-old geometric mystery. @EricaKlarreich reports: https://t.co/Z5koo2Lgj6

[Tom 7 @tom7]

@notch Math, what hast thou donest?

(My friends helpfully suggested that we can call the “other” cube the L-∞ hypersphere for clarity!)

[Tom 7 @tom7]

@theswoderman Prince!

[Tom 7 @tom7]

Descry my newest movie, which is about boring math, in the sense of boring a hole through one cube with a same sized cube, or one icosidodecahedron with its same-size self, or previously unknown polyhedra, and other platonic fetishes and horrors: https://t.co/G6b5PJN3XD

[Tom 7 @tom7]

@dwrensha Crew or equipment visible in shot

[Tom 7 @tom7]

@im_walkin_here @nicbarkeragain If you really care about accuracy you keep an upper and lower bound and manipulate them together. “interval arithmetic” is the thing to look up. Harder than it sounds to keep the bounds under control, but it can be practical for sure

[Tom 7 @tom7]

@im_walkin_here @nicbarkeragain Yes! I think arbitrary precision rationals are pretty common for numerical computing. (I was trying to find new solutions… I’m not aware of whether my solutions are any better than the best known before, but that would not be surprising!) libgmp has built-in “mpq” type for ex