Thanks Nate! There is no one secret, but I will say:
- Write down all your ideas, even the bad ones.
- Always use your best idea; don't hoard them.
- Every project has awful slogs in it and your body and brain tell you to just give up. Not giving up in those moments is what I think it feels like to "be creative," so you just have to be willing to suffer that stuff.
It seems you can use the editor straight from the source repository:
http://svn.code.sf.net/p/tom7misc/svn/trunk/anagraph/editor-ceors.html
Begin by hitting backtick to switch modes, but you probably need to view the source code (editor.js) to make any sense of the UI. Unfortunately you won't be able to save without downloading the helper app and compiling it (and good luck; it's Standard ML), so it won't be that usable except just to mess around. But obviously feel free... |
| |
You still have a few hours to post.
|
| |
Hey tom i had an error with playfun it reads
SDLNet_TCP_Open(127.0.0.1:8000): Couldn't connect to remote host |
| |
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.)
|
| |
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). |
| |
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?
|
| |
That's quite a lot.
Also, why do the comments record IP addresses? |
| |
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. |
| |
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! |
| |
So with 159 days, how much have you run so far?
(Turing machine lecture runs like an MITCourseWare video by the way) |
| |
13495. Anonymous (122-60-103-125.jetstream.xtra.co.nz) –
07 Dec 2017 02:20:26
[ ARST ARSW ]
h |
| |
13494. Tom 7 (pool-74-109-242-55.pitbpa.fios.verizon.net) –
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! |
| |
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 (griffin.dolphio.hu) –
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. |
| |
You have very few hours left to post an entry for November.
|
| |
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. :/ |
| |
Don't you want to give us a version for Android ? All the games we can find nowadays are stupid and infested by ads ! |
| |
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 interesting...got 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 did...next 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 links...ps now I know its worth posting my album in a day on line... |
| |
|
|
| |
13486. Tom 7 (pool-74-109-242-55.pitbpa.fios.verizon.net) –
31 Oct 2017 23:10:19
[ Old man gets older ]
IMPORTANT UPDATE. I beat Calamity Ganon and liberated all 120 shrines. |
| |
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). |
| |
Yay, thanks! I really like DRAM too.
The two 2A03 compositions are here:
www.cs.cmu.edu/~tom7/midimml/
(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:
svn.code.sf.net/p/tom7misc/svn/trunk/t7eshero/songs/
(The *score.mid versions are processed versions for t7eshero; ignore those.)
If you make remixes or anything, let me know. I love hearing those.
|
| |
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 (169.236.78.21) –
18 Oct 2017 18:56:14
[ ARST ARSW ]
Thank You so much for making this video! It is very cool |
| |
So dope!
-meinHeld, all the way from the future |
| |