asciilifeform: i sawed on it, tried to transform to system of diophantines, but came up empty
asciilifeform: mircea_popescu: right! but how to evaluate F(qa,qb) without iterating through all possible na,nb.
asciilifeform: ( esp if you think there's an alarm, connected to gestapo , with current sensor )
asciilifeform: BingoBoingo: ordinary compass will tell you if it's powered, no need to touch
asciilifeform: they're 'shrapnel addressed 'to occupant'' rather than 'bullet with yername on it'
asciilifeform: it is possible to be shivved by street robber in sao paolo, or gnawed by bear in kamchatka, etc. but robber and bear do not grep yer packetz for 'might have btc' etc☟︎
asciilifeform: trinque: the way i conceptualize it, yes errybody has sr-90 in their bones. but some folx live right on top of reactor 4 , and others not
asciilifeform: 'we saw you got 10 btc and didn't declare, that'll be 900k plz by tuesday'☟︎
asciilifeform: 'ooops your aunt had stroke and now in nursing home, you owe yer 2 houses'
asciilifeform: when ant specifically targeted, it's short shrift , 10y ago they would've tried you for your woman's illicit fox coat, or that d00d with the 'illegal wood' guitar, etc. today not even this needed , 'ooops police broke wrong door' etc
asciilifeform: 'needed' is broad concept. happened to see ant , stomped
asciilifeform: ( and, bonus, is amended ~erry week )
asciilifeform: trinque: usg tax code weighs, what, 15 tonnes ? didja srsly read all of it ? betcha there's 9001 ways to hang you, me, any other zek, in'ere, if needed.
asciilifeform: 20th c was century of dekulakizations, where 'these motherfuckers won't give up their hard currency to socialist motherland, let's light fire under their feet', typically shooting was not 1st step, but last step, of algo☟︎
asciilifeform: if history's any guide, they're still in the 'first we'll try and starve the judenschwein, make'em unemployable, then they'll sell their gold to good aryans on their own power' stage of the algo
asciilifeform: by all indications, texas, or alaska, or apparently even mexico, not far enuff.
asciilifeform: not even speaking of whatever part of you is denominated in fiatola, ~that~ they can pick up and walk off with whenever feel like it, without even arrests or trials
asciilifeform: ( currently seems to stick to preying on the bottom half of the bell curve, mostly, but i suspect this won't last )☟︎
asciilifeform: trinque: makes sense. tho thread wasn't about the inevitable mass implosion, but the erryday 'losing the lottery' where usg decides yer a good candidate for cokemachine
asciilifeform: very definitely ~not~ if-and-only-if xor(qa&1, qb&1)==0 tho.
asciilifeform: so if we say F(q1,q2) = 1 if miscible, 0 if not, then e.g. F(2,3)=0, F(2,5)=1, F(3,5)=1, F(4,5)=0, F(4,7)=1 ...
asciilifeform: Mocky, mircea_popescu , diana_away , et al : anybody find closed form for 'q1 and q2 miscible or not' ? all i have is Na(Qa - k) + Nb(Qb - k) = 0, for 1<=Na<=size(pileA), 1<=Nb<=size(pileB), integer k exists , but no better☟︎
asciilifeform: Mocky: i dun have a proper heuristic yet. but must note that 'xor(qa&1, qb&1)==0' is overtight, so unlikely that earlier algo is optimal
asciilifeform: Mocky: rright, but iirc mircea_popescu posed 'prove this algo is optimal, or if not, show the optimal' puzzler
asciilifeform: Mocky: admissible heuristic is not difficult, simply must not ~over~ estimate the cost. can simply take 'number of remaining piles , squared' or the like
asciilifeform: anybody who actually relies on process isolation on x86, of whatever kind, is 100% fucked, dun matter what kind of mind games he plays with himself or his misfortunate customers
asciilifeform: there's 9000+ nobus, and the ceremonial 'fix' for 3 or 4 makes no diff
asciilifeform: the notion that 'intel with fixes' will have process isolation, is hilarious
asciilifeform: i can't speak for what particularly they're manacled to, only for self, tho.☟︎
asciilifeform: fwiw asciilifeform is not the only 'tard' tuned in, last i knew mod6 , trinque , ben_vulpes , lobbes , also still behind the wire.
asciilifeform: ry least cuntlips and mp-approved figure, to get properly and truly loose.
asciilifeform: i'll add, usg learned from ye olde ussr -- the latter was equally efficient at preventing plebes from accumulating escape-powering capital, but less so at preventing 'marketability' outside the barbed wire. hence the 1st wave of emigres who went into waiting arms of natostan industry, academia. but current-day usa, they patched this hole, nao you gotta have some pretty serious world-class talent ( e.g. concert pianist ), or at the ve
asciilifeform: [insert the mandatory m: 'what the fuck are you still doing there, are you a tard' a: 'i dun have useful skills for outside the fence' thread here ! ]
asciilifeform: for that matter asciilifeform's been on receiving end of it personally.
asciilifeform: and indeed usgulag is powered by not only printing press but confiscating savings from ~randomly-picked engineers, little-league 'ceo', etc . a la mr stack.☟︎
asciilifeform: at any rate, if mircea_popescu tells that there's a boiler room scamop where the hr chix is also the accountant and the council etc -- i'ma believe him, at this point i'm ready to believe plenty.
asciilifeform: last i knew , they were paper-liable for 'coarse errors of pilotage' strictly (e.g. 'wrong form wrong time' )
asciilifeform: in reality , obviously 'we have note from hitler, and you don't, suck it'
asciilifeform: BingoBoingo: 99% of what 'hr' chix does , in american firm, is filling out usg.mandated crapola for new hires. not exactly reactor control.
asciilifeform: they move, like electron hole in semiconductor.
asciilifeform: ( i imagine, triggering a kind of domino cascade, whoknows )
asciilifeform: erry slave galley i've ever toiled on, solved this problem by... hiring secretary from the actively-imploding firm next door
asciilifeform: so they sit for a day without a secretary until hire new one
asciilifeform: ( auto still elementarily includes odometer an' fuel gauge, can't exactly hide the figure )
asciilifeform: mircea_popescu: afaik the car people still required to publish 'mpg' in usa. the konsoomer simply told to suck it.
asciilifeform: i can picture the intel execs, golf club in one hand and martini in other, 'why didn't we think of this before' 'hey next time let's not just prohibit benchmark, but only if answer isn't what we like' 'brilliant, this will be at next board agenda'
asciilifeform: apparently the vw people weren't quite 'smart' enuff to try an' prohibit mileage benchmark
asciilifeform: this item's actually on my list for if/when i live to get to wpism patches
asciilifeform: mircea_popescu: in principle this type of inbandism is curable, with simple pill, lookahead parser -- if not ~actual~ html, comment is processed as plain text. rather than the 'oops here's a < so i'ma drift off into stratosphere' existing nonsense
asciilifeform: phf, mircea_popescu : i half-expected 'lol noshit, any puzzler can be written as A* search, this is copout' lol