log☇︎
52400+ entries in 0.034s
mircea_popescu: i'd rather not grandfather the current bitcoin wallet approach, time-tested as it might be. but this problem will recur (no later than "wut do wallet" in any case). so...
mircea_popescu: this leaves open the "wut do about that encryption key".
mircea_popescu: ad interim the draft is, that the client stores all the keys (rsa, serpent, whatever) one per line, the rsa ones in republican format, the rest unspecified as of yet, in a file called keys.tmsr encrypted by the rsa key of the client.
mircea_popescu: this is a matter of best practices that's by its nature a republican standard candidate, so i'd very much like to hear the esteemed lordship. ☟︎
mircea_popescu: in other news : i'm not entirely current here, but diana_coman does seem to have neatly resolved the ada-cpp linking conundrums. going on which theory, the next step we're upon is what to do with the keys.
mircea_popescu: spyked feedbot additions process usually goes the other way ; but in this case sure.
BingoBoingo: diana_coman: Apologies for the startling
spyked: and in other tasks in my queue, I propose adding billymg and mod6's blogs to feedbot (I'll do that tomorrow if there are no objections)
spyked: and in better news, house mogosanu (82.79.58.192) has a fully synced trb node up. it's been running without issues for almost a month now. IMHO it's ready to be added to http://thebitcoin.foundation/trusted-nodes.html (cc mod6) ☟︎
a111: Logged on 2019-01-05 14:30 mircea_popescu: spyked is evidently trying, hence feedbot, but evidently having trouble reconciling saeculum, which i'm going to let stand as such on the grounds that he's new -- even though experience shows that as a dubious idea [for all the eg one could possibly need witness how asciilifeform 's still in the swamp, so many years later].
spyked: http://btcbase.org/log/2019-01-05#1884617 <-- ftr, I agree 100% with this assessment. the last 4 months (at least) of my life have been a rollercoaster, and I'm just beginning to settle down into an arrangement where I can set goals without getting preempted at every corner. my current goal is to have a schedule posted by the end of the month, in the same style as http://www.loper-os.org/?p=2735 , ☝︎
diana_coman: mod6, the V check post looks good; maybe move to the new blog your older posts on http://mod6.net/blog.html and update the link at http://mod6.net/ ? ☟︎
a111: Logged on 2019-01-13 00:03 BingoBoingo: Attn: The Pizarro has rebooted, this was first noticed by mod6. A quick trip to the datacenter showed both power supplies were had their happy green lights lit, the ambient air was conditioned with cool everywhere outside the hot aisle, and the server's chassis was not particularly warm. attn: asciilifeform
diana_coman: http://btcbase.org/log/2019-01-13#1886446 -> this made me jump at first to check on S.MG's servers with Pizarro; BingoBoingo please make those announcements clear from the start as to what services precisely are/have been affected ☝︎
BingoBoingo: Ah yes, just the shared hosting server
mod6: The Foundation's colocated box there is not impacted -- this seems to be isolated to a problem with UY1 in particular.
mod6: Specifically, UY1 - the shared hosting environment.
BingoBoingo: Attn: The Pizarro has rebooted, this was first noticed by mod6. A quick trip to the datacenter showed both power supplies were had their happy green lights lit, the ambient air was conditioned with cool everywhere outside the hot aisle, and the server's chassis was not particularly warm. attn: asciilifeform ☟︎
a111: Logged on 2019-01-11 15:19 diana_coman: http://btcbase.org/log/2019-01-09#1886075 -> on additional digging, static lib apparently does have libnameinit so yest I was looking for the wrong thing
diana_coman: ^ for answering the previous confusion in http://btcbase.org/log/2019-01-11#1886337 ☝︎
feedbot: http://qntra.net/2019/01/us-pantsuits-flip-from-lauding-to-condemning-freshman-congresswoman-in-one-week/ << Qntra -- US Pantsuits Flip From Lauding To Condemning Freshman Congresswoman In One Week
deedbot: Invoiced trinque 0.04168076 << colocation and shared hosting monthly
BingoBoingo: !!invoice trinque 0.04168076 colocation and shared hosting monthly
deedbot: Invoiced jurov 0.03968076 << TBF colocation monthly
BingoBoingo: !!invoice jurov 0.03968076 TBF colocation monthly
BingoBoingo: American Apparel was built by taking coeds. Amazon was built on retiree RV cities seasonally wintering at their distribution centers
BingoBoingo: And Amazon was built by boldly taking coeds
BingoBoingo: Judging by the pictures it looks like she was a tanner more silicone'd version of his domestic partner
asciilifeform: wtf re '49 Year Old' tho! i'd naively think 'may as well hang for a sheep as for a lamb'... ☟︎
a111: Logged on 2019-01-08 17:10 mircea_popescu: (that article, btw, remarkable because i told ro bezos "Si, draga Varanule, nu-i clar ca mai ai cinci ani" ie, "dear reptile, it's not clear you have five years left" in 2012 -- by 2014 he was in jail. because hey, mp is right now and again accidentally which is to say 1024/1024 occurences on his blog etc etc)
asciilifeform: http://btcbase.org/log/2019-01-08#1885893 << there. ☝︎
asciilifeform: hrm, could've sworn there was a moar recent mircea_popescu thread re same
feedbot: http://qntra.net/2019/01/pantsuit-capital-allocator-jeff-bezos-mismanages-household-to-dissolution-after-sexing-up-49-year-old-matron/ << Qntra -- Pantsuit Capital Allocator Jeff Bezos Mismanages Household To Dissolution After Sexing Up 49 Year Old Matron
feedbot: http://qntra.net/2019/01/three-weeks-into-partial-usg-shutdown-over-single-budget-item-small-signs-becoming-visible/ << Qntra -- Three Weeks Into Partial USG Shutdown Over Single Budget Item, Small Signs Becoming Visible
asciilifeform: err, nm, lol, they're same thing, asciilifeform prolly oughta go to bed
a111: Logged on 2019-01-11 17:48 asciilifeform: ( re 'how many witnesses', see diana_coman's article, it reviews the necessary maffs, i.e. P(yer prime aint a prime and you die) == (1/4)^n, where n is # of witness )
asciilifeform pictures convo, 'hm we send the n-th d00d to trade with the natives' 'and..?' 'skull came back, cannibals ate' 'who wants to go next'
asciilifeform: lol dafuq was he doing in the reich
asciilifeform: ( i dun have a trademark on the phrase, naturally, but still a lul )
diana_coman: asciilifeform, I know, no worries at all! onth I'm not going to *sit* stuck, no - digging at it
asciilifeform: and ftr i'm surely doomed to run into diana_coman's puzzler myself, when i go to write a threaded proggy (e.g. adaized trb) ☟︎
asciilifeform: diana_coman: plz dun see the orig statement as ' asciilifeform presumes that diana_coman is dummkopf and problem is trivial, asciilifeform can do it with 1 hand '. i simply dun like to see people sitting stuck, is all.
diana_coman: so that'd be at least the "encapsulated" part explained ☟︎
diana_coman: so far I can tell that the static lib has the huge disadvantage that one needs then to link with it everything but the kitchen sink to bring in all it needs from ada runtime
a111: Logged on 2019-01-11 16:49 asciilifeform: diana_coman: if you're utterly stumped, i can allocate some cycles to the problem tomorrow -- with mircea_popescu's permission ( i swore to him that i will not embroil meself in matters euloric , recall )
diana_coman: http://btcbase.org/log/2019-01-11#1886349 -> better spent on ffa, surely; thanks for the offer anyway though! ☝︎
asciilifeform: 'peh' is intended as a working, weaponized demonstration of the 'specificity of diddling' principle. (but perhaps this was obvious to errybody.)
asciilifeform: i'ma include a few obvious approaches as example tapes, but it is NOT the intention that anyone use'em as-found.
asciilifeform: a 'graduate' of ffa (i.e. fella who ~read~ the thing, as it was intended to be read, and fit-in-head) will have no trouble writing his particular variant of correct prime generator for his particular type of key.
asciilifeform: consider from pov : there is no particular reason for enemy to know precisely ~how~ you baked the primes for yer privkey.
asciilifeform: observe that by this scheme, we also avoid hardcoding primorials for 'G' test. author of tape is responsible for including a primorial ~for his chosen ffawidth~ if he intends to use G litmusing.
asciilifeform: ( re 'how many witnesses', see diana_coman's article, it reviews the necessary maffs, i.e. P(yer prime aint a prime and you die) == (1/4)^n, where n is # of witness ) ☟︎☟︎
asciilifeform: and this was forced by the irons ( it's evenly divisible by all known bus widths )
asciilifeform: the only 'magic number' in ffa is the concession that all FZ must be at least 256bits long
asciilifeform: ( he can use 'G' as litmus, or not use, can use 16 witnesses or 666, etc, rather than being forced into a particular scheme )
asciilifeform: this allows 'P' to be a constant-spacetime operation, and hands the decision of 'just how important to constant-time the whole prime generation' to the author of the tape.
asciilifeform: presently looping is prohibited in pcode, in later ch. will be introduced. (but i am spoiling things..)
asciilifeform: per the ffa plan, 'P' command will take two numbers from the stack, a candidate integer and a witness. author of pcode tape determines how many witnesses to use, he iterates by generating witnesses and calling P repeatedly as many times as he wants
Mocky: is the number of witnesses to be a knob or fixed?
asciilifeform: anyway i'ma post the actual physical measurement once i have it, but i dun expect it will be far from this chalkboard figure.
asciilifeform: whereas the gcd litmus ( gcd(candidate, primorial) ) costs 1ms . ☟︎
asciilifeform: take for example diana_coman's system , where 16 witnesses are used. ( i'd use moar, but let's go with the example. ) so if we're generating 2048b primes (for 4096b rsa mod), per ch.14b timings on asciilifeform's iron this costs ~2.9s per modexp, and thereby ~93sec per m-r procedure.
asciilifeform: this means that the use of gcd litmus very muchly wins.
asciilifeform: btw per asciilifeform's chalkboard, the physical cost of constanttime m-r is ~equal to that of (2 modexps of the given width) x (number of witnesses) . ☟︎
asciilifeform: hrm , asciilifeform's 'wtf' to this was based on a backwards reading of his chalkboard. modsquares are fast.
asciilifeform: which means ugh, for e.g. 2048bit candidate being tested for primality in constant time, ~each~ witness needs 1 modexp and 2047 modsquares !
asciilifeform: unrelatedly: diana_coman , were you ( or anyone else... ) ever able to derive a bound for 's' in m-r ? ( http://ossasepia.com/2017/12/28/eucrypt-chapter-3-miller-rabin-implementation/#selection-125.2765-125.2766 )
asciilifeform: ... or i suppose if yer still stumped next friday night, then.
asciilifeform: diana_coman: if you're utterly stumped, i can allocate some cycles to the problem tomorrow -- with mircea_popescu's permission ( i swore to him that i will not embroil meself in matters euloric , recall ) ☟︎
asciilifeform goes to tea
diana_coman goes to read some more and test even more
asciilifeform: diana_coman: what i meant was, my proggy has no elaborator, and yours -- has, so i am not qualified to say 'here's how to fix elaborator in static lib' of yet.
asciilifeform: but i cannot yet say conclusively. diana_coman is at the bleeding edge of this q.
asciilifeform: last time i touched the subj with own hands, i concluded that elaborator isn't even permitted in static ada lib.
diana_coman: because in the docs it's claimed that non-ada main should be with the encapsulated-lib version, ugh
diana_coman: asciilifeform, yes, but is the one generated for static lib the same? or wtf is with the encapsulated-shit then?
asciilifeform: diana_coman: if your 'main' is a c/cpp proggy , you gotta trigger the elaborator 'by hand', regardless of which type of lib your ada coad is in, afaik.
diana_coman: but now I'm confused on whether *that* is enough or not (standalone thingie claims it takes care of everything needed for elaboration, correctly)
a111: Logged on 2019-01-09 14:14 diana_coman: my trajectory in hitting walls on this was precisely that: make it static -> surprise, no adainit exported/included, checked the .a file and everything, went nuts; make it dynamic -> ugh, need -lgnat and whatnot; rtfm again and again, there is this calo-magar
diana_coman: http://btcbase.org/log/2019-01-09#1886075 -> on additional digging, static lib apparently does have libnameinit so yest I was looking for the wrong thing ☝︎☟︎
asciilifeform: it is also clearly stated in the proggy comments.
asciilifeform: correct. hence why i decided subj is worth touching in the piece & in the l0gz.
diana_coman: possibly; at the end of the day it's a choice and one can have gcd implemented one way or another, as long as the choice made is clearly stated on the tin
asciilifeform: ( tho it grates on me that i never found any coherent discussion of subj anywhere, yet )
asciilifeform: possibly this is why it was traditionally permitted.
asciilifeform: in situation where cpu cost matters greatly, testing 1 register (output of gcd) for nullity is cheaper than testing two (its args)
asciilifeform: ( and observe that all instances where we divide, we're doomed to check for 0 regardless )
asciilifeform: imho arg can be made for it being the gcd-invoker's responsibility to know what to do with the output ☟︎
diana_coman: so there
diana_coman: well, because technically gcd is never 0, right?
asciilifeform: if yer dividing, you gotta determine that it aint by 0.
asciilifeform: rright but why wouldja do that.
diana_coman: I suppose only in some silly situation such as "let's take 2 numbers from user; compute gcd and then proceed to divide and print results"
asciilifeform: i sat down last night and tried to conceive a 'div0'-style situation where you 'bought own cross' as result of permitting gcd(0,0) to execute. but did not find one.
diana_coman: other than that the "reason" I can see is that otherwise in principle you need an additional check each time you call gcd (i.e. to make sure you don't step even if once in a blue moon) on this particular rake
asciilifeform: i'ma leave it permitted for nao, and if somebody has persuasive arg why to prohibit, will listen.
diana_coman: is the performance penalty significant?
asciilifeform: ideally would like to conceive of a justification for either setting.
diana_coman: myeah, that's not in itself a reason to not do it (if anything, it's the opposite really, given the usual "what everybody does"
asciilifeform: diana_coman: near as i can tell, nobody ever does tho