asciilifeform: mircea_popescu: generating cage ? i.e. with hupet in large wheel turning gen ?

asciilifeform: incidentally, and for thread-completeness, gotta add, for certain patterns of failed m-r sequence , you end up with output that gets you a factor. this item is actually on the phuctor conveyor, when i get a free hand to crank it again

asciilifeform: it's what i distinctly recall from that piece, will revisit when i dredge up a copy

asciilifeform: i.e. x^n = x mod n , ditto

asciilifeform: all of this , as i understand, only is interesting if enemy knows (or can set) which will be your witnesses. cuz by basic m-r , 3/4 of possible inputs for witness will still give correct diagnosis of compositude

asciilifeform: iirc i saw this item at some pt, and fella really did bake a p that 'passes m-r' for buncha ~small~ bases

asciilifeform: mircea_popescu: the operative diff is, 3/4 is lower bound. i.e. there aint a composite where 3/4 of the integers aint proper witness.

asciilifeform: i.e. throw p*q in m-r , with random witness, and see if correctly outputs 'composite'

asciilifeform: ( troof-teller i.e. correctly triggers m-r's 'this is composite' litmus )

asciilifeform: i recall digging for this, and instead finding conjecture that no canhaz

asciilifeform: nah i'd be satisfied with 'here's n, and here's 32 unequal m-r liars for n'

asciilifeform: i.e. if you run somehow 1 per sec, will eat a coupla dozen moon-size asteroids prior to getting misfire..

asciilifeform: ( same params, i.e. pronounced prime if passes m-r with 32 rng-shat witnesses )

asciilifeform: i expect that as moar folx eat ffa, we will have moar empirical figs to compare.

asciilifeform: i also built at various points on a heathen i7 (2.8G) and there runs ~2x faster across the board, ftr

asciilifeform: aanyways i expect that when diana_coman gets to eating ch18, we can compare properly .

asciilifeform: tho unless i misread, that ^ figure included 16 iterations thereof, rather than 1

asciilifeform: ( also had 'an average of 9.78 seconds per M-R run' , on again i dun presently know which irons )

asciilifeform: diana_coman back in the day posted old-style mpi timings but i do not know on what irons so cannot readily compare .

asciilifeform: tbh i cannot however think of when or where i would say 'ugh, 10min is too long for baking a 4096b key'..

asciilifeform: for thread-completeness, will add that it is possible to speed up the algo by giving not only 1 'primorial up to width' but it and then whichever number of product(n+1th-prime ... n+i-th prime) that yet again fit in the width, and so forth, for any desired # of small primes, for the initial sieve

asciilifeform: ( so i expect will be ~7 min. or so per 4096b key, on iron of this horse )

asciilifeform: it's ~= the figure i predicted on napkin, but nao has experimental confirm.

asciilifeform: on current ffa ( i.e. no asmisms )

asciilifeform: example is to illustrate style, i did not particularly doubt that it'd work as described .

asciilifeform: at some pt i'ma publish the emacs majormode for editing pehs. it is ~much~ easier with colours etc

asciilifeform: Mocky: most battlefield pehtapes , i expect, will be ~much~ easier to read than these ( e.g. will include comments, an' meaningful names ) . these, are simply micro demos that fit in log line

asciilifeform: i'ma leave the bot alive nao , for if anyone wants to play.

asciilifeform: imho v is the simplest, mechanically, versionatron ever baked. so i dun expect Mocky will have much of problem

asciilifeform: if nuffin else, some of asciilifeform's demands re 'sane comp' are in architectural tension with others ( rather like to ask 'i want sword that cuts other swords, but isn't brittle' )

asciilifeform: ftr i do not have any notion that http://www.loper-os.org/?p=284 is 'last word on subj'

asciilifeform: http://btcbase.org/log/2019-03-26#1904962 << not to let this escape; i'd actually be quite interested to read diana_coman's own thoughts re what is a sane comp. ( asciilifeform wrote at great length re the subj, would also like to see where folx disagree / expand ) ☝︎

asciilifeform: i'll add that even a tcp skin wouldn't be entirely useless ( right nao the only way to write a wwwistic proggy in ada is to use adacorpse's 'gnatsockets' crock of shit ) ☟︎

asciilifeform: but i also suspect that even 'all those things' dun actually require mil+ loc.

asciilifeform: having since '13 when 1st touched the subj, actually rftm'd, i'm not even prepared to say that 'who needs all those things'

asciilifeform: mircea_popescu: not at 'pen' stage , but prototyped, iirc i posted an example with trad btc tx.

asciilifeform: mircea_popescu: as i understand , this one would need either tcpism (not written yet) or unixsocketism (also afaik not written, aside from the sad adacorpse implementation in gnat std lib)

asciilifeform: the 'bootstrap to c + linux' people make this exact mistake. 'look, i wrote this compact bootstrapper, nao i can breathe out and start wallowing in my familiar pointerolade an' nulltermstrings pigsty again'

asciilifeform: in re bootstrappers, i'll also add that the problem itself is disastrously misunderstood by most folx who tried hand at it, specifically in http://btcbase.org/log/2019-03-18#1903170 ☝︎

asciilifeform: i would not presently go as far as to say 'peh is ~the~ bootstrapper' ( current peh cannot even output a raw byte... ) but suspect that the solution will have approximately its shape.

asciilifeform: ( in fact ada per se has a fascism knob that, if set, prevents early return from subroutines . i have not thus far used, cuz in ffa per se this is already the case, nuffin gets to terminate early when 'constant time' algo )

asciilifeform: in re peh in particular, the 'tape' model i picked consciously, and not simply in re the terminology to call the proggies 'tapes'. thing is built so that all motion is , albeit non-monotonically, forward ( e.g. subroutine can call another sub, but only one defined ~earlier on the tape~ from the place where called; and all subs ~must~ either reach their termination point, or produce verdict & halt the process , there is no 'goto' )

asciilifeform: all of this being said, i suspect mircea_popescu would still barf if to e.g. fetch a trilema pg, 5km of tape had to move a full circle.