asciilifeform: after that they went to '3d'
asciilifeform: iirc that was last one i saw ( and the only 1 in orig lang )
asciilifeform: hey i even managed to see disneys. a coupla, with the trad ru dubbing translator with clothspin on his nose going mmmm
mircea_popescu: right, cuz the part where "it fucking worked" is something "we've all moved past" rite.
asciilifeform: the notion that sumbody might turn away from 'modernity' consciously, rather than because alzheimer patient, apparently is a bridge too far for some folx
asciilifeform: it's at least the 5th time i got that q, nearly lost count
asciilifeform: it was quite similar, imho, to the gabriel laddel fella. clearly there was 'somebody home' in the crankcase, but under a thick haze of substances and detritus from indiscriminate suction of ??? from heathendom. 'salvation of the drowning is work for the selfsame drowning', what can i say.
mircea_popescu: just like all bois could in fact be reproduced, if there were somewhere a girl with sufficient patience. there isn't.
mircea_popescu: in fact, pretty much every single pantsuit mental cockroach can be deduced from a+b above, ~including~ the strictly contradictory bits, and also including the psychotic nonsednse that allows them to maintain contradictory beliefs.
asciilifeform: folx ~do~ on occasion get out of e.g. the bottle. but ~this~ appears to be incurable, medicine is powerless.
mircea_popescu: usual set of a) "you're special" cuntlet nonsense and b) "if its hard it means you don't have to do it" ustardation. they interplay the same way everywhere, it's a coherently broken philosophical system
asciilifeform: mircea_popescu: i still can't make heads or tails of wtf was in that d00d's head. shows symptoms of some kinda maths education. but omfg the 'cd-r brain'.
mircea_popescu: there's not this miracle in nature, "i know he doesn't wash, but he's a great guy!"
asciilifeform: ( and , in fact ~to the credit of~ koch, at least the latter didn't fuck about with 'proofs' )
asciilifeform: mircea_popescu: well, asciilifeform is not usually the 'Пастернака не читал, но осуждаю'(tm)(r) type. so yes tried to read.
mircea_popescu: btw Mocky -- teh bot dies through the following : often it makes so much stuff in one click it overwhelms its weight carrying capacity. any chance you can implement a fragmenter-if-overweight ? it's often enough to be a pain in the ass by now.
mircea_popescu: though maybe BingoBoingo feels like updating the piece that started teh discussion with the corresponding mockery.
mircea_popescu: trinque re http://btcbase.org/log/2018-11-28#1875902 : considering both items in http://btcbase.org/log/2018-11-28#1875860 are at 6+ confirms now, i'd say the point re the utter irelevancy and thorough ireality of usg and its figments is well made enough to not need me to throw away dimes to rando idiot spammers.
asciilifeform: ( there are 'lifers' in ru, typically 5+ corpses on ea., but they typically have life expectancy of ~7y . 1 survived to parole age last yr, it was enuff of an oddity that it was taken up in the fishwraps as newz )
BingoBoingo: The Uruguayos don't tend to lockup people for very long. Year+ in prison seems to be an anomaly
asciilifeform: jailers pull'em down with hooks, so they get rebuilt regularly.
asciilifeform: ( technically 'horse' is the spitball, 'road' is the rope, but again in eng world whoknows, maybe whole tradition died/never born )
asciilifeform: ( in ru variant, moar laborious cuz their setup tends to look moar like https://www.tyurem.net/album/images/narva_55_jpg.jpg -- iron grate sorta like on modern 'central ac' duct, gotta be pried apart a little with sumthing )
asciilifeform: the procedure for making the 'road' go is quite elaborate and much dwelled on in ru prison lit. ( gotta pull apart a sock, weave rope, make 'fishing rod' out of paper + bread glue etc , then run the 'horse' )
BingoBoingo: Anyways, Libertad is about a third of the way from Montevideo to Colonia
asciilifeform: d00d whose cot is by the grate has the duty of 'keeping the road', as they called it (again nfi in english world what it is called there, much less in spanish empire)
asciilifeform: look specifically in http://archive.is/M4NEr -- the center 2 cells on bottom 2 rows are linked with horses
asciilifeform: ( in ru world they're кони , 'horses' )
asciilifeform: y'know, between the adjacent cell grates
a111: Logged on 2018-11-30 09:12 mircea_popescu: asciilifeform right, "lalala i can't hear you" until the very last moment, when the curtain drops. because why the fuck not, hurr.
asciilifeform: https://github.com/project-everest/hacl-star/blob/master/code/bignum/Hacl.Spec.Bignum.Fproduct.fst << holy fuq, the sort of liquishit that d00d's links offered as proofolade... picture trying to ~read~ this. ( and there's 9000 of'em )
mircea_popescu: all this "self-confidence is the only education needed" nonsense reheheheally paid off.
mircea_popescu: asciilifeform right, "lalala i can't hear you" until the very last moment, when the curtain drops. because why the fuck not, hurr.
mircea_popescu: next shit out of your dumb mouth fails to string match apologizing for being quite so fucking stupid, i'ma fix the negligence whereby you can still speak here.
mircea_popescu: what the everloving fuck.
mircea_popescu: http://btcbase.org/log/2018-11-30#1876164 << dude, get the fuck off the planet, and take your pompously vacuous self-important idiocy with you.
asciilifeform: btw , q for ffa readership, can anybody think of a way to make the digit slider routine non8bitbyte-clean ? ( beyond having ffa eat its pistol on boot if it finds itself on such machine, lol )
asciilifeform: i'ma bet was not acctd for in the 'proof'isms..
a111: Logged on 2018-11-30 03:22 asciilifeform: ... or that the #define ULT(a, b) ((a ^ ((a ^ b) | ((a - b) ^ b))) >> (sizeof(a) * 8 - 1)) macro dun turn to barf in the preprocessor on acct of some esoteric beard shaving from dennis richie ?
asciilifeform: let's bounce the rubble, also.. http://btcbase.org/log/2018-11-30#1876304 >> ftr i have iron right here where this will bomb, cuz byte not 8bit there.
asciilifeform: http://btcbase.org/log/2018-11-30#1876333 << dun seem to be in the logs, possibly was in a private letter from sumbody..
asciilifeform: it is result of the specific mathematical approach taken. where code must remain SMALL and NO branching on cryptobits, other than death on div0, is permitted. no memory indexing on cryptobits, either.
zx2c4: what you've described sounds good. im wondering if it's the result of comments, the result of just better organized code, or the result of some nice features of ada you're using
asciilifeform: consider to read the series.
asciilifeform: i can show this because the inputs , for given size, literally do not affect the program branch flow.
asciilifeform: ... or that the #define ULT(a, b) ((a ^ ((a ^ b) | ((a - b) ^ b))) >> (sizeof(a) * 8 - 1)) macro dun turn to barf in the preprocessor on acct of some esoteric beard shaving from dennis richie ?
asciilifeform: does your proof demonstrate that none of them can overflow, regardless of what happens , say ?
asciilifeform: what i see in the link, is a buncha c code, with pointerisms
asciilifeform: lessee the proof ?
asciilifeform: can you, for the one for that routine you linked ?
zx2c4: in the example above, its pretty easy to prove that by hand
asciilifeform: if you can follow the proof by hand
asciilifeform: it dun verify jack shit. is machine barf. just like the raw output of your compiler, except less meaningful
zx2c4: later if im changing the code
zx2c4: rather than proof
zx2c4: and then think backwards in order to reason about its correctness later
zx2c4: oh. yea, as i said, they're mostly just tools
asciilifeform: i'd hope that i dun have to explain that when you write a cryptosystem, you are in fact asking other people to do this.
zx2c4: no. they're mostly just tools
asciilifeform: i.e. wouldja bet life of self, wives, pets, whole clan of yours, on there being no boojum in coq, z3, other claimed brain substitute of the day ?
zx2c4: that z3 script gives a little more assurance we didn't screw up the radix conversion here
zx2c4: (i learned algebra back in the day from a professor who wrote a haskell program to generate our textbook... presumably in your mind, my foundational education could not be more screwed up https://en.wikipedia.org/wiki/Dave_Bayer )
asciilifeform: homeopaths at least only bamboozle the irredeemably stupid
zx2c4: more seriously, if you're mostly after small computer programs to help you out when exploring a field but eventually do the proof by hand, z3 and sage wind up being super practical as day to day work horses
zx2c4: well, as it turns out, coq had some amazing fallacy in its core code a few years back resulting in the ability to prove any statement true...
zx2c4: i can see that critique of haskellism. endless intellectual masturbation (hello trilema?) that doesn't actually drive at any essential truth. there's a particular benefit in demanding truths remain small rather than large
asciilifeform: zx2c4: lemme ask, on what authority am i to accept the correctness of a proof generated via e.g. coq ?
zx2c4: I agree with you in spirit -- I think learning details of a proof enough that you have all of it in your head is a good pedagogical approach and gives you more mathematical agility as you progress forward. I just don't know about the ontological statement regarding the proof's validity
asciilifeform: zx2c4: whole reason i bother with this thread is to explain why no, i would ~not~ like to suck the coq, if you will
zx2c4: oh. then derive and macsyma surely are jokes
zx2c4: a temporary buffer, rather than a rolling log
zx2c4: so perhaps you prefer chalk and slate to paper then
asciilifeform: but they are devices for eventually rearranging contents of your head, permanently, rather than substitutes for head,
asciilifeform: grasp obvious in its totality, as in there is literally NO hesitation to strap the thing on and 'if mistake -- any mistake -- i hit cement at terminal velocity'
zx2c4: alright and you'd freely admit that when you write things down and solve intermediate lemmas, its often the case that by the time you get to the end, you don't have in the forefront of your brain the details of all intermediate steps anymore
asciilifeform: so long as in the end it clicks in your crankcase and is as obvious as that and gate.
zx2c4: so this state of "being proven" for you -- it requires some kind of intuitive bullet shot from start to finish of all particulars of a certain logical progression? and any deference of that to outside tools (like paper, or intermediate results with forgotten details) ruin the intuition?
asciilifeform: let's take from other end of digestive tract. consider 1 AND gate. idealized, no metastability, no breakdown voltages, literally 'ands' two logical values. ( can have physically limited to % of c speed, if you like, but this is uninportant )
zx2c4: > At this time we will walk through the mechanics of our Karatsuba multiplier, so as to cement in the reader’s head the correctness of the routine, and lay groundwork for the optimization which is introduced in Ch. 12B.
asciilifeform: the attribute which permits this approach, vs haskellism and other idolatrous rituals to mechanical molloch, is called 'fits in head'.
asciilifeform: the statement is quite serious, i and some yet-unknown number of other people will literally bet arse on our grasp of ffa correctness.
zx2c4: I more or less know the process involved but don't have all of the steps in my head. And as I wrote it down, I forget the details of previously written steps while working out current new steps. Yet I have faith in the process of writing it down systematically and having intermediate results from pages prior
asciilifeform: ffa. see esp the passage re parachute.
asciilifeform: fortunately there is a convenient demo
zx2c4: There are some things I could only prove if I had a paper
asciilifeform: gotta actually exist ( and 'genius' btw is the fella who makes the 'fit in 1 head' fit in 9000. )
zx2c4: Oh, I mean, if you're willing to allow for anybody's head (as i presume you mean by mentioning ~whose~ head), then you just posit an incredible genius
asciilifeform: zx2c4: theorem that dun fit in any 1 skullcase, aint proven.
zx2c4: Write down thoughts from one day, use writings to your benefit the second day, and now you're two people in essence
zx2c4: Well of course everyone prefers simpler proofs that fit in the head
zx2c4: They write proofs in F* showing equivalence between some functional description and some imperative description
asciilifeform: wtf is the point of 'here's a proof but you need this here 100MB of gnarl to ~run~ it and of course you will trust output, or are you a terrorist'
asciilifeform: zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .
a111: Logged on 2018-05-04 17:23 asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops.
asciilifeform: zx2c4: weren't you here last yr for a 'the technical cannot be separated from the political' and 'if program+all accessories doesn't Fit In Head, it is garbage, not proof' thread ?
asciilifeform: the what?
zx2c4: you dont think the borrow checker eliminates large classes of problems in a performant and somewhat elegant way?
asciilifeform: in all seriousness, i don't even presently know of a more leprous pile of shit, either on pedigree or technical pov.
zx2c4: also i'm wondering what the usual trilema party line is on rust vs ada
zx2c4: the second is wireguard needs funding for 2019 and thought this nation might help carry the weight
zx2c4: the first is curosity
zx2c4: one benign, one bothersome
a111: Logged on 2018-11-29 19:21 diana_coman: asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc
a111: Logged on 2018-11-29 19:10 asciilifeform: ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls )
mircea_popescu: http://btcbase.org/log/2018-11-29#1876053 << the dependency shitballs are very much the problem though. dragging in all sorts of crap, by the mn loc, including wxwidgets or w/e, not to mention crapossl and so on.
a111: Logged on 2018-11-29 22:50 asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. )
a111: Logged on 2018-11-29 17:23 asciilifeform: and (at least in asciilifeform's observation) the competent engineer types get to bottle ~sooner~ than the chair warmers.
mircea_popescu: http://btcbase.org/log/2018-11-29#1875991 <<-->> http://btcbase.org/log/2018-11-29#1876120 remarkable similarity. i suppose at this point to repeat that "socialism is about hindering the worthy to prop up the unworthy" is too much of a truism.
a111: Logged on 2018-07-14 00:16 lobbes: http://btcbase.org/log/2018-05-22#1816438 << in other news, you were not kidding! my trb (hdd + aggression) has moved a mere 20K blocks in one month
asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. )
asciilifeform: srsly, whoever's poor neglected box this is -- fucking put in 'aggression' or pull the plug, thing is eating mains current to no useful end
asciilifeform: right. ( and as presently stands, i've abolished all but 1 of the algos where this actually takes place )
a111: Logged on 2018-11-29 19:30 diana_coman: yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op?
asciilifeform: anyffing that dun make immediate sense in ~that~ light oughta be either changed or commented.
asciilifeform: my current aim is that in ch22 ( see also http://www.loper-os.org/?p=2735 ) any subcomponents not used, are to be cut; and any that have strictly 1 invocation, are to be made sub-functions and remain visible solely in the scope where used.
diana_coman: that's fine, note that my feedback is given as I read them so without actual knowledge of what happens later/where exactly they are used
asciilifeform: orig was writing from pov of 'most general possible set of subcomponents' , but this is not necessarily what is wanted in the end product, esp. from loc-cut pov.
asciilifeform: at 1 time, was used in the constant entry ( nibble inserter ) routine, then the latter was replaced with rewritten http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_io__adb.htm#29_14 , nao sole remaining use is in the knuth divider.
asciilifeform: diana_coman: i'ma also note, _O_I is used strictly in fz_mod : http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_divis__adb.htm#83_14 ; prolly oughta be inlined ~there~ and abolished as a global (even internally) function.
asciilifeform: incidentally even the currently given 'external api' is eventually to be 'internalized', in the sense that user input is expected to be in P-code (presently named as 'ffacalc') and output ditto
asciilifeform: and in principle i'm not averse to adding detail to comments. ( this is exactly the reason why comments exist -- show what is not necessarily evident from the coad )
asciilifeform: ( the only guarantee i can offer in good conscience is that nuffin can be broken by operating the ~external~ controls -- but even there user is required to see whether his cpu has barrel shifter (see ch13 discussion) , constant-time mul ( see ch9 discussion ) )
asciilifeform: but the same guarantee cannot be given for erry internal component, not without geological runtime.
asciilifeform: idea being , exported routines ( current set is shown in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa__ads.htm ) are to be 'safe on all electrically possible inputs' , with the exception of div0 (user is commanded to test for div0, as example in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm#172_17 )
asciilifeform: and this is prolly not the only instance of the item. ( i discussed it briefly in ch11 , in the section where preconditions -- ended up moving many preconditions to the exported wrappers, they slow things down quite substantially when present on inner-looped invocations, as they prevent (for obv reason) inliner )
asciilifeform: this is one of the reasons why.
asciilifeform: observe that the operators of fz_shifts are not exported in ffa.ads ( ch11 unified api ) , they are strictly for internal use in the lib.
asciilifeform: it will produce garbage, yes. i considered to make OF_in a limited type, but it would slow down the place where the item is actually used, substantially ( ada does not offer a fast bit-count-on-word operation )
diana_coman: yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op?
diana_coman: i.e. if one shifts right by 2 bits but provides an overflow of 8 bits than 6 of them get simply or-ed, it's not like they get pushed in
asciilifeform: diana_coman: btw you may find it entertaining that i found several vers of the carry & borrow eqns in my orig notes -- including yours. but for some reason i originally rejected that variant because it needed 2 accesses to the result D . but i neglected to write down why, possibly was simple brain fluke.
diana_coman: asciilifeform, the only thing re ch3 that I keep circling because not entirely clear why so is the "overflow in means *or* on word"
asciilifeform: the tricky bit is that remaining 5% -- ops introduced since that draft, loadable microcode, init logic, etc )
asciilifeform: on other front, phf : on occasion of the most recent bolix thread , i went and looked again at the http://btcbase.org/log/2018-01-17#1771955 artifact ; it is interesting that they provided 128 iron types, incl. bignum, but not a 'bignum of fixed N words'. i guess in '80s ~nobody was thinking of crypto at all. ( and i was prolly unduly pessimistic to the orig finder of $item, it is prolly 95% of what's needed for cycle-accurate clone.
diana_coman: asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc
a111: Logged on 2018-10-25 19:15 asciilifeform: at the risk of repeating ancient thread -- 'the best machine is no machine', it weighs nuffin, needs no maintenance. and the best proggy, is no proggy at all, if a problem can be solved without writing proggy, it ought to be. erry line of coad can be rightfully pictured as an act of intellectual littering. y'know, like throwing cig butt or bottle on the ground in the park.
asciilifeform: ( and on the other end of the digestive tract -- inlining. i'ma quite certainly issue a v-branch that removes inlining, on microcontroller it typically wins 0 , while making 100x bulkier bin )
asciilifeform: 1 of the reasons i wrote the series with the 'and here we have egypt', 'and now we remove egypt', etc. is specifically to show 'well you can cut 1000 ln here if you're ok with 500x longer run times' , i can picture applications where one might want this
a111: Logged on 2017-07-08 03:49 asciilifeform: i just counted gpg 1.4.10 : 156,436 loc -- and that ain't counting the autoconf liquishit, or the libs it pulls in
asciilifeform: ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls )
asciilifeform: in unrelated lulz, $ wc -l libffa/* >> 3930 , $ wc -l ffacalc/* >> 1184 ; and story not even finished yet. ( tho ch1's 'RSA occupies around 3000 lines, incl. comments' was not a lie, it's exactly what the minimal rsa of ch9 weighs... )
asciilifeform: http://btcbase.org/log/2018-11-29#1876034 >> '... degree in chemistry from the University of ...' << tovarasul elena ceausescu !111
a111: Logged on 2018-11-29 18:15 mircea_popescu: http://btcbase.org/log/2018-11-29#1875978 << fuck sunlight, i spent hours in the tropically warm bay waters slutwrestling, i am so burned i'm peeling.
BingoBoingo: It takes more than 37 argentine pesos to get a dollar on this side of the river
mircea_popescu: "oh, dollar '''strengthened''', this building's value DOUBLED TO MATCH brekekekekekeke"
mircea_popescu: and i bet you they're STILL going around pretending.
mircea_popescu: ahahaa argentine peso 37 to the dollar. fucktards.
a111: Logged on 2018-11-29 17:10 Mocky: in truth i do feel like idjit for being old man without the brains to have saved anything. i don't even have a workshop full of shit like asciilifeform
a111: Logged on 2018-11-29 17:08 asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases
mircea_popescu: http://btcbase.org/log/2018-11-29#1875978 << fuck sunlight, i spent hours in the tropically warm bay waters slutwrestling, i am so burned i'm peeling.
asciilifeform: ( is there a prb plugin for excel yet ?1 )
asciilifeform: i have nfi what they get, for all i know 'wall street' is 100% microshit-excel powered even now.
asciilifeform: those folx do occasionally pay for software to be written, but the work (perhaps deservingly) is ranked as janitorial and paid accordingly (esp. given where the grunts are to live)
mircea_popescu: back in the days of pam grier's youth, her brother going "i'm black. i don't dance. i don't athlete. i don't sing. wtf should i do ?!" was kind-of a joke. now though...
asciilifeform: and makes sense that 'partying at approved place', otherwise grunt could party at who-knows, maybe run mouth..
mircea_popescu: i meant re the bottle. your "boss" will take you "partying" at approved venues etc.
asciilifeform: mircea_popescu: by my reckoning, ~90% of the software worx in usa ( just about all of remainder being -- direct usgisms )
a111: Logged on 2018-11-29 17:00 asciilifeform: Mocky: i've even worked in a salt mine where the bottle was Officially (i shit thee not) issued, erry friday at noon.
mircea_popescu: led to the usual symptoms of imperial decay -- monetization of real estate (a bad idea throughout, even if it repatriated the money japs made selling toyotas/sinking detroit in the 70s -- sorta like arsenic is bad for you even if it "keeps syphilis inactive" and so on) ; the star model driving and being driven by the fashion cycle, and so the fuck on.
a111: Logged on 2018-11-29 16:48 Mocky: i'm convinced this whole ecosystem of outside recruiters is 100% byproduct of startup "investing" that props up the illusion of "high growth" companies that burn thru cash by hiring people so they will qualify for more money
mircea_popescu: http://btcbase.org/log/2018-11-29#1875964 << quite exactly. you ever read http://trilema.com/2015/you-know-what-gets-no-airplay-unflattering-truth/ ? there's a complex GRP-like system that folded the us economy, and yes the red hot core was mis"investing".
a111: Logged on 2018-11-29 16:43 Mocky: this is why i worked for the same company for 14 years, i hate this shit. but also what made me soft target for their betrayal
mircea_popescu: the problem with a country consisting of doing-other-people's-laundry expects is that... well...
a111: Logged on 2018-11-29 16:42 Mocky: so many damn recruiters. they're like mosquitos in a swamp. they all want to 'have a call' and then 'a skype' 'see if you'll be a good fit'. ugh. two years out of college with a degree in hr, you're gonna decide if i'm worthy to be submitted for a job, and then pressure me to take low ball offer.
mircea_popescu: was pretty lulzy, typical-to-TV-altreality new york "contractor", "well... we'll have to put 8 men on it in three shifts... that's 54876983769287563984798634... and then..."
a111: Logged on 2018-11-29 15:07 asciilifeform: ( and iirc, the cost is in fact ~open-ended~, and is proportionate to how many hours the pinkertons actually feel like sinking into particular d00d )
mircea_popescu: http://btcbase.org/log/2018-11-29#1875954 << whole shitshow runs like that, "open ended", to make the most of "moneyed". i recall back when i was looking at shooting lawsky imbecile in the head, had brief discussion with "legitimate" new york "detective agency".
a111: Logged on 2018-11-29 16:17 Mocky: looks like Roger Ver's bitcoin.com is looking for java and js developers for their mining team http://archive.is/MlomS
mircea_popescu: http://btcbase.org/log/2018-11-29#1875956 << in similar news, there's a gautier, mississippi.
asciilifeform: and (at least in asciilifeform's observation) the competent engineer types get to bottle ~sooner~ than the chair warmers.
asciilifeform: some folx get to the bottle after 20yrs in workschwitz and cowardice, some after 1,2,3,4 attempts to break out, end result same
asciilifeform: ( another great way to lose shirt is 'start company , try to sell useful product ' , a+++ worxxx )
asciilifeform: it dun even matter so much what the supposed 'savings' are denominated in -- eventually you're out of work and they get wiped.
a111: Logged on 2016-11-29 02:36 asciilifeform: there was iirc something about how an economic landscape stable enough for 'savings' is an ephemeral and quite unnatural thing, rather like billiard table
asciilifeform: Mocky: to a 1st approximation, 'saving' in the reich dun actually work, see e.g. http://btcbase.org/log/2018-08-23#1843888 , http://btcbase.org/log/2017-06-05#1666161 , http://btcbase.org/log/2016-11-29#1574483 , elsewhere.
BingoBoingo: https://www.elobservador.com.uy/nota/-como-estan-hoy-los-precios-para-alquilar-en-la-temporada-de-verano--2018101920160 << Argentina's pesos falls, but the attempted controlled descent taking Uruguay's peso down is "The dollar strengthening"
asciilifeform: arguably it is better to be '100% theoretical' and have 'workshop' that fits in briefcase, as e.g. phf does
Mocky: in truth i do feel like idjit for being old man without the brains to have saved anything. i don't even have a workshop full of shit like asciilifeform
asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases
Mocky: I interviewed with a job once that offered "unlimited paid time off" but inside reports were that anyone who tried to use was instantly on the shit list
Mocky: haven't seen it with my own eyes, even then
asciilifeform: afaik this went away with the 1st 'dotcom' hysteria
a111: Logged on 2018-11-28 22:46 asciilifeform: ( d00d had pretty good gig: opened safe in the morning, closed in evening, and played 'wow' all day... )
asciilifeform: Mocky: i've even worked in a salt mine where the bottle was Officially (i shit thee not) issued, erry friday at noon.
Mocky: i'm convinced this whole ecosystem of outside recruiters is 100% byproduct of startup "investing" that props up the illusion of "high growth" companies that burn thru cash by hiring people so they will qualify for more money
Mocky: this is why i worked for the same company for 14 years, i hate this shit. but also what made me soft target for their betrayal
Mocky: so many damn recruiters. they're like mosquitos in a swamp. they all want to 'have a call' and then 'a skype' 'see if you'll be a good fit'. ugh. two years out of college with a degree in hr, you're gonna decide if i'm worthy to be submitted for a job, and then pressure me to take low ball offer.
a111: Logged on 2018-11-20 03:38 mircea_popescu: i have nfi, it's pretty fucking lulzy though. i mean, there's a long list of these defeateds by "fate", but he's one of the most hysterically humiliated humbugs.
Mocky: looks like Roger Ver's bitcoin.com is looking for java and js developers for their mining team http://archive.is/MlomS
asciilifeform: traditionally, folx who show symptoms of being able to survive outside of the reich, disqualified.
asciilifeform: ( and iirc, the cost is in fact ~open-ended~, and is proportionate to how many hours the pinkertons actually feel like sinking into particular d00d )
a111: Logged on 2018-11-29 06:09 mircea_popescu: incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
asciilifeform: http://btcbase.org/log/2018-11-29#1875928 << it does indeed ; usg ministry of whateverthefuck in fact charges corp 20-30k $ for the privilege of having a new d00d pierced into secre-pederasty
asciilifeform: presumably they've introduced some new demented syntax for integer divides ? i have nfi, and could not be arsed to find out.
asciilifeform: http://btcbase.org/log/2018-11-29#1875930 << hilariously, i recently tried to run a simple numeric proggy on a box infested with python3 , and found that it utterly breaks the numeric stack : once you do e.g. x = x / 3 you can no longer e.g. x >> 1 -- because the / converted it to 'float' ! holy mother of fuck.
asciilifeform: presently, cuntoo won't run there (even if trinque's process can be coaxed into building arm64 bins) cuz it has no way of blessing the kernel.
asciilifeform: then and only then , c101pa will turn into an item like rk, where you can operate strictly with self-built contents
asciilifeform: it's a solvable, of course, problem , theoretically 100% of the iron init coad is published . but somebody would have to put in the sweat to port it into e.g. stock uboot.
a111: Logged on 2018-09-08 19:07 asciilifeform: http://btcbase.org/log/2018-09-08#1848650 << update : flashing in the uboot with the dram turd from vendor fw, did nothing detectable
asciilifeform: ( and yes google's loader ~will~ load custom kernels, but only if you sign'em with their tool, so then gotta keep whole shitchain around )
asciilifeform: http://btcbase.org/log/2018-11-29#1875935 << last i knew , there were still a coupla open problems re actually using that box ( in particular, i did not yet succeed, and presently haven't the time to continue, in baking a bootloader for it that loads non-googlistic kernels )
spyked: http://btcbase.org/log/2018-11-27#1875439 <-- this has been on my mind after seeing http://trilema.com/2018/this-gns-thing/#selection-317.47-317.193 . the next immediate step in my queue after publishing rss bot vpatches will be to look at automating communication with deedbot.
spyked: re pm feeds: if no one objects to this, just gpg me a list of the feeds and the recipients and I'll add them manually.
a111: Logged on 2018-11-27 14:38 trinque: spyked: point is a simple "hey trinque, lets make the swap at $date, and get the PM subscriptions ported over meanwhile"
spyked: http://btcbase.org/log/2018-11-27#1875118 <-- point well taken. my schedule is still a bit erratic at the moment, so what do you think about making the switch on monday (3rd dec)? I'll be tuned in starting cca 6pm utc.
mircea_popescu: http://btcbase.org/log/2018-11-29#1875920 << in the quaint words of the virgin mary, "yes."
mircea_popescu: incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
a111: Logged on 2018-11-28 22:17 Mocky: so many of the jobs out there want secret government clearance now, jeez. who do they think they are kidding with their super secret shit
mircea_popescu: http://btcbase.org/log/2018-11-28#1875895 << all that's left of the us pretense to an economy is government wankolade.
mircea_popescu: Mocky these schmucks i swear...
BingoBoingo: I miss the belt fed toaster from my first place of employment
BingoBoingo: Anyways, let me know if anyone or anything that should be in the sidebar is missing
asciilifeform: lol is the actual bot down??
a111: Logged on 2018-11-28 01:31 mircea_popescu: i never heard before of some guy who CAN live independently, moving to rural shithole to not be bothered, and then having ~same to show for a year of his life as mod6. at least that dood is holding down a job and a coupla kids meanwhile.
asciilifeform would luvv to http://btcbase.org/log/2018-11-28#1875656 and never answer pnojes again, but not in the cards yet
asciilifeform: Mocky: funnily enuff, they dun always bother to mention. i get spam calls erry week, where d00d pitches 'x,y,z,exactly what you do,come work for us' 'ts/sci ?' 'of course' ~click~
Mocky: these jobs requiring 'clearanced' is actually quite handy, easy filter criteria
asciilifeform: ^ 26, to be exact, 'ivories' ( the rest weitek and 3620 rubbish )
asciilifeform: in other lulz : https://www.worthpoint.com/worthopedia/1lb-14-7oz-vintage-symbolics-vsli-242998915 << photo of what appears to be a pile of bolix ivories, sold for (!) gold recycler recently. epic.
asciilifeform: ( took place in a typical salt mine, with mix of what passes for normal folks, and 'cleared'; asciilifeform ended up resigning, rather than taking holy orders , was quite loathesome pit in 9000 ways )
asciilifeform: ( d00d had pretty good gig: opened safe in the morning, closed in evening, and played 'wow' all day... )
asciilifeform: ( but no moar, can't afford, in the words of actual live usg seekrecy politruk , to asciilifeform : 'today instruction is 'let it burn' ' )
asciilifeform: kinda like how they used to have 'clearanced' firemen, to put out fires in usg shitholes
asciilifeform: Mocky: typically cisco grunts 'clearanced' not even for any interesting seekrit, but simply to be permitted on the grounds in usg dc where they cart the crates to
BingoBoingo: Mocky: In my corner of old country that's how things have been for a few years. Want a tech job? Take you pick of Boeing, mystery contractors scattered in strip malls around the airforce base, or put up with commuting to Saint Louis proper
Mocky: cisco's hiring 2 miles down the road, "Colorful hair? Don’t care. Tattoos? Show off your ink. Like polka dots? That’s cool. Pop culture geek? Many of us are. Be you, with us! #WeAreCisco #GIS #SDx" good luck with that, lol
Mocky: so many of the jobs out there want secret government clearance now, jeez. who do they think they are kidding with their super secret shit
asciilifeform: ( i expect they used it as clock & address latch generator )
a111: Logged on 2018-11-28 19:44 asciilifeform: !Q later tell phf turns out i was wrong re the rom, the rom-shaped object is actually a 1980s 'programmable event timer' thingie, am2971adc
BingoBoingo: Seeing how their submarine ownership went...