asciilifeform: or take 'Permanence also includes security. Except for the on-chain PKI, in which case you're trusting Ethereum, you shouldn't yet trust Urbit's security at all. Sorry!'
asciilifeform: or how about 'Long-term permanence means you can put your ship on a USB stick in a box for 50 years, or 100, or 500, and when you turn it on in a modern interpreter it will upgrade itself and work fine.' << upgrade itself!
asciilifeform: 'Urbit does not use the lambda calculus, an environment or symbol table, or linking. Because it pushes name resolution out of the fundamental interpreter and up into the language, it can play many more namespace juggling tricks. And its build system has no trouble including multiple versions of the same library.' << didjaknow this were a feature?!
asciilifeform: err, i can't resist a few monumental laffs :
asciilifeform: i'ma leave the rest uncommented, there aint much to add i
asciilifeform: 'Nock, Hoon and Arvo didn't really rely on anything from 20th-century CS' << lol, aside from coupla GB of unix/c liquishit, and half a GB of ~own~ c liquishit..
asciilifeform: ox as well as it did for esr tho, his www already for year or 2 contains a begtron
asciilifeform: 'What will I do personally? I'll spend more time with my kids. I'll finish reading my 1911 Britannica – I am only on the B's. I have no other long-term plans. ... I am leaving not just the project but the field – no less than Satoshi, or Everett, or Rimbaud ... Will Satoshi weigh in on the next Bitcoin Cash fork? Did Rimbaud fly back from Ethiopia ...' << evidently d00d at least 'took the money and ran'. seems to have worked appr
asciilifeform: 'No one else ever built a purely functional operating system' incidentally also false, the haskell people tried ('house') , with the expected result ( i won't detail, literate reader can guess )
asciilifeform: i take a kind of perverse entomological interest in sad rsatrons. ( e.g.: bolix, interestingly, had a -- nonconstant time, of course -- bignum stack, but at least it was reasonably compact.. )
asciilifeform: btw didja know, mircea_popescu , that yarvin has an rsatron in there ? possibly will be remembered as the only rsatron gnarlier/buggier than kochs's, or even microshit's
asciilifeform: 'A bunch went to contest winners who solved a trivial Nock problem in 2010.' << didjaknow, trivial
asciilifeform: ( recall the 'i explicitly dun want it to resemble bitcoin!' item, which then seamlessly morphed into 'we have merged with ethertardium' with somehow straight face )
asciilifeform: that being said, i'd quite like a rk-like box with expandable rams. but it aint happening on the current budget.
asciilifeform: ( and even if were spares -- whole thing is baked of bga ic, where even if you invest in reballing machine, you have good odds of thing never booting again if you move the bga )
asciilifeform: thing brings out certain # of addr lines to the pcb, and nomoar
asciilifeform: BingoBoingo: on contemplation, this is yet another place where rk utterly wins -- it is possible to include a very compact source of backup power, survive fairly long brown/black-outs
asciilifeform: ( unfortunately these are impractical to transport )
asciilifeform: fwiw i did notice, when peeked into other racks, that some folx had independent ups .
asciilifeform: BingoBoingo: i'ma dig re price & where to get.
asciilifeform: BingoBoingo: i am thinking we oughta install a simple mains voltage logger (i've witnessed in the past, brownouts which took out 1 box ( where current load at the moment happened to exceed what's in the ps caps ) while leaving dozen others untouched.. )
asciilifeform: meanwhile, on uy1 , highest cpu temp recorded was 50c (10 hrs ago)
asciilifeform: ( in case it aint obvious , you gotta scale the #s, otherwise a even a 128bit multiplitron will take 'geological' time to output 1x1 )
asciilifeform: it's an interesting 'upside-down world', where, e.g., addition costs ~moar~ than multiplication ( i will leave as exercise, how it is done )
asciilifeform: ( if you have ~any correlation in the independent bitstreams , you won't converge . the academiderps tried to get around this by using constructed prng's, had the expected result -- buncha dead trees and 0 working devices )☟︎
asciilifeform: 1 of the reasons i put this in the l0gz is that when i went to dig, turned up that erry attempt to date to do sumthing nontrivial with 'stochastic multiplier' broke teeth against rng quality.
asciilifeform: so in the end you can multiply e.g. 9000 8192bit ints, with a single gate.
asciilifeform: why to do this, may seem a mystery, until realize that noise immunity means that you can use very fast logic elements , given as you aren't much concerned with 100% accuracy over small time period, only convergence.
asciilifeform: then to get integers back out, you run the process in reverse, via another comparator. it converges to the desired answer in finite ( depending on rng quality ) clock ticks.
asciilifeform: the output is n1 * n2 * ... n_n , cuz you represented'em as ~probabilities~☟︎
asciilifeform: then you feed'em all to a N-input AND gate.
asciilifeform: you represent the inputs ( any # of'em ) via stochasticizers, i.e. each 1 gets a comparator that eats N bits of rng and outputs a 1 if they represent integer <= the currently latched binary number, 0 otherwise.
asciilifeform: and meanwhile, in sunken atlantises : j. von neumann, the afaik last fella to really invent anyffin in re kompyooting, actually devised an interesting application for fast unbiased rng ( which did not exist in his time ). can use it to multiply large numbers with near-total noise immunity, using only an 'and' gate and two comparators.
asciilifeform: meanwhile, in world of entomology, https://archive.is/bJyyo ( piece re 'douchebags', where '...their earnings are equally depressing. The top seven participants in the Facebook data set averaged 0.87 bugs per month, earning an average yearly salary of $34,255; slightly less than what a pest control worker makes in Mississippi.'
asciilifeform: nao if they could also be persuaded to part with usg.dns... but i'd be satisfied to teach 'wash hands' , smallpox vaccination can happen after
asciilifeform: BingoBoingo: let's include a certain number of these.
asciilifeform: mircea_popescu: we did have some headache with the ssd, recall. the new models are in place ( iirc errrybody but mod6 has been swapped ) and seem to run cool to the touch, per BingoBoingo's observations
asciilifeform: mircea_popescu: this is correct, without iron, no moneys
asciilifeform: transport of crate aint exactly a mars mission, when we finally drum up demand and fill up the rk's, next crate can sail in short order.
asciilifeform: uy1 is bad enuff as 'central point of failure', would rather not create moar of'em.
asciilifeform: i'm averse to putting moar than that on 1 ps however.
asciilifeform: a 1u can comfortably house 16, per my latest model.
asciilifeform: mircea_popescu: a rk + disk is about 100bux ea.
asciilifeform: it is also time to speak of the next crate. and the customary four cargo slots. 1 is to contain a replacement for uy1 ( and ideally will run cuntoo . ) 1 will contain a 1u that holds rk's. this gives 2 1u slots remaining, they can be occupied by colo passengers, if these stand up and wish to ride , or pizarro irons, at BingoBoingo's option.☟︎
asciilifeform: i'd prefer to do this ~after~ the rk is made available to the affected folx.
asciilifeform: BingoBoingo et al : re uy1: if it continues humming along, as it presently appears to be, we gotta proclaim a maintenance window and properly stress test the thing, load cpu to max for coupla hrs
asciilifeform: ( really, ohnoez, socket costs fiddy cents too much ? )
