What are the /g/'s reading?
This
>>47002012
>mental calculation
deprecated
CLRS dynamic programming
>>47002012
>speed mathematics
1) Put problem into computer
2) Problem is done speedily
Apostol calc
Fuck I wish we used that instead of that Stewart garbage when I was in uni now it's too late ;_;
>>47002109
My nigga.
>>47002181
So Anon, tell me if Hanoi(64) halts.
>>47002469
>tell me if Hanoi(64) halts
Yeah, it does. Why?
>>47002645
Now ask your computer the same question.
>>47002662
Yeah, it says it does too.
>>47002707
Present code that solves this.
>>47002721
You are aware that you don't actually have to go through and get a solution to prove that ANY specific algorithm halts, right?
>>47002743
But you do :^)
>>47002757
Did you get the solution to Hanoi(64) before you yourself knew that it halts?
>>47002721
>>47002757
you're a retard and you don't understand the halting problem
>>47002721
it isT_0 &= 0; \\
T_n &= 2T_{n-1} + 1, \qquad \text{for}\ n>0.
So it reduces to
T_n = 2^n - 1, \qquad \text{for } n \ge 0.
my computer can do that.
Now speed arithmetic is fucking stupid.
>>47002757
um no you don't.
Unless you are trying to prove the generic halting problem which is NP hard and you will be the greatest genius of all time if you prove that.
>>47002723
Reading this bad boy right now, what should I read next? (First programming book I've read btw)
Should I just follow the meme and read me some SICP?
>>47001940
currently :
http://www.linuxfromscratch.org/lfs/view/systemd/chapter05/gcc-pass2.html
>>47001940
>Reading a book on how to get your freedoms raped by the Linux® Foundation
If that's not blind loyalty, I don't know what is.
>>47002109
My copy literally came today.
>$90 for American edition
>$20 for "Eastern edition"
>mfw book says 'not for sale outside of India or Malyasia'
http://en.wikipedia.org/wiki/Indian_English
