Tom 7 Radar: all comments

[ next 25 ]

13503. Oaklr ( – 18 Jan 19:31:33 The adventures of learnfun and playfun, part 2 ]
Hey tom i had an error with playfun it reads
SDLNet_TCP_Open( Couldn't connect to remote host
13502. Nate ( – 15 Jan 22:26:55 Anagraphs and Generalized Kerning ]
Tom I absolutely LOVE your videos and your work, you are extremely talented! How do you remain so creative and motivated? Do your ideas just come to you or do you have some kind of brainstorming work flow I could steal?
(Side note: Would you consider releasing the font editor you made? I would love to play around with it if you did.)
13501. Tom 7 ( – 06 Jan 10:55:06 Anagraphs and Generalized Kerning ]
Shantanu: Well, it just allows anyone to comment without making an account, so the IP addresses are to provide some form of accountability. For example I use them to ban spammers. :) This was very common practice when I wrote this blog software (e.g. on IRC you could always see the IP address where each person was connecting from); I hadn't really thought about the fact that this is not common any more. Normally it shows the reverse DNS, but I guess my reverse DNS server was not functioning.

jonas: Precision nitpicks are certainly welcome! I think this is a gap in the "proof" (and a good example of the kind of thing you have to account for when you REALLY formalize something). It seems like you could easily handle this by adding rules like "{0 <=> {" and "0} <=> }", which would then allow the deletion of any extraneous zeroes, which yields a single normalized representation of any Turing machine state with no leading or trailing zeroes (treating the cursor's location as also nonzero). I avoided using rules like this because they add ambiguity to what rules apply at any given moment, which makes other reasoning harder (you need to think about equivalence classes of states, I guess).
13500. jonas ( – 02 Jan 05:26:40 Anagraphs and Generalized Kerning ]
Nitpicking time! I'll complain about a technical detail that you could just leave an exercise for the reader in an ordinary article, but since this is an introductory kind of video that pretends to be very precise, I get to do this.

Your definition of the halting problem asks if the tape ever gets into a specific state. The tape is potentially infinite, padded with zeros. Your reduction of the halting problem to the kerning problem makes sure the tape is expanded with zeros when necessary, but it never shrinks the tape. How do you then reduce checking for a specific state of the tape to checking for a specific destination word in the kerning problem, when the latter word could be padded with an unknown an unbounded number of zeros?
13499. Shantanu ( – 31 Dec 2017 04:54:56 Anagraphs and Generalized Kerning ]
That's quite a lot.

Also, why do the comments record IP addresses?
13498. Tom 7 ( – 29 Dec 2017 16:33:54 Anagraphs and Generalized Kerning ]
Thanks folks! I'm glad that the lecture video seems to have found an audience. :)

I don't actually take my watch on every run, especially when I'm doing an indoor treadmill where it's hard to measure the actual "mileage." So I don't really know. But it's at least 708 miles, since that's the total that I did record during the period. Not bad; that's at least 30 miles a week.
13497. Tristan ( – 29 Dec 2017 02:04:18 Anagraphs and Generalized Kerning ]
Hey Tom, loved both new videos. I really enjoyed your lecture and would love to see more Tom Academy videos in the future, especially ones about logic as I find it fascinating. Keep up the great work as always and congrats on the 159 day running streak, that's great!
13496. Shantanu ( – 25 Dec 2017 04:53:02 Anagraphs and Generalized Kerning ]
So with 159 days, how much have you run so far?

(Turing machine lecture runs like an MITCourseWare video by the way)
13495. Anonymous ( – 07 Dec 2017 02:20:26 ARST ARSW ]
13494. Tom 7 ( – 04 Dec 2017 17:58:26 Seismograph ]
Yes true. There was a puzzling moment when I realized I could keep buying stars in the store, but the in-game lists make it clear the finite number of unique stars. That's my goal! Getting close!
13493. Alkatross ( – 03 Dec 2017 01:57:37 NEW: Tom's Novel: 'Name of Author by Title of Book' ]
Going back and reading this again produced a strange realization because 2014 did not give us a Mr Hemiverse competition. That year seemed so far off back then...
13492. jonas ( – 01 Dec 2017 06:15:50 Seismograph ]
As far as I understand, there aren't really 1000 different stars to collect in Super Mario Odyssey. There's a fixed and revealed number of unique stars for each world that you can obtain. After that, you can buy additional stars for gold coins in the shop, and you can get the same gold coins repeatedly any number of times. Because of this, the number of stars you can get is theoretically unlimited, but the star count is displayed only up to 999. For an all stars completion of the game, you only need to get each unique star, plus buy one star in the shop in each world, and that totals to less than 999 stars.
13491. calendar ( – 30 Nov 2017 20:45:07 OLD: Why can't the band skate? ]
You have very few hours left to post an entry for November.
13490. Tom 7 ( – 17 Nov 2017 10:35:39 Happy 20th birthday Escape!! ]
Porting to iOS, Android, and web is a long-term goal for me! But don't hold your breath; it's a lot of work and I don't have as much time as I'd like. :/
13489. Cat ( – 07 Nov 2017 03:08:13 Happy 20th birthday Escape!! ]
Don't you want to give us a version for Android ? All the games we can find nowadays are stupid and infested by ads !
13488. Anonymous ( – 05 Nov 2017 01:41:01 #screenshotsaturday ]
Anonymous ha ha thats making assumptions, Im not anonymous...seriously, I found the Crap Art Album in a day project, a few years ago...its the way I do stuff anyway, Im not a pro musician taught my self to play guitar late in life, just recorded my album in a day properly and thought the project didnt exist anymore, had another look and low and behold find your blog and links at the bottom of...really to laugh I just typed this whole comment in that thinnbar at the bottom, tried to post it, glad it didnt....when a friend first set me up online...she said me an email, which I day We met up she said that was funny typing your email into the title bar....she had to scroll through it to read it, she knows my sense of humour and thought id as a joke I hadnt...well hopefully this comment will, Im goin to check out a few of your now I know its worth posting my album in a day on line...
13487. Otto ( – 02 Nov 2017 02:40:40 OLD: Why can't the band skate? ]
13486. Tom 7 ( – 31 Oct 2017 23:10:19 Old man gets older ]
IMPORTANT UPDATE. I beat Calamity Ganon and liberated all 120 shrines.
13485. Tom 7 ( – 31 Oct 2017 23:09:24 OLD: Why can't the band skate? ]
Also, this song is fairly self-explanatory, but for background hints: The party took place at an ice-skating rink (I also think we were under the impression that alcohol was not allowed at the rink) and we imagined ourselves playing this song to an empty room while the rest of the guests were ice skating (I think there was no actual skating).
13484. Tom 7 ( – 28 Oct 2017 16:47:07 NEW: Tom 7 Entertainment System site ]
Yay, thanks! I really like DRAM too.

The two 2A03 compositions are here:
(The midi files are in the ZIPs along with stuff for making NSF files.)

A bunch of other T7ES MIDIs, including I Have a DRAM, are available in the t7eshero sources:

(The *score.mid versions are processed versions for t7eshero; ignore those.)

If you make remixes or anything, let me know. I love hearing those.

13483. Tungstein ( – 23 Oct 2017 20:44:57 NEW: Tom 7 Entertainment System site ]
I Have a Dram is flat one of my favorite songs in all genres, though Giant Stone Space station and Shortcut to a Wet Calm Boat are also stellar. Is there a midi file for those songs available for download?
13482. Anonymous ( – 18 Oct 2017 18:56:14 ARST ARSW ]
Thank You so much for making this video! It is very cool
13481. Anonymous ( – 16 Oct 2017 18:19:00 NEW: Tom 7 Entertainment System site ]
So dope!

-meinHeld, all the way from the future
13480. jonas ( – 09 Oct 2017 14:23:35 Old man gets older ]
Oh, that reminds me. The Pac Tom site says that back in 2012 you've spent a lot of time figuring out the best way to tie shoes. There's a pretty obsessive website about that topic at Ian's Shoelace Site. Since you've been running so much, you probably have a method good enough by now, but maybe some other blog reader is interested.
13479. jonas ( – 09 Oct 2017 14:17:32 Old man gets older ]
Thank you.

[ next 25 ]