Forum logs for 13 Nov 2017

Monday, 16 March, Year 12 d.Tr. | Author:
asciilifeform: http://trilema.com/forum-logs-for-12-nov-2017#2362388 << i gotta bite this bait: [00:00]
a111: Logged on 2017-11-13 04:46 mats: "And we are pushing robots to the limit in terms of the speed that they can operate at, and asking our suppliers to make robots go way faster, and they are shocked because nobody has ever asked them that question. It's like if you can see the robot move, it's too slow. We should be caring about air friction like things moving so fast. You should need a strobe light to see it. And that's incredibly critical to CapEx [00:00]
asciilifeform: the 'tecan evo' i worked with ( small industrial gantry bot ) could make fully 100x faster motions than vendor recommended . BUT -- 1) the default winblowz turdware ( that afaik every installation other than mine, used , lock stock etc ) would result eventually in smashed equipment, dead bearings, and possibly injured meat and .. [00:02]
asciilifeform: 2) vibration [00:02]
asciilifeform: just because thing can 'move faster than you can see' dun mean that it stops on a dime, or that it won't oscillate ( ever see rifle barrel on high speed camera? ) , ring like a bell, destroy whatever illusion of accuracy. [00:03]
asciilifeform: this is an entire field, i cannot begin to sum it up here. but even in 19th c machinists understood 'fast cut xor accurate cut' [00:05]
asciilifeform: as for 'critical to capex', vey rarely is robot the chokepoint in the line. [00:07]
asciilifeform: if actually care about capex -- speed up, or better yet, eliminate -- the ~meat~ in your line. [00:08]
BingoBoingo: Or parallelize lines [00:09]
BingoBoingo: If Hu cares to [00:09]
asciilifeform: 'tesla' of course is not a commercial op in the usual sense, but rather an elaborate fraud prop, similar to a konsoomer-flavoured lockheedmartin [00:10]
asciilifeform: for milking usg [00:10]
asciilifeform: so it is quite in keeping with this, for it to , say, pioneer 'robot works in vacuum, and moves without hindrance of air resistance, ReallyFast!' etc [00:11]
ag3nt_zer0: pete_dushenski http://www.contravex.com/2017/11/12/bigs-vancouver-house-the-last-pied-a-terre-youll-ever-need/#identifier_6_19987 <<< thanks for the introduction to Ingels. My family is from a small town near Wright's Taliesin and a good old family friend of mine owned a classic FLW student-designed house that sat on 40 acres above Lake Wisconsin - I practically lived in that house for 3 seasons one year and there is really nothin [00:46]
ag3nt_zer0: it was stylistically almost a copy of the first slide here: http://www.theadanews.com/news/local_news/a-visit-to-taliesin-frank-lloyd-wright-s-wisconsin-estate/article_eea7de5b-a7a0-5678-8035-01af370b94a3.html [00:47]
ag3nt_zer0: Never been in a place that has equaled that in regards to my definition of a warm home... looking forward to learning more of Ingels [00:49]
BingoBoingo: http://oglaf.com/allconsuminganus/ [01:13]
BingoBoingo: http://oglaf.com/godoflies/ [01:22]
mircea_popescu: aaand in other lulz, http://bitcoin3x.org/ [05:24]
mircea_popescu: in other news : it was established in teh minigame torture rooms that in point of fact 4096 bit keys contain only 4090 bits of entropy at the very most (minus whatever koch-gpg manages to shave off in other ways). [06:39]
mircea_popescu: the reason is that (in a translation of what koch-gpg does into sanity) you take 2045 bits of rng for each possible prime, stick 11 in front and 1 in the tail and THAT is your 2048 bit prime candidate. [06:39]
mircea_popescu: the reason you stick the 1 in the tail is to ensure odd numbers -- large even numbers are never prime. this much is a math-forced reduction. [06:40]
mircea_popescu: the reason you stick the first 1 in the front is, evidently, to not end up with sub-4096 Ns [06:40]
mircea_popescu: the reason you stick the 2nd 1 in front is, not evidently, also to not end up with sub-4096 Ns : if you had the exceptional case of your primes being each 2^2047 + 1 your N would then be 2^4094+2^2048+1, which is shorter than 4096 bits. [06:42]
mircea_popescu: this is evidently a "loss" of entropy, in the sense that what is advertised (4096) differs from what is actually delivered (no more than 4090). i am of a good mind to start calling them 4090 bit keys tbh. [06:43]
diana_coman: p and q are different so there won't be exactly this limit case there, but obv same 4095 bits n instead of 4096 for other low-enough odd numbers that might be primes [06:46]
mircea_popescu: diana_coman never, because 11 * 11 = 1001. [06:47]
mircea_popescu: and in other emergencies / what is yahoo good for ? https://www.yahoo.com/news/police-suspects-overwhelming-gas-shuts-down-interrogation-153853856.html [06:57]
mircea_popescu: anyway, back to rsa discussion : there's about 6.5e612 primes in the interval 2^2045-1, 0 (by teh prime number theorem). every key needs a pair of these, and no number can EVER be repeated (if it is -- phuctor breaks both keys). [07:36]
mircea_popescu: the chances of such repeating happening naturally'd be ~the inverse of ∏(1 - 2i/6.5e612), 1<i<n where n is the number of keys ever made. fortunately this evaluates to "never" on all extant iron. [07:41]
mircea_popescu: this is not "true for very many keys like a billion trillion keys". this is true all the way up, by the time one's made 10^609 keys we're starting to get into five-nines assurance of unicity. [07:44]
mircea_popescu: and in other lofty feelings, http://78.media.tumblr.com/7aa97651e7ccbfd76ef6c61392d3e734/tumblr_nmbdtsNoKR1u0yktbo1_1280.jpg [07:49]
shinohai: Johnson, clear my schedule for the day. [07:54]
shinohai: Go ahead and clear Tuesday too. [07:54]
mircea_popescu: wait, your johnson makes your schedule ? [07:54]
shinohai: of course, im the baron titsbare [07:54]
mod6: haha [09:00]
mod6: damn, nice loft [09:01]
mod6: <+mircea_popescu> in other news : it was established in teh minigame torture rooms that in point of fact 4096 bit keys contain only 4090 bits of entropy at the very most (minus whatever koch-gpg manages to shave off in other ways). << uugh. every time we peel a layer back... [09:05]
asciilifeform: http://btcbase.org/log/2017-11-13#1737169 << iirc we had a thread , re this spectacular lul [09:23]
a111: Logged on 2017-11-13 11:40 mircea_popescu: the reason you stick the first 1 in the front is, evidently, to not end up with sub-4096 Ns [09:23]
asciilifeform: ( picture extending this by induction : 'why not glue another 1 after that 1 , lest we end up with sub-4095...' ) [09:24]
asciilifeform: http://btcbase.org/log/2017-11-13#1737171 << the only properly forced loss is of the bottom bit [09:25]
a111: Logged on 2017-11-13 11:43 mircea_popescu: this is evidently a "loss" of entropy, in the sense that what is advertised (4096) differs from what is actually delivered (no more than 4090). i am of a good mind to start calling them 4090 bit keys tbh. [09:25]
asciilifeform: http://btcbase.org/log/2017-11-13#1737177 << nobody's ever running out of these [09:28]
a111: Logged on 2017-11-13 12:44 mircea_popescu: this is not "true for very many keys like a billion trillion keys". this is true all the way up, by the time one's made 10^609 keys we're starting to get into five-nines assurance of unicity. [09:28]
asciilifeform: in other lulz, https://seekingalpha.com/article/4122890-tesla-approaches-terminal-decline [09:41]
asciilifeform: 'Tesla’s CEO seems to be fully unaware of why industrial robots have limits, affecting actuators, speed and precision when handling heavy parts reliably and minimal downtime. Air friction is certainly no constraint, but moments, acceleration and deceleration. ' [09:41]
asciilifeform: ( in re yesterday's thread where http://btcbase.org/log/2017-11-13#1737159 ) [09:42]
a111: Logged on 2017-11-13 05:11 asciilifeform: so it is quite in keeping with this, for it to , say, pioneer 'robot works in vacuum, and moves without hindrance of air resistance, ReallyFast!' etc [09:42]
asciilifeform: re the rsa key entropy, it is possible to trivially regain the lost bottom bits' worth of entropy -- you save the discarded bits and use them later as triggers for 'take nextprime(p) instead of p' and 'take nextprime(q) instead of q' . there may be other possible algos [09:53]
asciilifeform: thinkaboutit. [09:54]
asciilifeform: as i see it, this circle is satisfactorily squared nao. [09:55]
mod6: im not sure about that [10:01]
mod6: even /if/ doing some prime selection based on 'discarded bits' would net you anything what-so-ever, is it shown, presently that they even do this? [10:03]
asciilifeform: mod6: noshit koch doesn't do this [10:08]
asciilifeform: but you can trivially show that using the bottom bits in this way lets you actually get 4x as many possible primes [10:09]
asciilifeform: nao ideally one would have a http://btcbase.org/log/2017-11-07#1733382 i.e. 4096b of ~possible prime~ phase space [10:11]
a111: Logged on 2017-11-07 16:36 asciilifeform: let's model the ideal prime-shitter. it would be an item that takes integer N , of whatever bitness, and produce the Nth prime ( or eggog if the Nth prime is bigger than the register bitness permitted. ) [10:11]
asciilifeform: but nobody's gonna. [10:11]
asciilifeform: ( it's a 3000yr unsolved megaproblem ) [10:12]
asciilifeform: tho here's a somewhat barbaric method : [10:14]
asciilifeform: 1) calculate what a certain b is, such that there are likely to be 2^4096 primes below 2^b-1 [10:15]
asciilifeform: 2) generate a random k, k < 2^b [10:16]
asciilifeform: 3) if composite(k) goto 2 [10:16]
asciilifeform: 4) if log2(k) > 4096 goto 2 [10:17]
asciilifeform: 5) you have a winner: a prime selected from 2^4096 possibles. [10:17]
mod6: i must be missing something [10:17]
asciilifeform: hm? [10:18]
asciilifeform: actually yer not missing anything, above algo is an absurdity [10:18]
asciilifeform: it will do exactly same thing as traditional one, but take 1000x as long. [10:19]
mod6: when you say 'lost bottom bits' worth of entropy -- you save the discarded bits and use them later', are you talking about the highest order 2 digits, and the lowest 1, saving their original lower-order half and using that? [10:19]
asciilifeform: lowest [10:19]
asciilifeform: they are the only ones you MUST set to 1 (i.e. lose the entropy of) [10:19]
asciilifeform: because you gotta have odd p and q [10:20]
asciilifeform: the shaving of the ~highest~ bits is an idiot kochism on the other hand, [10:20]
asciilifeform: there is no legitimate reason to do it. [10:20]
mod6: yeah, /me re-read and Mr. P. said they discard the higest 2 digits [10:21]
asciilifeform: aha, koch does [10:21]
mod6: so in your algo above, you're saying that you can work that magic with just the ~lowest~ discarded digit [10:21]
asciilifeform: ignore the 5step thing [10:22]
asciilifeform: but yes you can use each of the 2 discarded bottom bits to double the primespace available [10:22]
mod6: sorry if this is obvious, wasn't to me. [10:23]
asciilifeform: ( 1 caveat is that this is a leaking operation , theoretically ) [10:23]
* asciilifeform bbl, teatime [10:24]
BingoBoingo: !~ticker --market all [11:40]
jhvh1: BingoBoingo: Bitstamp BTCUSD last: 6539.77, vol: 28531.98250185 | Bitfinex BTCUSD last: 6455.9, vol: 117240.23947972 | Kraken BTCUSD last: 6558.2, vol: 8497.52824841 | Volume-weighted last average: 6477.04655989 [11:40]
BingoBoingo: OMG Re-Crashing! [11:40]
trinque: surely the tickerbot has been switched to bitcoin crash? what do I make of this? [11:43]
BingoBoingo: Pie? Caek? Lemoncaek? [11:48]
BingoBoingo: If making pies, you have to make the best, and best means round. [11:48]
lobbes: Good news on archive front archive.is d00d has agreed to add my ips to his cloudflare whitelist [11:51]
trinque: nice lobbes. this means you'll not be ratelimited? or what was the problem? [11:58]
lobbes: trinque, yeah. Hopefully will be able to bypass the cloudflare js/cookie challenge wall [12:04]
lobbes: Very accommodating d00d indeed. I invited him here, as well, but you know how that goes [12:04]
ben_vulpes: http://btcbase.org/log/2017-11-12#1736892 << some years ago, several people got together and worked through 'an incremental approach to compiler construction', one nick fitzgerald worked through it in ada: https://github.com/fitzgen/ada-scheme [12:44]
a111: Logged on 2017-11-12 23:39 mircea_popescu: does an ada lisp ~even exist~ as far as anyone knows ? [12:44]
* ben_vulpes made some headway through lisp in small pieces, mind appropriately blown [12:46]
ben_vulpes: and in ancients, dusted off mpfhf benchmarker, finished the bit-banging of inputs, fired off a run late last week that is *still hashing* [12:47]
trinque: "bitch, this hash function is hard in *both* directions!" [12:52]
asciilifeform: use Ada.Strings.Unbounded << mno ben_vulpes this is ~specifically~ a Do Not Want [13:13]
asciilifeform: ( it uses implicit heaptronics for everything ) [13:14]
ben_vulpes: suresure [13:14]
asciilifeform: http://btcbase.org/log/2017-11-13#1737238 << this is very neat [13:20]
a111: Logged on 2017-11-13 16:51 lobbes: Good news on archive front archive.is d00d has agreed to add my ips to his cloudflare whitelist [13:20]
asciilifeform: lobbes: does this mean that you can mirror the whole zip collection nao ? [13:21]
BingoBoingo: lobbes: So modest is becoming less modest? [13:32]
asciilifeform: http://btcbase.org/log/2017-11-13#1737245 << if you apply the bound we found in http://btcbase.org/log/2017-07-06#1679483 thread, and the http://btcbase.org/log/2017-08-15#1698509 trick, mphf a not-especially-slow hash [13:36]
a111: Logged on 2017-11-13 17:47 ben_vulpes: and in ancients, dusted off mpfhf benchmarker, finished the bit-banging of inputs, fired off a run late last week that is *still hashing* [13:36]
a111: Logged on 2017-07-06 00:26 asciilifeform: S grows by 1 or 0 bits per cycle. [13:36]
a111: Logged on 2017-08-15 22:51 asciilifeform: but instead flipping a single bit that gets xored with the result every time you read from the would-have-been-flipped reg. [13:36]
asciilifeform: though asciilifeform will admit to still being at a loss re what the appeal is , after these... [13:37]
asciilifeform: but if you want to make a fast mphftron, for experimentation, the recipe is 1) compute upper bound of the scratch space length and preallocate. NEVER realloc 2) NEVER flip-all-the-bits, flip a 'did-we-flip' bit instead, and the latter always get xor'd with whatever bit you read from the flippablespace. [13:39]
ben_vulpes: asciilifeform: absolutely, have a benchmarking in place, will be implementing those two changes and recording improvements [13:55]
asciilifeform: also you don't want to cons. at. all. [14:00]
phf: http://btcbase.org/log/2017-11-13#1737247 << it looks like a properly structured scheme evaluator, but it's ~explicitly~ lacking a native cons, which might be a very good exercise for whoever™ adding a static allocation space, adding mark-and-sweep, then all those To_Unbounded_String look like they can be simply search/replaced [14:29]
a111: Logged on 2017-11-13 18:13 asciilifeform: use Ada.Strings.Unbounded << mno ben_vulpes this is ~specifically~ a Do Not Want [14:29]
asciilifeform: phf: ideally i'd get rid of Ada.Strings , full stop [14:35]
phf: well, right. i'm not sure what ada.strings is (i.e. is it a protocol or concrete datatype), so i can't really comment further [14:36]
asciilifeform: and rewrite the parser per se in scheme ( have it be present as commented bytecode constant ) [14:36]
phf: there be dragons. i mean, if you're rewriting a parser in lisp, then you might as well have proper readtables, rather then hardcoded sexp hack [14:36]
asciilifeform: and get rid of the pointers. [14:36]
asciilifeform: ( there's no particular reason why you can't have a schemetron use strictly arrays and integer indices into same ) [14:38]
phf: i'm not sure how you're planning on doing that, unless you mean ada level pointers. you'd have to have objects with values that are offsets into your virtual heap [14:38]
phf: ah, k [14:38]
asciilifeform: indices. as seen in ffa. [14:38]
asciilifeform: ( the operative difference is that indices are bounded , and you can reason meaningfully about'em ) [14:38]
phf: right, i suspect that scheme.adb doesn't touch on it, because, again, no cons [14:39]
asciilifeform: https://github.com/fitzgen/ada-scheme/blob/master/scheme.adb#L134 << the faux cons. observe, they use pointers for the car/cdr [14:39]
asciilifeform: whole thing reads like straight translation from c [14:40]
phf: somewhat relatedly one handy thing i saw on CADR is named cons regions, i.e. explicit memory regions where you can cons and every allocation function having a *-in-region equivalent, like (cons-in-region x y region). i'm not sure if that's there, but you presumably can do some kind (with-cons-region (region ...) body) thing. naturally those regions can be saved (preserved referential integrity) or cleared, etc. [14:40]
phf: the array instead of pointers approach gives you free save (in fact you can run it against a mmaped region and have a ghetto core file) [14:41]
asciilifeform: ( see also , http://btcbase.org/log/2017-07-13#1682511 ) [14:42]
a111: Logged on 2017-07-13 15:42 asciilifeform: phf: contrary to appearances, asciilifeform is not fixated on ada lang per se, but rather on the style of thinking it leads the operator into. [14:42]
asciilifeform: phf: you can run your entire heap of a mmap'd region , neh [14:42]
asciilifeform: *off [14:42]
phf: that's what i said. [14:42]
asciilifeform: no particular reason why it needs custom 'regions' support [14:43]
phf: it's unrelated [14:43]
asciilifeform: ( though they are useful for cache locality ) [14:43]
phf: asciilifeform: i'm using "memory management" meaning of cons, not like lisp 101 take on it. they don't have cons meaning that there's no managed heap, there's no gc on that heap, and you can't allocate things into the heap and let it be managed by heap machinery. so they have "cons", but their ~actual~ cons is ada's "new ..." [14:44]
asciilifeform: aa [14:44]
asciilifeform: right [14:44]
asciilifeform: ( there is however the http://btcbase.org/log/2017-11-12#1736844 pov ) [14:45]
a111: Logged on 2017-11-12 23:12 asciilifeform: i'm not fully convinced that a scripting lang ~needs~ a gc [14:45]
phf: like in php model? allocate as much as you want and then "free" on termination? [14:46]
asciilifeform: aha. free with death. [14:46]
asciilifeform: and not 'as much as you want' but up to B bytes, with B given on commandline and stackframed on warmup. [14:47]
phf: right, maxheap [14:47]
asciilifeform: to put it in libctronic terms, the resulting linux binary will call setbrk() ~exactly once~ in its life [14:48]
phf: right, so that scheme.adb would benefit from a way to cons onto an arbitrary sized array, and then later someone can bolt a gc on top of that. can even implement it as an explicit function call rather than a threshold thing [14:50]
asciilifeform: imho it dun particularly make sense to have gc in this application [14:50]
asciilifeform: but i already described why. [14:50]
phf: well, i'm thinking in terms of a TMSR MACHINE. scheme.adb linked against ffa linked against that com1 hack you posted some time ago :p [14:52]
asciilifeform: if 'machine' i'd rather have handwritten 32kb asm thing, than whatever 'best effort' gcc shits out. [14:53]
asciilifeform: but sure. [14:53]
asciilifeform: meanwhile, in world of ancient fpga, http://www.geekdot.com/category/hardware/transputer/avm-b1 . [15:28]
diana_coman: I can't seem to find in the logs any discussion re duplex construction/duplexing the sponge i.e. keccak's authors own proposal of using keccak for authenticated encryption did anyone look into this? [15:35]
asciilifeform: diana_coman: iirc it was in the original paper [15:35]
asciilifeform: keccak is immune to length-extension attack so it is pretty straightforward to convert it into a cipher [15:36]
diana_coman: well, I have several papers on keccak and one of them is this "Duplexing the sponge: single-pass authenticated encryption and other applications" [15:36]
diana_coman: however so far I focused on the reference paper on keccak itself (The Keccak reference version 3.0) [15:37]
asciilifeform: diana_coman: what are you contemplating making ? [15:37]
diana_coman: asciilifeform, I'm still looking/exploring potential solutions for client-server communication needs in eulora [15:38]
asciilifeform: well yes but moar specifically [15:38]
asciilifeform: iirc you were gonna use mircea_popescu's algo ( use rsa to send otp pages, then later use'em ) [15:39]
diana_coman: asciilifeform, the second part is not so well defined/fixed yet [15:39]
asciilifeform: what's hard re using otp ? it's a xor [15:40]
diana_coman: yes but it's unclear if a simple bitfield xor is best option [15:42]
asciilifeform: for so long as you're actually using otp (i.e. 1 byte of key used for exactly 1 byte of payload) it's the only logical option [15:43]
diana_coman: I meant the choice of specific, concrete way to expand the original bitfield i.e. "reuse the otp" [15:53]
asciilifeform: how atrociously slow does the 'never reuse' variant look ? [15:53]
asciilifeform: if you use actual one-time -- you then dun have to reinvent symmetric ciphering [15:54]
diana_coman: heh, true that I think first trouble there is that "never-reuse" choice means "no-knob" for client who pays however for the traffic the whole point was precisely to let player choose their own level of compromise between cost and security (otps are generated on the server for good reason) [15:57]
asciilifeform: the boojum is that neither i nor anybody else knows of any rational way to quantify the compromise. [15:57]
asciilifeform: ( we dun have a scientific approach to symmetric ciphering. ) [15:57]
diana_coman: yees, but conceivably there might be one in the future if no knob then no point as it were, entirely [15:58]
asciilifeform: tbh i dun expect to live to see such a thing [15:58]
diana_coman: asciilifeform, re mp's algo, it was this: http://btcbase.org/log/2017-10-06#1722036 [16:01]
a111: Logged on 2017-10-06 23:13 mircea_popescu: basically the scheme is, you rsa a random bitfield, then you expand that into as much otp as you want by doing recursively Fi = hash(bitfield + Fi-1). there's a limit on i, obviously, which can be set to 1. [16:01]
asciilifeform: aaa [16:01]
asciilifeform: yea that's hash-as-blockcipher [16:02]
asciilifeform: makes sense then [16:02]
diana_coman: at a first pass this duplex thing based on keccak seems to be a similar attempt really, hence my question if anyone looked at it more closely (I'm still trying to fully grasp it, not there yet) [16:04]
asciilifeform: as i understand, ordinary keccak suffices for this scheme [16:06]
BingoBoingo: !~ticker --market all [16:09]
jhvh1: BingoBoingo: Bitstamp BTCUSD last: 6545.26, vol: 30220.26606995 | Bitfinex BTCUSD last: 6413.3, vol: 121231.82335321 | Kraken BTCUSD last: 6564.5, vol: 8688.60323938 | Volume-weighted last average: 6446.40578362 [16:09]
asciilifeform: ^ pheeature idea : why not have ticker autofire when the number moves >10% from last tick [16:10]
asciilifeform: meanwhile, in very vintage lulz, https://archive.is/I5JC0 >> 'Secretary of State Baker said Washington would not object to military intervention in Romania by Soviets or the Warsaw Pact.' [17:46]
asciilifeform: https://archive.is/Gr8Rf << in other agitprop. [18:36]
asciilifeform: 'The Chinese miners were instructed to continue mining the coin, even at great financial loss, to support a pretension of value and use, minimally sustaining its life. When the price troughed, those who were in the know about the plan accumulated it in large quantities' etc. [18:38]
BingoBoingo: !~later tell mircea_popescu http://wotpaste.cascadianhacker.com/pastes/iJ8bz/?raw=true [19:38]
jhvh1: BingoBoingo: The operation succeeded. [19:38]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737193 << in no sense more terminal than say apple. [19:55]
a111: Logged on 2017-11-13 14:41 asciilifeform: in other lulz, https://seekingalpha.com/article/4122890-tesla-approaches-terminal-decline [19:55]
asciilifeform: exactly same item [19:55]
mircea_popescu: right. "has cash" usg printed for it. [19:55]
asciilifeform: moar spectacular tho, candle burns at both ends [19:56]
mircea_popescu: but for the nitpick : it's not the job of the ceo to know why robots have limits. [19:56]
asciilifeform: it is if he opens mouth re robots [19:56]
mircea_popescu: this totally orc bullshit where everyone is an expert in everyone's field already... [19:56]
mircea_popescu: asciilifeform ceo is an operational management position. [19:56]
mircea_popescu: cto's job is to understand why robots have limits, if the company is doing robots. [19:57]
asciilifeform: gensec is also managerial position. hruschev and his corn speeches remain lulzy. [19:57]
asciilifeform: fella oughta chat with his cto, vizier, etc before becoming a public clown. [19:57]
mircea_popescu: indeed. but here's the hidden truth : the idiots TALKING TO HIM about it are no different from the people asking beautician re politics. [19:58]
mircea_popescu: ie, he's an idiot for answering, but someone somewhere was an idiot for asking. [19:58]
asciilifeform: these are always on hand [19:58]
mircea_popescu: THAT someone isn't admitting to idiocy, preferring isntead to derp about how "Ceo is supposed to know all". [19:59]
mircea_popescu: if it were workable for ceo to know all why would corporations even be needed in first place ? [19:59]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737203 << i'm happier with properly reporting keys as 4090 bits, and pointedly explaining WHY the difference to the user. [20:01]
a111: Logged on 2017-11-13 15:09 asciilifeform: but you can trivially show that using the bottom bits in this way lets you actually get 4x as many possible primes [20:01]
mircea_popescu: politically preferable. [20:01]
mircea_popescu: im not going to have my tech people do backflips to seamlessly bridge imperial idiocy into reality when i could just have the marketing people point out to how the empire lied by making the difference a point of difference. [20:02]
asciilifeform: mircea_popescu: i made a stab of computing a lower bound of bitness for hypothetical '4096b of possible prime' but ran out of juice. [20:02]
mircea_popescu: waste of juice. [20:02]
asciilifeform: it's an answerable question, euler could have made short work of it [20:03]
mircea_popescu: euler is dead. [20:03]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737223 << so what, have 0-led p, q ? what are you on aboot. [20:04]
a111: Logged on 2017-11-13 15:20 asciilifeform: there is no legitimate reason to do it. [20:04]
asciilifeform: mircea_popescu: the only case where this is a problem is 0-led p + 0-led q [20:05]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737238 << win. [20:05]
a111: Logged on 2017-11-13 16:51 lobbes: Good news on archive front archive.is d00d has agreed to add my ips to his cloudflare whitelist [20:05]
asciilifeform: if only 1 -- then high bits of p,q remain seekrit [20:05]
mircea_popescu: asciilifeform 0 led either one, or rather, non 11 led either one gives you a sub 4096 N [20:05]
asciilifeform: hmm [20:05]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737241 << tell him that if he regs a name ima donate to his project. [20:06]
a111: Logged on 2017-11-13 17:04 lobbes: Very accommodating d00d indeed. I invited him here, as well, but you know how that goes [20:06]
asciilifeform: i can actually see the 1. but why 11 [20:06]
mircea_popescu: asciilifeform there's nothing in principle wrong with the 2045 bit primes, except, of couyrse, the lying about it. [20:06]
mircea_popescu: plenty of entropy left as it is. [20:06]
asciilifeform: ( and why not then 111, 1111.... ) [20:06]
mircea_popescu: asciilifeform 11 x 11 = 1001 10 x 10 = 0100 [20:07]
mircea_popescu: you need two bits to make 4, not 3. that's it. [20:07]
mircea_popescu: 111 doesn't add anything, 111 x 111 = 110001 ie 6 [20:07]
asciilifeform: you don't actually get a 10x10=0100 because carry bits ripple up [20:07]
asciilifeform: (last digit of a product is not a straight product of the last-digit-of-p and last-digit-of-q ) [20:08]
asciilifeform: ( by 'last' here is meant, of course, leftmost ) [20:08]
mircea_popescu: 101111 x 101111 = 100010100001, if you're lucky but 100000 x 101111 = 010111100000 which is no good. [20:08]
mircea_popescu: asciilifeform we're discussing first digits not last digits here. [20:09]
asciilifeform: the way i'd implement the whole shebang, is simply to reject both primes if the highest bit of pq is not 1 . [20:09]
asciilifeform: rinse, repeat. [20:09]
asciilifeform: no reason to lose that 1bit of entropy. [20:09]
mircea_popescu: you lose it by this impl as well. [20:10]
mircea_popescu: as you'll reject the primes and end up with the same 2045 bits of entropy [20:10]
asciilifeform: you lose 1. but in koch's variant you lose 2 . [20:10]
asciilifeform: ( plus the 2 bottoms ) [20:10]
asciilifeform: 4 all in all [20:10]
mircea_popescu: ok, you'd conceivably squeeze a little more, but again, see http://btcbase.org/log/2017-11-14#1737360 [20:10]
a111: Logged on 2017-11-14 01:02 mircea_popescu: im not going to have my tech people do backflips to seamlessly bridge imperial idiocy into reality when i could just have the marketing people point out to how the empire lied by making the difference a point of difference. [20:10]
asciilifeform: at any rate i haven't any argument against http://btcbase.org/log/2017-11-14#1737376 [20:11]
a111: Logged on 2017-11-14 01:06 mircea_popescu: asciilifeform there's nothing in principle wrong with the 2045 bit primes, except, of couyrse, the lying about it. [20:11]
mircea_popescu: clarity is more valuable than a nearer asimptote, in many contexts. [20:11]
asciilifeform: honestly labeled box imho suffices. [20:11]
mircea_popescu: quite. [20:11]
mircea_popescu: it's still an unreturned function "what other bits are lost what other places". so this 4090 still an upper bound. [20:11]
mircea_popescu: but... working on. [20:12]
asciilifeform: afaik diana_coman exhaustively showed the places [20:12]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737245 < ha! [20:12]
a111: Logged on 2017-11-13 17:47 ben_vulpes: and in ancients, dusted off mpfhf benchmarker, finished the bit-banging of inputs, fired off a run late last week that is *still hashing* [20:12]
mircea_popescu: asciilifeform quintuplechecking never hurt anything. [20:12]
asciilifeform: ( she is using my sanitized gpg bignum. but i did not preserve koch's faux-rng atrocity so anything pertaining to entropy, is new ) [20:13]
asciilifeform: iirc she is pumping it straight from fg. [20:13]
mircea_popescu: yes. [20:13]
asciilifeform: afaik the only remaining, and most obvious 'loss' is the one implicit in prime number theorem ( where , wat, ~10k possible rng outputs correspond to same prime output ) [20:14]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737262 << this is actually a pretty good approach. [20:15]
a111: Logged on 2017-11-13 19:29 phf: http://btcbase.org/log/2017-11-13#1737247 << it looks like a properly structured scheme evaluator, but it's ~explicitly~ lacking a native cons, which might be a very good exercise for whoever™ adding a static allocation space, adding mark-and-sweep, then all those To_Unbounded_String look like they can be simply search/replaced [20:15]
mircea_popescu: asciilifeform afaik "nextprime" or anything like it is not used [20:15]
asciilifeform: somewhat counterintuitively, you still get same result ( minus the time sidechannel leak, naturally ) [20:16]
asciilifeform: ( there are still fewer primes than 2^4096bit phase space ) [20:16]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737276 << safe bet natch. [20:16]
a111: Logged on 2017-11-13 19:40 asciilifeform: whole thing reads like straight translation from c [20:16]
asciilifeform: ( 2048 rather. but you get the idea ) [20:16]
mircea_popescu: asciilifeform no, because see, if you don't use nextprime you lack the "nop bridge" so to speak. rolling number 6 does not take you to 7. to get 7 you need a natural 7, and this is equiprobable to rolling a natural 2^74207281-1 on the space of (0,2^74207281-1). [20:18]
mircea_popescu: (above quoted, largest prime known, found last year.) [20:18]
asciilifeform: now i recall having argued this myself, lol [20:19]
asciilifeform: yea [20:19]
mircea_popescu: :p [20:20]
mircea_popescu: very important NOT to use any kind of nextprime, as it turns out . [20:21]
* asciilifeform somewhat addled with viral fevers, and strange dreams at night ( featuring such colourful characters as tov. ceaușescu ) [20:21]
mircea_popescu: i get odd viral influenzas in the first months of mingling with the whores of a new land also. [20:22]
asciilifeform: that at least has up-side [20:22]
mircea_popescu: but supposedly this makes you stronger. [20:22]
mircea_popescu: https://hackernoon.com/the-bitcoin-gauntlet-e9e721297aca in other materia obscura [20:30]
asciilifeform: http://its.svensson.org/m.f.d.(file) << in evenmoar obscura [20:33]
mircea_popescu: !!up hubud [20:43]
deedbot: hubud voiced for 30 minutes. [20:43]
mircea_popescu: o yea which reminds me : http://www.automobileromanesti.ro/images/mari/Altele/malaxa-1.jpg << romanian 1930s limo! [20:44]
mircea_popescu: allegedly teh soviets were so impressed with it packed the whole assembly line took it to russia in 1945 [20:44]
mircea_popescu: (that site pretty decent ref of romanian vehicle production, incl de teardrop lulzitem) [20:44]
ben_vulpes: http://btcbase.org/log/2017-11-14#1737405 << currently working the 4th permutation of a 65536 byte message for a 32 bit hash [20:49]
a111: Logged on 2017-11-14 01:12 mircea_popescu: http://btcbase.org/log/2017-11-13#1737245 < ha! [20:49]
mircea_popescu: aha [20:50]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737304 << was never discussed nor did i ever really grok it. [20:51]
a111: Logged on 2017-11-13 20:35 diana_coman: I can't seem to find in the logs any discussion re duplex construction/duplexing the sponge i.e. keccak's authors own proposal of using keccak for authenticated encryption did anyone look into this? [20:51]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737321 << this is a problem but perhaps opening it up to the market may be helpful.\ [20:52]
a111: Logged on 2017-11-13 20:57 asciilifeform: the boojum is that neither i nor anybody else knows of any rational way to quantify the compromise. [20:52]
mircea_popescu: if we had a way to quantify we could just decide. [20:53]
mircea_popescu: http://btcbase.org/log/2017-11-13#1737334 << nah, autospeaking bots to be kept at a minimum which is 0. [20:53]
a111: Logged on 2017-11-13 21:10 asciilifeform: ^ pheeature idea : why not have ticker autofire when the number moves >10% from last tick [20:53]
mircea_popescu: BingoBoingo shaping up. [20:56]
mircea_popescu: also, http://p.bvulpes.com/pastes/6Fybq/?raw=true [20:59]
hanbot: <mircea_popescu> (asciilifeform's ticker idea) << nah, autospeaking bots to be kept at a minimum which is 0. << for the curious, why is say deedbot's rss announcer a non-auto event whereas a market movement isn't? [21:05]
mircea_popescu: history, pretty much. [21:06]
mircea_popescu: but if you wish to argue it in substance, the fiat valuation of bitcoin is broadly irrelevant -- to bitcoin, to the actrual things the fiat turds misclaim to represent, etcetera. whereas the penmanship of the l1 is relevant by definition. [21:07]
hanbot: that seems sound. [21:13]
mircea_popescu: meanwhile in doggy dishes, http://78.media.tumblr.com/222bfdf2af4f7c7417e869ba2ca093da/tumblr_n868fqJ7Sm1towumdo1_500.gif [21:16]
asciilifeform: http://btcbase.org/log/2017-11-14#1737435 << keep in mind, this was not a high bar -- ru soldiers took home even toilets from germany [21:39]
a111: Logged on 2017-11-14 01:44 mircea_popescu: allegedly teh soviets were so impressed with it packed the whole assembly line took it to russia in 1945 [21:39]
asciilifeform: http://btcbase.org/log/2017-11-14#1737451 << i see the q of whether a coin buys a rowboat, a battleship, or entire flotilla, as broadly interesting one -- but mebbe that's just me [21:44]
a111: Logged on 2017-11-14 02:07 mircea_popescu: but if you wish to argue it in substance, the fiat valuation of bitcoin is broadly irrelevant -- to bitcoin, to the actrual things the fiat turds misclaim to represent, etcetera. whereas the penmanship of the l1 is relevant by definition. [21:44]
asciilifeform: ( i could even readily believe that an , e.g., 25x rise in the heathenbux:btc exch rate would make no practical diff to mircea_popescu . but i suspect that i am not the only one here for whom it would make a palpable diff. ) [21:49]
mircea_popescu: 10% dun buy any flotillas. [22:13]
mircea_popescu: afaic, i still have coins i paid like $2.10 for. [22:15]
asciilifeform: pretty sure i still have a coin i paid 0 for, lel [22:19]
asciilifeform: ( it could buy a veeeery small, in a bottle , flotilla... ) [22:19]
lobbes: http://btcbase.org/log/2017-11-13#1737252 << I do plan to walk-back the logs and pull what still exists. Hard-drive space willing for being able to serve up the things on-demand (only ~40GB to work with on the VPS) [22:58]
a111: Logged on 2017-11-13 18:21 asciilifeform: lobbes: does this mean that you can mirror the whole zip collection nao ? [22:58]
lobbes: http://btcbase.org/log/2017-11-13#1737253 << time will tell. Depends on how much the logs-to-date worth of archives end up being in drive space. Bandwidth also a factor. Many things left to be sussed out. [22:58]
a111: Logged on 2017-11-13 18:32 BingoBoingo: lobbes: So modest is becoming less modest? [22:58]
BingoBoingo: Sexy or not? http://www.biostar.com.tw/app/en/mb/introduction.php?S_ID=856#specification [23:32]
BingoBoingo: !~later tell mircea_popescu http://wotpaste.cascadianhacker.com/pastes/cnUuO/?raw=true [23:33]
jhvh1: BingoBoingo: The operation succeeded. [23:33]
BingoBoingo: It looks like I'm going to be spending 2U on an Ubiquity Edgerouter Pro and an Ebuquity Edgeswitch lite, unless there are other ideas for networking hardware [23:35]
BingoBoingo: Under the guise of when visiting Shaman, buy cheapest that can move the traffic [23:36]
Category: Logs
Comments feed : RSS 2.0. Leave your own comment below, or send a trackback.
Add your cents! »
    If this is your first comment, it will wait to be approved. This usually takes a few hours. Subsequent comments are not delayed.