4 ms·

Can you please link to or point to the recent results in computability theory that you are talking about? Also, is your code for exploring Turing machines publ

Can you please link to or point to the recent results in computability theory that you are talking about? Also, is your code for exploring Turing machines public? We could perhaps use it in our project (see my other comment)

Xcelerate 8y ago
Looks like the paper is a lot older than I thought it was: https://arxiv.org/abs/math/0504351 https://arxiv.org/abs/math/0504351 My code isn't public at the moment. It's written in Julia and rather messy so I'd have to clean it up a bit, but I wouldn't be opposed to putting it on Github. I really like your project idea btw. It never occurred to me that all that time and energy wasted on proofs of work could be spent approximating the universal distribution. That could be really valuable.
- paraschopra 8y ago
  Actually I just found out a video on the related idea where halting probability is proposed to be 1 (the argument uses genetic programming techniques): https://www.youtube.com/watch?v=fst40OxKX7o https://www.youtube.com/watch?v=fst40OxKX7o
- saalweachter 8y ago
  Re: "my code is messy", if it's code you're willing to share, I wouldn't hold messiness -- either in the "it's not properly formatted and all the variables are i, ii, iii, ijk, ..." or in the "I realized the overall structure was wrong and it needs a major refactoring" sense -- to be a barrier to sharing. Most of the problems with sharing messy code are purely in the author's head ("please don't let other people know how terrible my code is") and once you actually bite the bullet and just push the code, it turns out to be like most secrets, really stressful to keep secret and actually not that big of a deal once everyone hears it. And for the real code problems, the broken corner cases and unfinished tests, well, if you put it on Github someone else might fix it for you :-)

4 ms·

Can you please link to or point to the recent results in computability theory that you are talking about? Also, is your code for exploring Turing machines publ

by paraschopra 8y ago

Xcelerate 8y ago
Looks like the paper is a lot older than I thought it was: https://arxiv.org/abs/math/0504351 https://arxiv.org/abs/math/0504351 My code isn't public at the moment. It's written in Julia and rather messy so I'd have to clean it up a bit, but I wouldn't be opposed to putting it on Github. I really like your project idea btw. It never occurred to me that all that time and energy wasted on proofs of work could be spent approximating the universal distribution. That could be really valuable.
- paraschopra 8y ago
  Actually I just found out a video on the related idea where halting probability is proposed to be 1 (the argument uses genetic programming techniques): https://www.youtube.com/watch?v=fst40OxKX7o https://www.youtube.com/watch?v=fst40OxKX7o
- saalweachter 8y ago
  Re: "my code is messy", if it's code you're willing to share, I wouldn't hold messiness -- either in the "it's not properly formatted and all the variables are i, ii, iii, ijk, ..." or in the "I realized the overall structure was wrong and it needs a major refactoring" sense -- to be a barrier to sharing. Most of the problems with sharing messy code are purely in the author's head ("please don't let other people know how terrible my code is") and once you actually bite the bullet and just push the code, it turns out to be like most secrets, really stressful to keep secret and actually not that big of a deal once everyone hears it. And for the real code problems, the broken corner cases and unfinished tests, well, if you put it on Github someone else might fix it for you :-)