log☇︎
62900+ entries in 0.033s
mircea_popescu: diana_coman screw that, what "tries"
a111: Logged on 2018-09-14 16:27 asciilifeform: to round out thread, http://btcbase.org/log/2018-09-14#1850330 << in my orig udp attempt, i dispensed with the traditional 'gotta be in network byte order (tm)' doctrine, in favour of 'if packet doesn't pass muster, THEN flip the endianism and try again 1ce'
a111: Logged on 2018-09-14 17:09 mircea_popescu: iirc we even had a discussion re standardizing a byte order ; though from the fact that i don't recall the results i take it i got shown broken cats.
a111: Logged on 2018-11-10 16:56 asciilifeform: also how come you need procedure Cast_LE( LE: in out Raw_Types.Octets ) ? i thought the algo was 'if message invalid, flip endianism in whole thing and re-eval before discard'
diana_coman: I suppose this http://btcbase.org/log/2018-11-10#1870622 is linked to http://btcbase.org/log/2018-09-14#1850462 but I fail to see/recall some agreement that "we now first try as it is, then if it fails, try flipped" ☝︎☝︎
mircea_popescu: http://mocky.org/Log-Reference-Why-Ada/ << did we ever discuss this ? :D ☟︎
mircea_popescu: get that memory in bit format before it volatiles away. ☟︎☟︎
mircea_popescu: Mocky_ incidentally, now that you've rested, spending a few weeks publishing fleshouts / completing things / etc will be invaluable.
diana_coman: http://btcbase.org/log/2018-11-10#1870659 - as far as I can tell it's actually a WordPress "feature" where it converts text smileys to graphic images (the 8) is "cool") ; I disabled it now from Settings->Writing, if anyone else runs into this shit ☝︎
asciilifeform: ( for ref -- 'nqb' in last test ate the 1st 500k blox, correctly recomputed their tx hashes; then subjected it to random bit-flippage, correctly barfed in each test )
mircea_popescu: "do it like this because smarter people than you sat down once and figured it ALL out, and go read logs if you have issues"
mircea_popescu: moreover, THIS is what a language.io stdlib should even fucking be in the first place.
asciilifeform: mircea_popescu: fwiw i've found that the ada standard serialization, with the streams, does in fact work as specified. however i have not used in battlefield, remains to be properly exercised.
a111: Logged on 2018-10-23 06:31 mircea_popescu: slowly but surely a republican ada style manual is shaping up (and through the exact http://btcbase.org/log/2018-10-23#1865304 process, at that!)
a111: Logged on 2018-01-04 17:38 mircea_popescu: anyway, absent this logical rule, we'll do what, add "wordwrap(magicnumber" in the unloved v style manual ?
mircea_popescu: tbh this is a fundamental issue here anyway. data serialization, we haven't invented, it isn't going away. gotta set down a http://btcbase.org/log/2018-01-04#1764004 thing for "how we expect you to serialize". ☝︎
diana_coman: mircea_popescu, myeah, whether there IS a problem really or not quite
asciilifeform: btw diana_coman , i repeatedly refer to 'nqb' but it not yet got genesis'd, i did however gnathtml-ize it for reference : http://www.loper-os.org/pub/nqb/index.htm fwiw
mircea_popescu: only question is if this gains anything or just pushes some garbage downstream ☟︎
diana_coman: yes, that's what I had in mind; and I think it does solve the problem because it effectively fixes the size, yes
mircea_popescu: because whatever is there extra is padding. so instead of returning 6 correct records and discarding 2 records' worth of padding, you return 8 records, and let the application asking for records figure out that "6" means it needn't process 7 and 8
asciilifeform: diana_coman: it's perfectly permissible to define, e.g., subtype foo 1 .. 40 of a 2**5 modular type that lives in 5bits; and catch the out-of-range eggog when reading it
diana_coman: the only other option is to say it's always nmax*...
diana_coman: if it is described as a variable length i.e. n* ... then it's variable, what can I do
diana_coman: but the issue was re what follows
diana_coman: in implementation it gets defined as such although it still gets represented on 8 bits because thus specified; logically speaking it shouldn't be on 8 bits to represent ...40 max so yes, it makes sense to say, pack
diana_coman: that in itself doesn't solve the issue
mircea_popescu: the idea was to define n as a ada-style var, "from 1 to 19"
diana_coman: if you have however n and then max and then whatever then sure, yes
mircea_popescu: otoh i don't really want all the structure at one side of message for crypto-shamanistic considerations.
diana_coman: it's not going to fit "max", is it?
diana_coman: if you have n and then n*x and then something else
diana_coman: uhm, maybe I don't get what you mean then
diana_coman: so that the "not meaningful" is essentially padding
diana_coman: i.e. it should be the last thing in the message
diana_coman: this is what I had in mind; it helps but: diana_coman> in which case fine, it can perhaps even work like that for most messages except stuff that has max>message size and/or stuff that has meaningful data *after* this variable part
mircea_popescu: or does this just move the problem really ?
mircea_popescu: diana_coman the reason n is there is to tell you how much data is useful. what if you fixed n to max at depack size, and then delivered n=max records to application, and it is ITS job to discard the extras ?
diana_coman: in which case fine, it can perhaps even work like that for most messages except stuff that has max>message size and/or stuff that has meaningful data *after* this variable part
diana_coman: basically the only way is that: put always max and just write somewhere how much of that is actually meaningful
diana_coman: for the other I really don't see how exactly to have at the same time flexible size (specifying n and then n* IS flexible size) AND record'write
diana_coman: for one thing the solution as implemented is perfectly fine; sure, not a one-line record'write or something like that but not a terrible thing either
diana_coman: mircea_popescu, the problem (if there is one) is not space in itself for sure
diana_coman: you're asking me? lol; look at implementation that it becomes exactly that: http://ossasepia.com/2018/11/10/smg-comms-chapter-7-readwrite-serpent-keysets-tofrom-serpent-messages/#selection-71.1721-71.1777
a111: Logged on 2016-07-19 14:07 mircea_popescu: the basic, and really only, rule of hermeneutics is : that then you've understood a text when, far from its shortcomings appearing inexplicable errors, they become the actual pillars upon which the damned thing is constructed, and what originally seemed to you sensible and structural takes its true place as accidental.
mircea_popescu: then a) ada should allocate this as a 4 bit value and b) ada allocating space for 15 records is entirely fine anyway. with a being a very minor point but b being a major point because we've reoriented ourselves to where features of the language are indistinct rather than inconvenient. this is very much the http://btcbase.org/log/2016-07-19#1505418 thing. ☝︎
mircea_popescu: diana_coman specifically, why doesn't http://trilema.com/2018/euloras-communication-protocol-restated/#selection-195.0-195.48 simply say "from 1 to 15" or w/e it is ?
diana_coman: but 1 to 40
diana_coman: at implementation time that is how I define the counter for keyset for instance
diana_coman: well, that IS what I said though, lol
mircea_popescu: then the "it allocates whyole counter" becomes nonproblem.
mircea_popescu: point in case, defining variable in "bitsize". why am i not simply saying "this is a counter from 1 to 19" or w/e ?
diana_coman: I'm not sure what would the bitwise thing buy exactly?
mircea_popescu is not at all adverse to permitting ada metasyntactic considerations leak into the protocol. there's no rule specwork gotta happen in meta-c.
a111: Logged on 2018-11-10 16:43 mircea_popescu: diana_coman is the structure actually problematic ?
diana_coman: http://btcbase.org/log/2018-11-10#1870616 - I don't think the structure in itself is problematic; I think it's simply the serialize-in-one-go that doesn't mix well with any flexibility at all ☝︎
mircea_popescu: "no fucker, this isn't an "int", this is a 15 bit counter"
mircea_popescu: diana_coman would it be smart if i defined the count types narrowly ? ie, bitwise ?
a111: Logged on 2018-11-10 16:52 asciilifeform: diana_coman: and while we're nitpicking, Serpent message types can be an enumeration (see barnes)
diana_coman: http://btcbase.org/log/2018-11-10#1870620 -nitpick away! I actually DID consider that and I decided it's not really fitting because think of it: if I make it enumeration that *also* means you can actually go succ and prev which however isn't something that makes sense for message types; it's not like they are an actual ordered thing ☝︎
mircea_popescu: water is too white amirite.
BingoBoingo: Could be two years and their new governor Gavin decides no water for anyone
BingoBoingo: Sure it'll take that long. This is KKKalifornia
mircea_popescu: in another decade, "find out which celebrity hasn't had running water this week"
mircea_popescu: because it's totally "normal" for your fucking house to burn, dumb piggy, and it's "an event" which "happens", and there's no such thing as agency in zeklands and so on.
mod6: y tu?
asciilifeform: ( i backported this to my wp, incidentally , so far the only mpwp item i did this for )
mircea_popescu: asciilifeform you can define hooks for replacement. i suspect this might be a theme thing. mine replaces gpg code with fixed format... apparently her theme replaces :)
asciilifeform: i had nfi this was in mp's-wp!11
mircea_popescu: Dload Upload Total Spent Left Speed
mircea_popescu: % Total % Received % Xferd Average Speed Time Time Time Current
asciilifeform: i think there's a html inbandism booby in there ( but possibly only in graphic browser ? )
asciilifeform: also how come you need procedure Cast_LE( LE: in out Raw_Types.Octets ) ? i thought the algo was 'if message invalid, flip endianism in whole thing and re-eval before discard' ☟︎
asciilifeform: diana_coman: and while we're nitpicking, Serpent message types can be an enumeration (see barnes) ☟︎
mircea_popescu: elegant takes a single l while at it.
asciilifeform: diana_coman: btw the LSB/MSB/LMSB thing can be made slightly clearer / less-ctronic by actually making'em into 1-bit members of the record; gnat will do The Right Thing re padding
mircea_popescu: diana_coman is the structure actually problematic ? ☟︎
asciilifeform: this kinda thing can be frustrating, but imho it helps to remember that ada is ~deliberately~ 'not a haskell', it does not try to 'think for you', but rather leans to 'must be obvious to reader what proggy does'
asciilifeform: ( cuz ada is deliberately a 1-pass parser, it does not permit gnarly interdependency between record members that can't be resolved in 1 walk )
asciilifeform: the parametrized record thing i found to be helpful when eating/shitting gnarly heathen datastructures, in nqb in particular (the block/tx representations) but even there i had to do some explicit serialization
asciilifeform: diana_coman: imho mircea_popescu's protocol is simple enuff , however, that it doesn't make a gigantic difference that you walk the records explicitly, in re complexity of proggy
asciilifeform: tation is exactly as one expects, but if you want the size params to live inside the record and appear in the raw bitz, you gotta make'em members
asciilifeform: diana_coman: ' I admit I am still not 100% sure of the actual, exact representation of such a record containing itself parametrized records since my understanding is that Ada will allocated maximum space (i.e. space to fit potentially the largest structure) ' >> i dug into this when baked 'nqb'. what it does is exactly this, recursively ( for ~each~ subrecord, allocates the maximum possible size ; ditto any subrecords. ) the represen
asciilifeform lulzily, was actually able to make sense of this mega-orcogram
deedbot: mircea_popescu updated rating of Mocky from 3 to 4 << ἀποκρισιάριος دولة قطر‎
deedbot: http://ossasepia.com/2018/11/10/smg-comms-chapter-7-readwrite-serpent-keysets-tofrom-serpent-messages/ << Ossasepia - SMG Comms Chapter 7: Read/Write Serpent Keysets to/from Serpent Messages
Mocky: took the bike out for a spin. had to bundle up, bit of cold shock to my system
Mocky: another 9 hours of sleep. now I feel like I'm back to life
phf: asciilifeform: will look into it this weekend
lobbesbot: phf: Sent 9 hours and 4 minutes ago: <asciilifeform> didja ever get chance to unearth the http://btcbase.org/log/2018-10-15#1862616 item ?
mircea_popescu: ill tell you this tho -- only AFTER this is made as thin as it gets are we significantly more advanced on the path towards replacing php
mircea_popescu: actually, this is the correct direction -- should be collapsed into as few files as necessary (prolly three, seeing how it uses the apache access model to limit admin/users, so you'd have an admin and a public dir), and then cut from that.
asciilifeform: it prolly could be made considerably thinner
asciilifeform: i actually tried sawing on mp's-wp myself, when he first posted it, but my php-fu proved insufficient
BingoBoingo: Can only ada things up in steps, and there's other moving parts underneath www-blogthing
mircea_popescu: this, amusingly, was on my to-do (really, to-have-done, but let's not split camel toes) list for ... 12 years now!!!
asciilifeform: erry time i work with php, i get same taste in mouth as when writing for winblowz
mircea_popescu: in the present situation i'd settle for a three-file 5k loc mp-wp reduction from the current imensity.
asciilifeform: tho i do wish it didnt have to be php..
asciilifeform: mircea_popescu's approach is ultimately right thing, i suspect