asciilifeform: mircea_popescu: per http://www.loper-os.org/?p=1446 / http://trilema.com/2014/a-complete-theory-of-sociology/ , cluckers -- go to soup, in all times an' places, but while there are cluckers , farmer eats well
asciilifeform: at least the 'monero' crackpot folx have some nominal chump lure ( the ring signature song an' dance ) . but 'ripple' i have genuinely nfi who would deal in, other than eliza
asciilifeform: iirc i suggested this lul yrs prior, but would be hilarious if there were a parallel #trilema consisting simply of bots, 1 for each of us, fed with corpus of log lines + shannonizer
asciilifeform: the 23 / 25 ... etc is prolly simply how long it happened to take for the thing to restart
asciilifeform: trinque: funnily enuff , i was ~just about~ to buy a 'it is tempting fate to put ERRYTHING in 1 rack' box in singapore !
asciilifeform: i dun know the specifics; supposing simply that retired boxer aint gonna run a node. therefore goxism.
asciilifeform: but that vtronic record would make certain classes of ugh, impossible
asciilifeform: ( btw these are imho a luxury. i simply hate having to click 9000 links to get a tree , and assume other folx do also )
asciilifeform: i did sign a tarball fulla regrindolade last wk. but largely so folx know they get what i put in, rather than ball fulla patches + usg gnutar 0day impregnated in flight etc
asciilifeform: given as i'd have to release N almost-completely-identical patches each time i release a chapter
asciilifeform: the fact that it feels to noobs like 'unnatural acrobatics' is an artifact of writer suddenly having to pay that actual cost of the complexity inflicted on reader. and yes folx whined, just like in ex-ussr folx whined when they started having to pay for mains current .
asciilifeform: to put it in mircea_popescuine terminology -- the scenario that v makes specifically and rightfully impossible is 'hey, i changed 'wife' to 'dog' in your marriage contract, but yer still just as married, you signed all the downstreams'
asciilifeform: v makes it possible to sign a compartmentalized change , so reader is not stuck having to manually diff contents of signed_foo.today.tar.gz against signed_foo.tomorrow.tar.gz to see where the changes were. but what it deliberately does ~not~ do is to enable the pretense ( carried on in git & other heathen abominations ) that a proggy where something semantically upstream of $place were changed, is ~same~ proggy ~but for $place~ .
asciilifeform: it is quite impossible to say entirely in advance what api for glue layer on buncha unix garbage, will be, until fully grasped at least the outer surface of said garbage
asciilifeform: anybody recall whether there's a handy gauge somewhere re just how fat is the sow presently ? ( it ain't particularly hard to calculate , simply add up the coinz presently sitting in 'anyone-spends' )
asciilifeform: ( e.g. ffa genesis, is very small, but contained all of the basic fundamental moving parts for simple arithm )
asciilifeform: http://btcbase.org/log/2018-11-19#1873561 << here is where i admit that i dun see wtf is the point of an empty genesis
asciilifeform: echelon: copyrasts' 'technical investments' are possibly some of the dumbest schemes on this side of emperor qin shihuangdi's hg immortality pills
asciilifeform picture mircea_popescu picking mushrooms in forest. mushroom : 'very ballsy of you, to pick me from ground' mp: 'wtf, why is mushroom talking' mushroom : 'as a self-respecting forest dweller, you should know that you should not pick someone without permission' mp: 'wtf, you are a fungus' fungus : 'i will not submit, you do not interest me!' etc
asciilifeform: i will add, thing is deliberately shaped in such a way that it could be hand-compiled to relatively uncomplicated asm, on most archs, by a clueful reader. my yet-ungenesis'd parallel attempt at this is somewhat behind the ada, but i expect will be maybe 3000 ln. total in the end.
asciilifeform: ( i dun ask that the gnat also ~runs~ under dos, tho that would be 9000x spiffier even . simply ~for~ )
asciilifeform: ( if yer writing even so much as a tetris, even on dos box you needed a bit more than simply fb to do it without 'tearing', you need some way to insta-flip the 'pages' , possibly ioctl ? )
asciilifeform: if yer running in kernel, you dun need mmap call, you can simply set the address of your array to be the magic iron addr directly
asciilifeform: i expect if you bake sumthing on 'horsecocks', it will be simple to rewrite on new item, will simply shed a few lines of coad
asciilifeform: phf: the early ver that was actually posted is http://btcbase.org/log/2017-06-06#1666647 . however there's a clean/rewritten one, in a 90% state of completion, not yet genesis'd
asciilifeform: ( and will add, it aint as if today's ameritards are less credulous. simply today better corralled, today's hotel owner will equally idiotically invest in usg bonds, rather than tesla's trunk, is all )
asciilifeform: whichever way -- there's apparently a set of people who find it moar satisfying to sit on a trunk of rotting tapes, than to see the idiocy of computing 1990-present cured
asciilifeform: i wouldn't consider ever to put floatism in a new design, but for compat with the vintage soft one would need it ( fortunately unlike 'ivory' the weitek is documented to death, i even have a copy of the datashit from ancient ru stash )
asciilifeform: ave1: c. d. smith, 'the zx spectrum ula: how to design a microcomputer' btw
asciilifeform: http://trilema.com/wp-content/uploads/2018/11/unicorn-5.jpg << loox like kerosene lamp!
asciilifeform: http://btcbase.org/log/2018-11-16#1872802 << 'proof of disk' is 'solution' in the sense that the amt of disk required grows 4evah ( just as what we have now in trad btc, except that shitoshi did not see it fit to include block-walks in mining eqn ) . granted it doesn't magic away the 'only asia' thing, nuffin could, as mircea_popescu pointed out in the horse example. may very well transform 'chinese monopoly' to 'korean'
asciilifeform: mircea_popescu: other thing -- i have a vague sympathy for the 'asic-resist' perpetuum-mobile folx; i dun particularly see what's so great about chinese monopoly on mining in classical btc. but it is tempered by the fact that they're some admixture of outright scamola and dumb-as-rocks -- consider, we described a perfectly-usable 'disk-hard' pow algo, http://btcbase.org/log/2017-03-01#1620665 , and they're still derping with 'ram-har
asciilifeform: funnily enuff, an almost ~exact opposite~ of asciilifeform's experience in digging up ada ( reputation for gnarl, turns out actually simple & clean 'when used as prescribed' ) , risc-v - reputation for 'simple and clean', turns out ball o' hair
asciilifeform: and buncha crapola -- page table, floating point, etc. that simply dun need to exist.
asciilifeform: ( attraction is supposed to be 'open standard', 'no royalty', whatever. but still bizarrely imho complex. e.g. variable-length instructions -- wai!?? )
asciilifeform: speaking of heathen gnarl, took another look coupla wks ago at 'risc-v' ( e.g. instr set https://archive.is/TfPrq ) and pretty depressing. yes it's the simplest cpu currently targeted by gcc , and somebody even sells iron nao, but still a mess.
asciilifeform: just empty tables, buncha weirdos, and pigeons
asciilifeform: ( simply cuz not genesis'd yet , needs massage and will have to wait )
asciilifeform: if you simply ~must~ db, stuff it all in db already
asciilifeform: db only really wins when yer doing a) complex queries b) over million+ items , or a+b , really
asciilifeform: mircea_popescu had to ride horse and burn vienna to get 286, but here idjits simply threw out 486 etc
asciilifeform: yes hung in dumpsters
asciilifeform: mine i fished from a dumpster when i was a kid
asciilifeform: ( i've seen various heathen crapola that takes pdf and makes www, but all seems to use ocean of js and scarcely improvement over orig gnarl imho )
asciilifeform: contemplated strictly as archaeologist's spade, rather than some continued 'legit' existence for the sadformat.
asciilifeform: iirc lobbes attempted one, but got stuck on sumthing
asciilifeform pictures a fyootoor emperor qin shihuandi , with stable of alchemists paid in coin, hunting for elixir
asciilifeform: simply best-known example. pantsuit is colonial master in good chunk of that subcontinent, but not afaik vietnam.
asciilifeform: mircea_popescu: i admit to a curiosity re vietnam. ( not only famously succeeded in crushing the anglo-roaches , but persistent rumours that at least part of the reason why invaded was to prevent a native and 'red' semiconductor castle from appearing , was showing symptoms )
asciilifeform: at any rate, i dun have an obviously-superior replacement for oaep. so presently ( see my rollout calendar ) i'ma implement one. but i dispute that 'cannot be made' claim.
asciilifeform: mircea_popescu: we have hashes cuz some thing simply cannot be done without'em ( short rsa sigs of GB inputs, etc )
asciilifeform: mircea_popescu: the 'proof' is iffy ( iirc we dug into this in early thrd ) but that aint the thing that makes me hairs stand up: it's that oaep introduces structurism ( for comparison, even the oldest 'all or nuffin' algo, rivest's , does not )
asciilifeform: ( current mass of compressed phuctor snapshot )
asciilifeform: also iirc diana_coman and hanbot both have mp's-wp on rk , and i dun recall either of'em ever reporting OOM
asciilifeform: i view it rather like (i picture) mircea_popescu views his 'mpb' item
asciilifeform: possibly 1 of these days i oughta publish my kludge for making ancient wp go on postgres; but it isn't half as polished as mp's and i dunno that anyone would win from cribbing it
asciilifeform: http://btcbase.org/log/2018-11-15#1872279 << currently i know veeery little about mysql ( always used postgres, and at this point know embarrassingly much re the internals and tuning knobs ) -- but iirc mp's-wp requires specifically mysql, so prolly doomed to study it at some point
asciilifeform: btw for many yrs i've searched for the obvious simple gadget, a y-shaped thing that'd turn 2 or moar usb sticks into an iron raid. but still not found, dun seem like anybody ever made.
asciilifeform: https://github.com/Componolit/libsparkcrypto/blob/componolit/src/shared/generic/lsc-bignum.ads << even the declarations suffer from advanced elephantiasis
asciilifeform: i am impressed with the sheer volume of liquishit
asciilifeform: bvt: https://github.com/Componolit/libsparkcrypto/blob/componolit/src/shared/generic/lsc-bignum.adb << holyfuq, obfuscated ada contest !
asciilifeform: https://archive.org/download/TerryADavis_TempleOS_Archive/email/Templar%20mailinglist/ << various lulz
asciilifeform: https://archive.org/download/TerryADavis_TempleOS_Archive << indeed, nao housed in usg.loc archive..
asciilifeform: ( the down side of it being pure-compiler internally )
asciilifeform if could pick dead empire to fight for, quite fond of hirohito's
asciilifeform: ( observe, nobody 'declared war' on chimp )
asciilifeform: they do ~whatever they like, have ~99% of modern industry inside border, and look at 'west' like we look at chimp in zoo
asciilifeform: 'Building upon successful hash sharing efforts to further assist in proactive removal of illicit content. ... Setting ambitious industry standards, and increasing assistance to smaller companies in developing and deploying illicit content counter-measures. Building and enhancing capabilities to counter foreign interference and disinformation. ... Artificial Intelligence-driven solutions.' << lol
asciilifeform: 'Likewise, the moment Macron finished his speech, up popped a Microsoft blog post heralding the speech as a "an important step toward peace and security in the digital world."'
asciilifeform: ( gcc, objdump, as, etc ALL default to it, ugly as sin as pointlessly verbose )
asciilifeform: asciilifeform's q wasn't 'whether 4th reich is ripe for the visigoths', seems pretty clear that it is. but whether the entire cycle, where manchu horsemen , 'free and manly' , invade, then turn into fat and idjit empress cixi, is escapable or not
asciilifeform: there's definitely factual substance to the archetype of 'farmer ready to pick up weapon and defend his not-needing-the-city-for-anyffing', hence the festivities in '20s ru re tambov rebellion ( where the reds pretty much brought back ivan iv's methods, incl. mass impalement ) to put down
asciilifeform: ( relatedly, i vaguely recall from some old lit that the turks amused themselves by cauterizing beheadee's stump to see if he can be made to chicken, i.e. not bleed out right off, but dun recall source or whether it worked )
asciilifeform: btw i confirmed that phf's v98 ( when patched to remove the subkey handler thing ) successfully presses ch1-11, with bitwise-correct results ( compared with classic vtron )
asciilifeform: ( there is also the fact that such a simple thing as addition with carry takes not 1 ADD instruction, but an entire http://www.loper-os.org/pub/ffa/hypertext/ch11/word_ops__adb.htm#36_13 orchestra )
asciilifeform: well there is also a 'put all asmism in a standalone .S and feed it to the linker' , for completeness
asciilifeform: in the particular example of udp, a coupla extra MOV's won't make a diff speedwise (vs the latency of the nic) but this sorta thing will be ugly once we start writing kernel mods in ada / moving off unix entirely
asciilifeform: ave1: do you mean that inline asm is actually broken on arm64 gnat ? or simply not found how to make it go
asciilifeform: it's exactly an africa, complete with tsetse fly.
asciilifeform: it always baked a tmp to satisfy gpg's keyring idjicy and nuked it after
asciilifeform: originally i was gonna simply regrind ( by running through new vdiff ) ch1-11, and invite reader to hand-diff if he likes and see that only hashes have changed. but then noticed that the new vdiff also processes files in different order, so this won't give clean 'only hashes' diff. so thinking, may as well retrofit manifest to each of ch1-11
asciilifeform: certainly if compared to 'freechoice'landia folx.
asciilifeform: ( but imho oughta be in asm, if anyone attempts )
asciilifeform: mircea_popescu: what exactly is an 'ada mpi' ? ( i.e. i assume it's diff from what i'm baking )
asciilifeform: http://btcbase.org/log/2018-11-11#1871342 << out of curiosity, BingoBoingo , didja simply strip off the 8th bit or wat, howdidja make'em
asciilifeform: i used 'stream'ism where it actually made sense to do so, i.e. where otherwise would be stuck kludging together an adhoc reimplementation of stream
asciilifeform: the complete set of raw inputs, really
asciilifeform: ( e.g. , on my shelf i have a little demo with solid state gyro, lights a 'bang yer dead' symbolic lamp if picked up and moved ~half metre, but not if desk kicked / small earthquake )
asciilifeform: mircea_popescu: ours, i think, is moar of a case of 'this is nice rifle, let's take it fishing', pgp offers temptation to 'cipher and then see later', i agree that it is dangerous.
asciilifeform: BingoBoingo, mod6 : i'd like to make as much of that massive txt turd we've been pgp'ing back and forth, public asap -- it is unseemly imho that simple factoids like ' today BingoBoingo was cured of yellow fewer and took delivery of 5 hdds' are 'classified', wtf
asciilifeform: after we get the simplest working item up & running, i'ma ask trinque if he is interested in helping (in exch for shares, perhaps) us to avoid reinventing wheel, and solder his payment system to our acct system
asciilifeform: for nao need simple, working number crunch asap.
asciilifeform: after asciilifeform's conveyor ( http://www.loper-os.org/?p=2735 << public ! nao ) is emptied, can then attempt an item which sits on www and takes signed updates via form box, possibly
asciilifeform: recall what passes for a comp there
asciilifeform: tho i did have to clear jungle today, it was approaching impassable
asciilifeform: now if them monkeys actually knew what to do with comps...
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: ( 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: ( i backported this to my wp, incidentally , so far the only mpwp item i did this for )
asciilifeform: i had nfi this was in mp's-wp!11
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: i actually tried sawing on mp's-wp myself, when he first posted it, but my php-fu proved insufficient
asciilifeform: sometimes gimp, if needs hand-twiddling
asciilifeform: lol i dun hate mp's wp of anyffing of the kind
asciilifeform: BingoBoingo: for comparison, round-trip of misaddressed FG to argentina, from asciilifeformistan and back, took slightly under 3 months
asciilifeform: 'A long time ago, in the late eighties, I myself tried to develop such a system, on a home-made 68K with a cp/m executive (the file system was on a second, z80 processor, that had a floppy drive). It's name was 'li' meaning a half lisp (but it had a simple, non-optimizing JIT compiler that directly generated 68K code)...' << this is at least the 3rd fella i've corresponded with who 'i tried to build lispm in '80s out of 68k'
asciilifeform: mircea_popescu: 'ioan' sounds like an attempt to oldslavonic
asciilifeform: mircea_popescu do you know this fella ? http://dan.corlan.net 'Alexandru-Dan Corlan, MD, PhD' 'stochastic models of patient evolution and pharmacologic response' 'high performance computing and programming in R, Ada and CommonLisp'
asciilifeform: btw, diana_coman were you able in the end to make sense of the http://www.loper-os.org/?p=2675 proof ? ( mircea_popescu's s.mg broadcast implies that yes -- but thought i oughta ask conceretely )
asciilifeform: i suppose the 3rd way would be to write simple serializer ( that uses System.Address and yourthing'Size ) to turn your record type into (and out of) the requisite # of octets, and compartmentalize all of the System.Address'ism in 1 module. i have something quite similar to this in my mmap lib.
asciilifeform: mircea_popescu: roundin' up judges needs a stalin, not a trump
asciilifeform: ( i'm completely willing to believe that the part that actually disgorges dough to the 'customers' is off , tho have not had any occasion to try it with own hands, i dun exactly qualify )
asciilifeform: http://btcbase.org/log/2018-11-07#1870044 << that being said, afaik there simply does not exist a non-tard product in that niche
asciilifeform: (or simply switcheroo for fresh board in the mail etc)
asciilifeform: q is whether can 'restore virginity' and load in new config; and whether this is actually easier than simply soldering on a fresh one
asciilifeform: i have nfi if ice's thing boosts longevity, chances are their 'OTP' is implemented the same way as errybody else's, nowadays, simply a nonwindowed EPROM.
asciilifeform: http://p.bvulpes.com/pastes/AVRMP/?raw=true << from horse's mouth
asciilifeform: ( it's not ~completely~ fucktarded, all of ffa is still reachable via http://www.loper-os.org/pub/ffa/hypertext/ch11/ffa__ads.htm . but still frustrating )
asciilifeform: phf: if it were simply 'colorizer' i wouldn't bother.
asciilifeform: lxr had full clickable concordance for all subcomponents, some basic comprehension of cppism (e.g. 'where defined class'), and search.
asciilifeform: btw in case other folx ( diana_coman ? ) want to make these for ~their~ proggies, process is pretty simple :
asciilifeform: jurov i was gonna link to your lxr ( which i've used 9000 times in all trb work ) as example of why ^ , but it seems to be down
asciilifeform was quite impressed with 'tienda inglesa' : better stocked than 95% of american shops
asciilifeform: 'Con dinero y sin dinero yo hago siempre lo que quiero y mi palabra es la ley' << bahaha srsly?!
asciilifeform: skip the captatio, it has example proggy in ea.
asciilifeform: meanwhile, in continuation of last month's thrd, http://www.iuma.ulpgc.es/~nunez/clases-FdC/verilog/VHDL%20&%20Verilog%20Compared%20&%20Contrasted.htm
asciilifeform: or is it simply the algo of weasel in chicken coop -- 1st kill errything, then decide if even hungry
asciilifeform: ( subj, for the innocent , is simply this thing, a sheet of chemical strange that turns green when you push on it with plastic stake 'pencil', and takes a watch battery, so that when you hit red button it turns black again )
asciilifeform: worst thing, they're ~impossible to keep clean
asciilifeform: mircea_popescu: it's a completely textbook case, aha, of 'we pulled on the duct tape and after 2 tonnes of pull it comes off'
asciilifeform: ( what 'genericism' does in ada, is to force the compiler to rebuild a copy of the lib for erry time the exported type is invoked in the caller. at which point may as well tell user to drop the src into his, rather than link the lib, the effect is the same )
asciilifeform: i also suspect that my use of static linkage exposed buncha implementation strange
asciilifeform: ( for 'real-life' comparison -- the miniature XC9572XL item in http://btcbase.org/patches/fg-genesis#selection-297.16-297.24 , gives 72 LUTs and nuffin else , of which FG uses all but 1 )
asciilifeform: not directly comparable, tho, 'virtex' also had various heterogeneous parts, e.g. cascadable shift registers, adders, etc. inside.
asciilifeform: approx 4x the logic carpet of the fattest ice40, for comparison.
asciilifeform: mircea_popescu: didn't say it was 'same thing', yes it comes with the grandfather of all shitstacks (20+GB of liquishit) . it's for simulating designs, not for deploying ( why wouldja deploy anyffing on such a thing, it makes cluster of pc look vehehery cheap and 'opensores'y by comparison )
asciilifeform: mircea_popescu: shot with , roughly, the item from conan doyle's 'the empty house'
asciilifeform: https://archive.is/wniiv << meanwhile in vintage lulz. d00d built wankatron with spoon in arse , plugged into mains , with neon lamp to reduce 220v , or so he thought.. it shorted.
asciilifeform: http://btcbase.org/log/2018-11-05#1869384 << is what i was thinking. and i'm going for even moar radical snippetysnip, i.e. of ALL iron that nobody in l1 has / can be arsed to muster, not simply cpu archs.
asciilifeform at one time had a 100kg liquid-cooled horror, did not transport in pieces, simply attached wheelbarrow wheels to it...
asciilifeform: http://btcbase.org/log/2018-11-04#1869238 << iirc ( really calls for experimental test ) when you foo : String := "bar" & "baz" ; at compile time it glues'em , and does not drag in secondarystackism, fwiw
asciilifeform: ( on 30x faster comp, no less )
asciilifeform: diana_coman: moar like plasti-car, quasi-mandatory 'installment plan' chump-artifact
asciilifeform: ( current crapple doctrine, is that the mac is too much like an actual comp, too easily massaged into at least installing non-crappla apps )
asciilifeform: ( they even got various trad desktop shitware ported to it, e.g. photoshop, positioning as 'you dun need computer no moar' )
asciilifeform: possibly could pump some life into btc<->orc traders, neh
asciilifeform: billymg: you can't 'emerge' gnat on the rk, the only known arm64 gnat is ave1's, and presently gotta be hand-emplaced
asciilifeform: lulzy that they din't simply poison him yet
asciilifeform: could simply have moar talent
asciilifeform: it's a cost of specialization / finite hrs in the day. i suppose i could prolly become a middling-to-ok chukcha talker, instead of what i do nao, if comes to it. but i dun think i will ever be a champ, i dun have the decades of doing it, that other folx have.
asciilifeform: perhaps it's simply the fact of duped p's and q's, but could easily be larger
asciilifeform: the simplicity and reducibility-to-factoringishard of rabin is appealing, and wai not bake in advance so as mircea_popescu yr later doesn't 'why didntcha!'
asciilifeform: nao i'd still rather have 'the key is the fucking key', but gotta point out for the l0gz that the problem contemplated earlier, is in principle solvable.
asciilifeform: mircea_popescu: btw here, if we must, is an example of an injective key expander that is physically possible, but requires an exotic object : a rsa pub that nobody has the priv to. then can 'hash-expand' by rsa-enciphering message to it.
asciilifeform: it's essentially what serpent's ( and afaik errybody's ) key inflater already does. except that it doesn't bother to tell you, simply shits out a colliding output.
asciilifeform: then you still have a hash, simply with unknown input space, neh
asciilifeform: i simply cannot rule out the hypothesis of 'quimby laughs' entirely, is all.
asciilifeform: i suppose if the gods had whispered into my ear 'go algebraize the scheduler, even tho it is not actually needed for any implementation, and you'll find buried treasure', would've dug
asciilifeform: ferfuxxsake we still don't know the complexity class factoring falls into.
asciilifeform: all i got is a map , on which serbia not coloured reich black yet, but possibly simple omission.
asciilifeform: ( personally witnesses timis vs bucharest, bucharest is worth 'what pig could shit' in comparison )
asciilifeform: complete with cucking-wife, even
asciilifeform: iirc there's a 'sumo' component also
asciilifeform: seems like there's a roughly 6 mo. lifetime for folx who fall into 'man alone', sorta how there is 6 mo. ramp-up for n00bz
asciilifeform: the fundamental problem with 'i'ma use turing-complete automaton as hash!' is that ~specifically~ the aspect that makes it seem appealing to begin with, is the very same thing that kills you, it is impossible to prove non-cyclicity
asciilifeform: meanwhile, in detritus from asciilifeform's torture room, 'În această lucrare se prezintă o metodă eficientă de implementare a eliminării Gaussiene pentru o matrice de dimensiuni n·m (m≥n), folosind o arhitectură SIMD ce constă dintr-o matrice de n·m procesoare.' (U.P.B. Sci. Bull., Series C, Vol. 71, Iss. 4, 2009)
asciilifeform: but simply from the pic you can already see, with naked eye , 'floor tiles'
asciilifeform: for example, 32 lines of the bitmap represent the first 32bit word of the 528-byte inflatolade.
asciilifeform: http://ossasepia.com/2018/10/31/smg-comms-chapter-5-rsa-with-oaep-from-ada/#selection-155.1206-155.2305 << example of where i'dve used an ada record
asciilifeform: otherwise the result of a dead/unplugged FG is simply halted box
asciilifeform: implicit conditionals aint evil per se , tho ; i banned them in ffa specifically as they get in the way of constanttimeism, is all
asciilifeform: 'No Implicit Conditionals' bans this, with the result of banning such forms
asciilifeform: and you dun have to hardcoad it; simply replace Output(X, Y) := Rotate_Left(Input(X,Y), ( (T+1)*(T+2)/2) mod Z_Length); with Output(X, Y) := Rotate_Left(Input(X,Y), ( (T+1)*(T+2)/2) and (2**Keccak_L - 1));
asciilifeform: if it can't, you can narrow the type and be rid of the implicit 'is-div0?' check
asciilifeform: ahahaha it's the implicit div0 check
asciilifeform: ( using the ada ampersand notation )
asciilifeform: 'The "No Implicit Conditionals" restriction for the whole smg comms had to be discarded because of the Keccak...' << this is odd; is there an array concatenation in keccak ?
asciilifeform: ( it goes straight to the /tmp files horrors )
asciilifeform: 'The new Ada code simply reads from a Fuckgoats that it expects to be available at a pre-set path, *already initialised*1 and ready to read from' << ha, nice
asciilifeform: currently i'm not even certain that makes sense to ~sell~ a crypto iron; possibly a truly-serious user ~must~ make 'his own' , out of standardized, exhaustively-testable, and -- most importantly -- mix&match-able, components, from a design he has read & understood.
asciilifeform: hypothetically, it'd be safe to transport, or even mail; it is impractical to capture,saw open,dump contents,bake a substitute with the copied pad,and deliver to unsuspecting counterparty, inside the space of day or two. esp. if you make the pad live in http://btcbase.org/log/2017-05-16#1656777 sram, rather than flash .
asciilifeform: i.e., ic that when paired with another of its kind, and rng, saves internally the pad; but won't simply disgorge it unless in a synchronous link with the item it was synced with, as described in the algo.
asciilifeform: you'll find that it's pretty simple, imho
asciilifeform: if all (a0..a31, b0..b31, ...) appear in the expansion, then serpent aint actually braindamaged in the sense originally contemplated by asciilifeform .
asciilifeform: BingoBoingo: largely troo. with the exception of a few speshul trainflakes kept in 'психушка' , max term of imprisonment was 15y -- for instance.
asciilifeform: BingoBoingo: phunphakt -- in ye olde su, radio 'hooliganism' (as it was called) was rampant, almost rite of passage for electronics experimenters, and penalty was pretty soft by current-day reich's standards (generally limited to confiscation of the gear. which was made from junkyardwars at any rate, so not particularly big deal)
asciilifeform: i gotta wonder what else they've got; maybe also a lunapark where only the employees get to ride
asciilifeform: btw, BingoBoingo , re waaay upstack -- trb 'throws bastards' from the simple reason that it doesn't keep track of peer heights, and ~always~ retransmits any block that it gets and happily welds to longchain
asciilifeform: tests for outrageous timestamps, sad pow, mutilated tx format
asciilifeform: i.e. it's not simply an alt
asciilifeform: for thread-completeness, asciilifeform will mention that he does not believe that ecc, as seen in bitcoin, is necessarily strong -- if there's a break, we won't hear of it unless somebody is catastrophically stupid -- it is analogous to those old safes that included 10 pounds of thermite for erry pound of benjie, torch it and you lose whole thing
asciilifeform: in '16 i burned coupla months on the q of 'can haz', mainly on np-hard problems / turing-complete cellular automata, in place of sboxation. but got stuck on the 'guaranteed hard instance' boojum.
asciilifeform: main imho tech problem of our time, is that brekekekekex-amplifier is a penny while effective filter is a pound+.
asciilifeform: the alternative is simply too lulzy to take seriously, just nao
asciilifeform: diana_coman: http://p.bvulpes.com/pastes/aZuZQ/?raw=true << example of term elimination. but tbf i'm still working from the hypothesis that i must be mistaken, somewhere, and all of the keybits are conserved, and could prove this somehow...
asciilifeform: then again, i saw 80 $ desk lamp being advertised 'layaway'
asciilifeform knows what orig pantsuit was, but always pictures it as a sort of jumpsuit, no arms, zips up all the way at the nose , leaving only eyes exposed, gigantic pants
asciilifeform: yer example dun go with the arithmetic on my planet, no matter how i define 'x'
asciilifeform: mircea_popescu: that's the k in my example, neh
asciilifeform: the basic boojum is that it aint a cipher of any kind, and the ubiquitous sbox derpery is simply squid ink to obscure this. maslennikov details how he pointed this out to 1980s kgb and got sacked.
asciilifeform: mircea_popescu: if it has a random component, it aint reversible, how wouldja reverse it ? with time machine ?
asciilifeform: one possible handy algo for the degenerate case of '1 bit of payload per block' -- your block is ~wholesale~ rngolade, and you simply flip the last bit so xor(b0,b1,...,bN) equals your desired payload bit.
asciilifeform: http://btcbase.org/log/2018-10-29#1866964 << specifically in the context of the 'crypto contest' where serpent was trotted out, there was a loud and pompous 'here's ciphers, with jusfifications!' circus. so imho the excuse of 'not knew to wash hands yet' is not available
asciilifeform: usg.dept-of-kompyooting unification chugging along, eh
asciilifeform: ( unlike ye olde su, usg has a shortage of fancy rubber stamps , for some reason )
asciilifeform: mircea_popescu: they not simply 'say same thing', it's a form letter, not even rubber stamped but initial'd by some monkey
asciilifeform: mircea_popescu: a little tricky to ~boot~ from rsa dump, with bare hands, tho
asciilifeform: 1 factor is that usa is mega-travel hub, so extensive derping with erry suitcase is impractical ( queue is slow enuff from the bush-era 'bright idea' of inspecting shoes ). reportedly in e.g. israel they try to do the 'copy erry disk' thing, there it is at least roughly practical in re traffic volume
asciilifeform: mircea_popescu: if it's for cipher keys -- imho terrible idea to have ~all~ the key bits as physical switched in parallel, third party has no biznis being able to see the key simply by getting a peek at a keyed box with eyes
asciilifeform: mircea_popescu: needs diddled bios + the crown jewels of intel/amd, to diddle microcode (intel's is rsa'd, amd's simply obscure/undoc'd) , and if yer diddling bios can make much simpler trap. but yes, would work
asciilifeform: the given coad does nuffin on an off-the-shelf chip. it was an example meant to work with supplied microcode patch.
asciilifeform: 'As explained in Section 7.2, we use ASM.JS code in Firefox 50 to trigger the implemented x86 div Trojan. It is shown in Listing 9.'
asciilifeform: btw, spoiler : i put the thing in an ice40-8k , simply did not have time to write up yet, and the fwd sbox in fact eats roughly 1/4 of the gates . which leaves the orig question wide open...
asciilifeform: it is also possible that the equations can be simplified further, i did a fairly surface job of it, mostly by hand
asciilifeform: the conversions are O(bitness) tho, i dun expect they will be major dent in performance. simply ugly aesthetically.
asciilifeform: but yes, i forgot that the comparison happens after oaep
asciilifeform: mpi has a signed subtract, iirc
asciilifeform: diana_coman: until you wrote the recent piece, i actually forgot that mpi ~didnt~ shit out ordinary octet arrays as-supplied
asciilifeform: ( suxx when there is only 1 working example of a thing... )
asciilifeform: ( in variant colours, but otherwise identical to the limits of naked eye comparison )
asciilifeform not a great luvvver of symmetricipherism in general, as amply illustrated in the l0gz, for this and other reasons -- there is no known approach to bake symmetricism from any sort of rational angle
asciilifeform: if, incidentally, somebody runs across the quasi-mythical src of the old attempts, potentially could decruft/fit-in-head . so plox to write in if find.
asciilifeform: vhdl is prolly worth a 2nd look, tho i currently suspect that it vs verilog aint a 'ada vs c' win, simply longer text that does same thing ( the only unit of data in fpgaism is really the bit, so 'types' dun exist )
asciilifeform: could simply make it a serial input, and let user decide what he likes, e.g. he has a vt100 he can plug in, or tape reader, or which.
asciilifeform: most gate compilers support both.
asciilifeform: there actually exists an ada-flavoured variant, 'vdhl', but i never saw any win from it, loox rather like simply a moar verbose verilog. but! to be fair, that was 10y ago when i last dug, it was prior to asciilifeform's getting into adaism.
asciilifeform: it compiles into a gate netlist, rather than sequence of instructions for vonneumann cpu.
asciilifeform: simple peripherals are a thing
asciilifeform: ( dun mean they'll buy, could easily be engulfed by pantsuit lymphocytes and remain 'unhappened' , sure )
asciilifeform: so from propaganda/empire-building pov, could be +ev
asciilifeform: it wants simply large # of pedestrian nands/switches.
asciilifeform: upstack -- ran into stack of these 'papers' when cleaning out crud, from 2yr ago when asciilifeform thought 'could make simple ciphered disk from usb2sd chip <-> ice40 <-> sdcard ' )
asciilifeform: in this case it's simple madoff fraud, imho, rather than any sort of peculiar freudism. i.e. simple 'we lied for moneys and dun wanna to jail'
asciilifeform: not simply morons, mendacious morons
asciilifeform: mircea_popescu: in re these lulz, at one point asciilifeform dug for 'anybody ever verilog-ified serpent?' and found a stack of 'papers'. any src ? mno. but plenty of 'discussion' of supposed 'implementation', in the traditional nadia henninger style .
asciilifeform: so apparently i gotta reimplement bounded strings nao..
asciilifeform: on top of this, i'm thinking all of this spackle, oughta be unified, the paths, open(), udpism, tempism, etc. and eventually rolled into tmsr.gnat .
asciilifeform: 1 obvious solution, that iirc diana_coman at one point resorted to somewhere, is to discard the 'librariness' and make the thing a 'put this in your src' type of lib, rather than linkable one. but i ~like~ linkable/separately-compilable static libs.
asciilifeform: my only remaining notion here is that possibly gotta implement a 'paths' lib ! i.e. would represent paths as arrays of permanently fixed length , 255 octets, iirc this is the max permitted on unixlikes.