asciilifeform: besides, if i make my escape to BingoBoingostan, who will ferry the irons from ebayistan in suitcases.
asciilifeform: there were quite tall piles of iron at the flea market, and nobody was buying ( i walked for ~4h and it appears to have moved not an inch )
asciilifeform: ( and imho it's a somewhat dubious item, it isn't clear to me that anyone outside of us in BingoBoingostan actually ~uses computer~ )
asciilifeform: mircea_popescu: after ffa/p beta rollout, i'ma be at yer service for the next thing ( fg2? tmsr.mips ? radio ? or other, take yer pick )
asciilifeform: mircea_popescu: re 'bigendian box' -- i invested in one of them 'asic emulator' mega-fpga thingies, it so happens to come with 2 ppc cores on board, can double as bigendism test system.☟︎
asciilifeform: btw if nobody indicates giving a damn, i'ma leave off cataloging these, i can't think of any use for'em
asciilifeform: this is legit, ' mircea_popescu's server is little-endian and if your client aint, flip ~yours~ )
asciilifeform: mircea_popescu: you only gotta 'process twice' for rubbish packets ( if legit fella has bigendian, he gets 'twiced' once and flag is set for his connection ) but yes
asciilifeform: incidentally what's the status of ben_vulpes ? is he still spending all of his time building fence around old house, or what was it
asciilifeform: mod6: he's right, y'know. and at this point i would not be averse to spending some coin and hiring an l1 accountant, if the necessary hero arises ( jurov ? hanbot ? )
asciilifeform recently had the pleasure of rereading Mocky's 'why ada'. turns it the walk to ada was longer/thornier than asciilifeform remembers it being
asciilifeform: iirc it was mircea_popescu who orig suggested the algo to me
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 )
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.
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
asciilifeform: i think there's a html inbandism booby in there ( but possibly only in graphic browser ? )
asciilifeform: mircea_popescu what do you see when you grep for Shift_Right(Result ?
asciilifeform: that way needs 0 awareness of native endianism ( or remote )
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)☟︎
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
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
asciilifeform: and yes its all 'gnarly, nonstandard, barbaric, sheep fucking'
asciilifeform: there is a reason why asciilifeform's lan switch loox like a hammock.
asciilifeform: fwiw the scpism happens on yet-other box, lol
asciilifeform: mircea_popescu: interestingly pretty much all graphics processing coad is 'swiss cheese', evidently nobody ever heard of bounds checking when writing these, lol
asciilifeform: it lives on nic box anyway. and eats pics shat out of own camera/generated locally.
asciilifeform: sometimes gimp, if needs hand-twiddling
asciilifeform: and comes with bonus, that you can keep all files +r only
asciilifeform: ( and it worx with any box where you have ssh key set up )
asciilifeform: hanbot et al : fwiw i've never 1nce used wp uploader, ever since booting up the current ver of my www in '07 i've used scp via 'midnight commander' for all file upload, worx great, it's just as if the thing were on my local fs