log☇︎
80200+ entries in 0.043s
asciilifeform: ( any qa-qb miscible pair of piles, can be merged in either 1 ( corresponding to the inner matrices having white line on diagonal ) moves, or 2 ( corresponding to those which do not ) .
BingoBoingo: <mircea_popescu> didn't thickasthieves get carpal ? or am i conflating stories ? << Mats has carpal, TAT went terminally comment section butthurt
asciilifeform: the diagonal symmetry in the inner matrices. QED.
asciilifeform: i'ma leave the proof for conjecture #2 here :
mod6: i read that they're abundant nao tho
mod6: i dunno, maybe? i felt like my arm was gonna fall off a few times. but never as bad as anything perm.
mircea_popescu: i recall this being a topic at c1, and me going "oh, there'll be bots"
asciilifeform: i think he contracted cuckal
mircea_popescu: didn't thickasthieves get carpal ? or am i conflating stories ?
mod6: remember doing it all by hand? my arm used to hurt after hours of this lol.
mircea_popescu: me too! i used to not really be able to do so much, but nowadays...
mod6: maybe i'll give that a shot this weekend. i love mining
mircea_popescu: it's mockybot these days tho. he finally released one that works, i've been mining with it all week.
mod6: rent rockchip, make text-only-client, setup foxybot, profit???
asciilifeform sings... tidididididida...
asciilifeform didn't make tops in arkanoid as a kid, either, can live with this
mircea_popescu: you'll never make the tops, but then again not everyone does.
asciilifeform: imho this is perfectly legit play!11
Mocky: but looky, maybe not 20 steps exactly, but more than 2, *no question* ☟︎
mircea_popescu wipes tear from eye, brought forth by how eulora will entertain even the blackhearted heretics who won't "play" it. it is a tear of joyous schadenfreunde.
asciilifeform: i dun have one in my head, lol. but loox on the surface that there is one.
a111: Logged on 2018-08-23 21:29 Mocky: for example this pile of 4 requires 2 moves: 1x1q 100x1000q 100x1001q 1x2001q, while if you do it without the last pile: the remaining 3 require 20 steps
mircea_popescu: this is false, trivial example http://btcbase.org/log/2018-08-23#1843918 ☝︎
asciilifeform: now my next conjecture, is that shortest full reduction never will require more than 2*P steps, P is number of q-miscible piles.
mircea_popescu: BingoBoingo i love the pretense that dumb whale has "a life".
asciilifeform: ugh was this necessary BingoBoingo !111
asciilifeform: and can use this method.
asciilifeform: then mircea_popescu's proof for this is proof also for $conjecture, lol
mircea_popescu: im right, im right. there's a reason we're using "two stacks of diff parities" as stop condition.
asciilifeform: ( and as i understand it, if yer right, then my conjecture must be true )
asciilifeform: mircea_popescu: if my conjecture is troo, then you're right
asciilifeform: if can prove the |qa - qb| != 1 thing, can then use this algo.
asciilifeform: as i see it, this makes for new algo : 1) make list of immiscible piles, henceforth do not iterate with these 2) iterate through possible mixes, solving eqn for Na (for known Nb, entirety of pile B) and k exists . until you end with solely immiscible Q pairs. then stop.
mircea_popescu: one obvious strategy : make q1 piles of everything, then min-max them, sorta like bubble sort.
mircea_popescu: now mind you, we have no proof that this is correct approach. maybe by strewning out piles you get better results in the end.
asciilifeform: yea he adds portion of pile a to whole of pile b
asciilifeform: when the 1st pile disappearance
asciilifeform: ditto all the way until move 31
mircea_popescu: put x% of stack a in stack b === mix stack b with portion of a and place the result where stack b stood before.
mircea_popescu: see, you want to fewerize the stacks.
mircea_popescu: you want to always use up a whole stack
mircea_popescu: the thing is : if you mix portions of both stacks you gain ~nothing.
asciilifeform: nao we haven't yet the proof, but seems like we can conjecture that if |qa - qb| = 1, then piles with qa and qb are immiscible in any ratio; elsewise, yes mixable, in a ratio that can be found, i suspect, in O(1) .
asciilifeform: i made it 2048x2048 pixels, ought to print well on just about any printer , for wall lolcat hanging.
asciilifeform: if anybody needs a bigger ( or smaller ) ver of this lolcat, plox to write in.
asciilifeform: nao somebody turn this into proof !
mircea_popescu: Mocky check it up, in the end possibru LOOKUP TABLE!
asciilifeform: black squares correspond, therefore, to values of qa and qb for which no solutions are possible
mircea_popescu: is this the map of mixings
mod6: sick tattoo
asciilifeform: is the method obvious here or should i describe
mircea_popescu: nah remember up on that hill by electron ?
mod6: Oooh. Sorry thought that was old town.
mircea_popescu: a new town. brt.
mod6: must have timed out.
mircea_popescu: mod6 i dun see you in old town ?
mircea_popescu: pro-tip : the older set of veterans got fucked.)
a111: Logged on 2018-08-24 00:30 asciilifeform: ( currently seems to stick to preying on the bottom half of the bell curve, mostly, but i suspect this won't last )
mircea_popescu: http://btcbase.org/log/2018-08-24#1844008 << the criterion rather seems to be "old[er] male". which even has a lot of historical backing (perhaps most amusing of which, anyone know how the problem of double-spent land grants was solved upon the death of caesar ? ☝︎
asciilifeform: i follow thus far
mircea_popescu: seems to me that EXACTLY like in the original case of the diophantine approach to "just how many primes are there" we've in fact drawn a conical here in a multi-dimesional space.
mircea_popescu: consider the intervals of N (0...a], (0...b]. for two arbitrary values from N, p, q. the sum of the series-product in the ring modulo-sum is ~sometimes~ 0.
mircea_popescu: what 4 + 7 is this ?!
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.
mircea_popescu: asciilifeform am i making any sense to you ?
mircea_popescu: it comes to the same thing.
mircea_popescu: though our constraint is narrower than "not admit factors", but if you do the whole thing in modulo-ai+bi...
asciilifeform: when a*p and b*q sum to prime ?
mircea_popescu: asciilifeform specifically via diophantine : if a and b is a natural interval then a*p + b * q (p, q arbitrary constants) will not admit factors ever so often (when they sum to a prime)
asciilifeform: mircea_popescu: my observation was, the old algo rejects some legal moves (e.g. 4,7 )
a111: Logged on 2018-08-24 00:57 mircea_popescu: also he should have said decorative??? like in those old pot awareness psas.
mod6: mircea_popescu: yeah, go ahead and !!pay 1.2 BTC back to me, and I'll meet ya on eulora to pay you 100mn ECU. Thanks!
asciilifeform: ( if mircea_popescu did, would be interesting to read how )
asciilifeform: i sawed on it, tried to transform to system of diophantines, but came up empty
mircea_popescu: closed form is closed form, fuck you and mz. heuristics tied together to the same pole.
asciilifeform: mircea_popescu: right! but how to evaluate F(qa,qb) without iterating through all possible na,nb.
a111: Logged on 2018-08-24 00:21 mod6: Unless you want to also do us the favor of taking the additional 100mn ECU, and just !!pay'ing 1.2 BTC back to Pizarro. Totally up to you. We appreciate very much your efforts on this. I think we'll find a way eventually.
mircea_popescu: http://btcbase.org/log/2018-08-24#1843996 << this is fine, do i shoot it ? ☝︎
mircea_popescu: http://btcbase.org/log/2018-08-24#1843992 <<< no, that's the formula. ☝︎
asciilifeform: ( esp if you think there's an alarm, connected to gestapo , with current sensor )
BingoBoingo: They only happen here ~10 feet up on top of unelectrified barriers.
a111: Logged on 2018-08-23 22:41 BingoBoingo: If you come to Uruguay, avoid the shrimp pastas. Very underwhelming as a rule.
mircea_popescu: http://btcbase.org/log/2018-08-23#1843958 << argentards think pasta is potato flake mush. ☝︎
asciilifeform: BingoBoingo: ordinary compass will tell you if it's powered, no need to touch
mircea_popescu: BingoBoingo amusing chinesium, they click/spark etc.
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 ☟︎
BingoBoingo: Some here top there fences with small electric fences. Stotting behavior
mircea_popescu: also he should have said decorative??? like in those old pot awareness psas. ☟︎
BingoBoingo: Seriously, here they have metal fences around everything. Totally decorative
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' ☟︎
trinque: where is the wonderland without "oops X fucked your Y" and I'll pack today
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
mircea_popescu: asciilifeform or happened to not see.
asciilifeform: 'needed' is broad concept. happened to see ant , stomped
mircea_popescu: most people tend to take it seriously.
trinque: they're not staffed for that
trinque: this imagined circumstance where they're even 5% effective is just that.
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.