Tom 7 @tom7

lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc. tom7.org Pittsburgh, PA Joined November 2012

Tweets

3K
Followers

8K
Following

359
Likes

6K

Tom 7 @tom7

6 days ago

@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!

0 0 1 7 0

View Details

Here is the show: thebellhouseny.com/shows?start=20… 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

0 0 9 561 0

View Details

Tom 7 @tom7

2 weeks ago

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!

1 1 24 925 4

View Details

Tom 7 @tom7

2 months ago

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

1 0 0 37 0

View Details

Tom 7 @tom7

2 months ago

Heinous Type Tom7 Project Summary youtu.be/M1si1y5lvkk

5 6 71 4K 10

View Details

Tom 7 @tom7

2 months ago

@sedatesnail My video is arguably more disturbing

1 0 13 644 0

View Details

Tom 7 @tom7

2 months ago

@SCSatCMU How do we rank for Computational Heresy?

1 1 6 382 0

View Details

Tom 7 @tom7

4 months ago

@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!-

0 1 15 760 0

View Details

Tom 7 @tom7

6 months ago

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

0 0 11 377 0

View Details

Tom 7 @tom7

6 months ago

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 youtube.com/watch?v=4pG8_b…

1 8 122 9K 11

View Details

Tom 7 @tom7

6 months ago

@pimanrules 🤮

0 0 0 314 1

View Details

Tom 7 @tom7

7 months ago

@qntm I liked this book!

1 1 18 2K 0

View Details

Tom 7 @tom7

8 months ago

Spoilers

Quanta Magazine @QuantaMagazine

8 months ago

In August, two mathematicians found a shape that puts an end to a centuries-old geometric mystery. @EricaKlarreich reports: quantamagazine.org/first-shape-fo…

8 34 129 46K 56

2 2 117 11K 7

View Details

Tom 7 @tom7

9 months ago

@notch Math, what hast thou donest? (My friends helpfully suggested that we can call the “other” cube the L-∞ hypersphere for clarity!)

0 0 9 895 1

View Details

Tom 7 @tom7

9 months ago

@theswoderman Prince!

0 0 3 442 0

View Details

Tom 7 @tom7

9 months ago

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: youtu.be/QH4MviUE0_s

8 19 151 27K 18

View Details

Tom 7 @tom7

9 months ago

@dwrensha Crew or equipment visible in shot

1 0 1 507 0

View Details

Tom 7 @tom7

9 months ago

@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

1 0 9 503 0

View Details

Tom 7 @tom7

9 months ago

@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