80200+ entries in 0.028s
mircea_popescu: phillipsjk i have nfi what that's supposed to mean, if you care. what back taxes and how does it help ?!
mircea_popescu: asciilifeform give the man some toime, eh, he said might be, and so on.
mircea_popescu: danielpbarron do you recall why you negrated the dood ?
mircea_popescu: you have to READ the code. multiple times. multiple. many many times.
mircea_popescu: the "assisted" part simply signifies trhat the lazy operator intends to not do any work and still pretend like he has something to say.
mircea_popescu: no, "computer assisted proof checker" is jsut another way to say "i wave it before my cat and see if it mews".
mircea_popescu: phillipsjk what's keeping you from re-signing anyway ?
mircea_popescu: oh oh oh i see, 1 from me -one from daniel ok, i got confused. sorry trinque nothing unusal here.
mircea_popescu: stop "thinking" like that, it's not thought and it's not socially acceptable in adult males, either.
mircea_popescu: phillipsjk oh, the "wizard does it" thing emerges yes ? tell you what, loading up a label maker you put a "computer" label on with "correctes check passed" labes does nothing useful for everyone.
mircea_popescu: asciilifeform aww i was gonna check this lost key thing
mircea_popescu: if people can't review the code nobody's proving anything. ever.
mircea_popescu: phillipsjk do you have handy a graph depicting the relation between x and e^x ?
mircea_popescu: please tell me this "proven correct" isn't just anotgher idle handwave, "let that wizard over there do it"
mircea_popescu: moreover, it'd seem on the first pass that the "possible hidden fragility" of disallowing "large codebases" aka piles of crap nobody's ever read is preferable to the VERY LOUDLY OBVIOUS vulnerability of running black boxes
mircea_popescu: well, just as soon as you can be specific re that fragility, i'm, all ears.
mircea_popescu: i've been sitting here trying to recall which irrelevant scam "exchange" kraken is, can't really come up with much. was in the one the tradehills scammers made in their doomed but cheeky attempt to "come back" the usual coupla years later ? or was the one named after a pirate-era mpoe-pr post ?
mircea_popescu: this makes exactly absolutely no sense whatsoever. fees are per byte.
mircea_popescu: "the price of two strings tied to one can goes up to bla bla" ?
mircea_popescu: but then at once i told myself -- no, transaction fees are definitely having an effect!
mircea_popescu: but then, like a doubt occured to me. what if transaction fees aren't having an effect after all ?
mircea_popescu: at first, when i received your letter, i at once said : surely, transaction fees are having an effect.
mircea_popescu is not very keen for eg on "tsr" insta-kerne-patch-from-userland bs
mircea_popescu: whaack stop fucking around join/parting and nicking already.
mircea_popescu: both in terms of exposing the idiocy of the enemy in very specific terms, and in terms of providing solutions to teh problems.
mircea_popescu: the experience with making / using the fg turns out most useful, really.
mircea_popescu: asciilifeform in an ideal world we just hijack intel management engine to do that job.
mircea_popescu: "instead of making ten cars we made this bus with ten driver seats. talk it out among yourselves. there's bulletproof glass in some parts."
mircea_popescu: the model is fundamentally broken. you do not actually want a multi-user machine, ever, period.
mircea_popescu: there's also the "bunch of retards who think themselves competent and will wish to '''help'''" as per older threads re flies.
mircea_popescu: this is shapinbg up to be the achile's heel for lisp huh
mircea_popescu: they didn't turn into very sad shriveled raisins of pain for trying.
mircea_popescu: say between whatever phf runs log on and the log itself ; or whatever ben_vulpes runs the bot on and so forth
mircea_popescu: yes, but so far i am rather impressed with the demonstrated interop.
mircea_popescu: there's no absolute reason most of the dos thing can;t actually be lisp
mircea_popescu: asciilifeform how did yo9u want to spend life decade ago ?
mircea_popescu: ie, low level labour strife, "how to make capitalist incapable of using his own capital goods without feeding us"
mircea_popescu: on preponderence of evidence seems rather 1950s equivalent of historical "craftsman secrets" bs.
mircea_popescu: in general, seems dos model is the winner. i dunno wtf unix is even supposed to be, honestly.
mircea_popescu: by now, pretty much foregone conclusion. if we need it, they can't have it.
mircea_popescu: ah i saw lel. how long has it been for you, 2 years now ?
mircea_popescu: there's a reason the "security.nl" maggots say what they say.
mircea_popescu: basically it's the eternal culture shock. "i protest that this tmsr item is ideologically incompatible with the shitempire i inhabit" "blow it out your ass" "TERRORISM!"
mircea_popescu: whereas just feeding it into the kernel pool might help to some degree and is actually feasible.
mircea_popescu: yes. the idea being that your methiod while correct requires fixing all the shit programs. which ain't gonan happen. nor can it.
mircea_popescu: yes but they already got their userland, and it's a) shit and b) unrecompilable.
mircea_popescu: i suppose "driver" in context might mean a kernel patch to feed /random from fg