[godelmachine]

I thought it's not possible to paste the same link twice in HN, yet this appears for the 3rd time, as far as my memory permits.