So this Urbit thing...
I don't personally think much of Curtis Yarvin. Yet another of the overambitious adolescent horde, talking big, always ready to overextend, perpetually inclined to hide, misrepresent and paper over the inexorable results of such overextension rather than confront them and in the process shatter infantile delusions of grandeur. What are you to expect, in a world devoid of mandatory draft and parental beatings this particular affliction of youth is unavoidable.
Recently he's made something I don't understand. People whose intellectual powers I respect have tried to explain it to me, over the past week, without success. It's likely that I'm thick. They did manage to get me to the point where I say "well, maybe there's something there" however, and such an event is never without repercussions. Time to pull the other one, as they say.
I am offering a 10 BTC reward for the first person to implement Strip Poker in Urbit.
No, you're not expected to provide the girl, I'm not being absurd here. I'll be adding the art assets below just as soon as a girl gets shoti, which presuming nobody flakes out too bad should be within a day or two. Meanwhile make reasonable assumptions (1 girl, 6 slides).
Let me know if you need anything else from me, and let me know when and how I can try it out. Good luck.
UPDATE, Dec 13th : Urbit has failed.
———- Yes, I'm having a special shoot for this, how about that! [↩]
Monday, 7 October 2013
I'll add my informed (and slightly biased) two cents to this:
Sounds like overly pretentious bullshit to me. What he's saying is basically "this has been already implemented, but I'm too lazy to dig into stuff smart people have been doing for decades, so I'll just reinvent the wheel". As noted on his own Moron Lab blog, people (starting with McCarthy, the scientist) have used this "approach to programming" before.
To quote further:
Now, this is a load of crap that shows how much lack of understanding of lambda calculus and other formalisms the guy has. Haskell is in fact based on functorial morphisms and cartesian closed categories, which only happen to be isomorphic to the lambda calculus. So instead he just calls this stuff "implements of metamathematical torture", because heck, why research stuff when you can just belittle it.
Oh, but don't worry, maybe one day he'll grow up and learn that mathematics are the only way to specify things unambiguously. Either way, good luck to him.
Monday, 7 October 2013
@spyked On the first part, the one excuse I can find is purely political : I wouldn't mind a computing environment completely opaque to everything else developed up until now. I wouldn't mind this at all.
Radical Bitcoin revolution is slowly brewing in my head, and I fully envisage a future where your credentials are either from the WoT or they don't exist, and people actively hide their fiat-university degrees on their resumes if they wish to not live on starvation diets as provided by the fiat government for the rest of their lives. A future world where Bitcoin has rendered taxation impossible, the courts powerless, government scrip irrelevant, a future world where nobody cares you know C or php any more than we today care you're an accomplished industrial lathe operator, from the days before CNC.
We've lived through this once before, you and me, those days not thirty years ago when suddenly a mastery of the textile bound works of Stalin and Lenin and Ceausescu didn't pay squat anymore, after having for many decades been the path to the top. A world in which people who stuck it through and worked for the government lived to be daily humiliated by the evil, nouveau riche "privatizati" & "buticari" & all that. I wish to see this again, and I suspect I will. Except, this time, on a global scale.
On the other score, I can attest that the guy's lambda calculus isn't exactly fresh since I know the guy who had to deduce substraction for him. I am certainly persuaded he's doing a lot of posturing and a lot less actually useful technical stuff. I am currently "giving it the benefit of the doubt", the polite way to denote cognitive dissonance. In my defense, it's not reasonable to expect of kids to be really good at anything in particular, it's just enough for them to have roughly the right idea, and do enough hopping up and down to get the actual adults give it a looksee. Satoshi's C sucked just as much, and yet here I am.
Monday, 7 October 2013
You bastards!
Monday, 7 October 2013
Aww, it wasn't that bad. The trick, of course, was to play it with a bunch of girls rather than a bunch of other boys.
Monday, 7 October 2013
Link to some newspaper or relevant shit pls.
I tried "Urbit", "Urbit new programming language", "Urbit programming" into Google News and it only returned some italian unrelated articles, some 'orbit' and some more unrelated stuff. So it didn't make it to any press.
Moreover, this Popescu guy with a blog comments on it, then he talks about bitcoin and mixes with communism! For a revolution!
Reality pls drugs are bad.
Monday, 7 October 2013
Maybe it's not for you.
Monday, 7 October 2013
I probably should have explained that MM derived his own subtraction, etc. just fine.
But he did put the exercise up as a challenge to other people in 2010, all of whom (yours truly included) were consequently crowned as "Urbit dukes" (and handed out one of the 255 crypto root certs. The rest, he is selling, $4K each if I'm not mistaken. There have already been several takers.)
Monday, 7 October 2013
I actually wasn't thinking of you in this context. That aside, it'd be a novel idea that CY can actually do lambda calculus, if memory vaguely serves he even disclaims such himself.
Tuesday, 8 October 2013
http://www.ascii-art.de/ascii/xyz/xxx.txt
Friday, 13 December 2013
Well... two months should have been enough. Urbit has failed, this offer is now closed.
Friday, 13 December 2013
Incidentally: my Urbit "dukedom" is for sale, starting now. Anyone interested should visit my site for details.
Friday, 13 December 2013
You know, an auction model with no reserve and a 5 BTC buyout clause would a) offer the guarantee to in the end relieve you of the respective feudal obligation ; b) ensure an actual price is established for the thing, through the workings of the free market and c) generate more discussion. (b and c subject to the item itself presenting any interest to the public, of course.)