log☇︎
37700+ entries in 0.01s
asciilifeform: 4+7=11, prime, but has solutions ( entire diagonal of'em)
asciilifeform: what i got thus far, is that Na(Qa - k) + Nb(Qb - k) = 0 admits solutions ( some Na, Nb ) for certain Qa,Qb but not others.
asciilifeform: not yet
asciilifeform: when a*p and b*q sum to prime ?
asciilifeform: mircea_popescu: my observation was, the old algo rejects some legal moves (e.g. 4,7 )
asciilifeform: ( if mircea_popescu did, would be interesting to read how )
asciilifeform: didn't even get as far as primes
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: either worx.
asciilifeform: or.
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: see also http://btcbase.org/log/2017-06-29#1676200 ☝︎
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: us zeks with btc
asciilifeform: fwiw both '20s su and '30s reich followed this model.
asciilifeform: but i dun specifically know.
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: but i suspect that i'm thick
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: !!up diana_away
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: (i.e. lossless)
asciilifeform: any move that satisfies the eqn K(Na+Nb) == NaQa + NbQb , where K is integer, is valid
asciilifeform: this statement is true, but it overtight constraint on moves
asciilifeform: (80+55) = 9 * (10+5) , new quality is 9, integer
asciilifeform: ( possibly mircea_popescu already pointed this out , but it follows from the eqn )
asciilifeform: Mocky: you can losslessly mix e.g. Na=10,Qa=8,Nb=5,Qb=11
asciilifeform: Mocky: i still dun get why your algo requires the xor of the ~quality~'s oddness bits to be 0
asciilifeform: or maybe not, hm
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: mats: see lulthread http://btcbase.org/log/2018-08-23#1843831 ☝︎
asciilifeform: ( iirc phf mentioned even having a working ru passport )
asciilifeform: i suppose i oughta have included phf in the list of 'i have nfi what ~they~'re still doing in natoreich'
asciilifeform: there was a short transition where 'ok we'll give you professorship, but not tenured' but it was short.
asciilifeform: i've met both, this is not a seekrit afaik
asciilifeform: phf: aha
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: see also http://btcbase.org/log/2014-06-30#737870 (tm)(r)('donald duck', 1942) ☝︎
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: gnarly.
asciilifeform: mircea_popescu: got it, interesting
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: on paper, lol
asciilifeform: and cpa is a contractor, and theoretically liable for 'oops, wrong form'
asciilifeform: errywhere i've seen with own eyes, these were separate desks
asciilifeform: that'd be in the cpa, not hr
asciilifeform: mircea_popescu: i can only comment re what i saw personally.
asciilifeform: small firms get to outsource the ritual to corps of professional priests, they mail in the mandatory oaths, slide decks, etc .
asciilifeform: per branch office.
asciilifeform: BingoBoingo: typically that's at large galleys where there's 4 or 5 of'em
asciilifeform: trained dolphin could prolly manage.
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: since when is 1 chix a 'dept'
asciilifeform: ah the http://trilema.com/2018/the-leak/ people
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: the diesel thing ? aha
asciilifeform: whip, whip that hellespont!
asciilifeform: lol!!
asciilifeform: Mocky: http://trilema.com/2018/algorithmics-problem-seeking-experts/#comment-126542
asciilifeform: i'ma have to read this wonder
asciilifeform: this gets very unpleasant, very quickly, sorta why blogs with code snippets are stuck with wp plugin crapola
asciilifeform: escapes for < and > ?
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