tmsr - Search: "'P'"

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: 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

asciilifeform: oh hm i recall nao. ( it was because operator 'P' wants to be a general-purpose primality test, valid for any input whatsoever that fits in the ffawidth, rather than simply 'generate prime' )

asciilifeform: ftr it may even be possible to write a reasonably-performant ecctron in 'p'. i cannot currently say.

asciilifeform: ( hence why the debian collection gets run in two steps, 'p's' then 'q's' )

a111: Logged on 2017-07-19 19:00 asciilifeform: i have 'p' structured such that all it wants i/o-wise is a 'getbyte' and 'putbyte' that operator can replace with whatever

asciilifeform: ( i considered lispism, rejected for the given application strictly on account of moving-parts-count , 'p' gotta have parachute-level simplicity )

asciilifeform: phf: i came up with it in 2016 when wrote the orig, unpublished mpitronic 'p'

asciilifeform: it isn't untreated, it gets skipped. ( 'p' prototype in 'strict' mode will also stop and eggog if encounters a non-7bitclean char. which one can connect to a stick, to beat author of input )

asciilifeform: mircea_popescu will probably enjoy 'p' syntax. char codes 0-32 and 128-255 do nuffin at all.

a111: Logged on 2015-05-20 00:29 mod6: take a look at this: http://dpaste.com/0SQPBKC.txt Is there any reason when allocating the space for p & q to do Eulers totient they would initialize the space with 'p' and 'p', instead of 'p' & 'q'?

a111: Logged on 2017-12-05 23:44 asciilifeform: 'p' stack machine ( to be featured in last episode of ffa series ) is a demo of sane ( e.g. demonstrably-correct and bounded , yet usefully complete operator set ) code execution.

asciilifeform: briefly revisiting upstack, http://btcbase.org/log/2017-12-05#1747117 + http://btcbase.org/log/2017-12-05#1747122 >> there is no reason why the execution of ~any~ program, e.g. browser graphicolade renderer, whose output is known, byte for byte, in advance by the author, should not follow the 'p' model. ☝︎☝︎

asciilifeform: to briefly revisit http://btcbase.org/log/2017-12-05#1747134 : a 'p' proggy can ~produce~ , as output, another such proggy, simply by printing characters. but, pointedly, CANNOT demand to execute it. ☝︎

a111: Logged on 2015-10-14 20:15 asciilifeform: 'p' (draft title) - for the old pgp.

asciilifeform: 'p' stack machine ( to be featured in last episode of ffa series ) is a demo of sane ( e.g. demonstrably-correct and bounded , yet usefully complete operator set ) code execution. ☟︎

asciilifeform: the posted unit is the entirety of the machine-dependent part of 'p'.

asciilifeform: ( this is how 'p' works, as you will see in near future )

mod6: <+asciilifeform> after release 'p', i'ma return to civilized-btctronics among other wurk << cool, right on.

a111: Logged on 2017-10-13 21:07 mod6: what does 'P' stand for when you say "FZ_OddP" or "FZ_EvenP" ... etc? Parameter?

mod6: what does 'P' stand for when you say "FZ_OddP" or "FZ_EvenP" ... etc? Parameter? ☟︎

asciilifeform: mod6: my current ( unpublished, quite yet, because it relies on details of 'p' ) item, uses python's

asciilifeform: http://btcbase.org/log/2017-10-12#1724326 << good habit to develop ~now~, 'p' has no hidden embedding of date (or of anything else) in sigs ☝︎

asciilifeform: in very other lulz, at most recent count 'p' stands at 3.2kloc, of which 2k is ffa ( this is inclusive of comments, tests, and commented alt-incarnations of certain routines, as discussed in l0gz )

BingoBoingo: * asciilifeform goes 'wtf, THIS crackpottery of mine - you lot find interesting, but the stubborn boojum that keeps 'p' from happening, not interesting somehow ' << Everyone has strong opinions on materials

asciilifeform goes 'wtf, THIS crackpottery of mine - you lot find interesting, but the stubborn boojum that keeps 'p' from happening, not interesting somehow '

asciilifeform: this is in fact the only item holding up release of 'p'.

mod6: have to use Interfaces.C to exec gpg and things. which, I don't love. but eventually, will need to be rebuilt to work with 'p'.

a111: Logged on 2017-08-31 22:26 asciilifeform: phf: at some point ( and by this i mean when finished ffa / released 'p' ... ) i'ma have a large board made, with, say, 8 ice40-8k's, and row of dimm-holders...

asciilifeform: phf: at some point ( and by this i mean when finished ffa / released 'p' ... ) i'ma have a large board made, with, say, 8 ice40-8k's, and row of dimm-holders... ☟︎

asciilifeform: was more of a philosophical observation : that mphf is not turing-complete ( in the same way 'p' is not. deliberately )

asciilifeform: in that spirit, other thing asciilifeform aims for with 'p', is to zap the idiocy where pubkey was strictly an item for ~machine~ to read, and make it something primarily for ~man~ to read.

asciilifeform: asciilifeform's intent with 'p' is to push in the direction of maximum barking anarchy re pubkeys. as it is we have too many 'standards' as it is, ~all of them ill-conceived and smelling of sulfur.

asciilifeform: 'p' is very different flavour from the old heathenry , however. think 'forth with bignums' approx.

asciilifeform: most particularly you don't need writable storage. i'ma make a demo box with 'p' and no nonvolatiles.

a111: Logged on 2017-07-19 19:00 asciilifeform: i have 'p' structured such that all it wants i/o-wise is a 'getbyte' and 'putbyte' that operator can replace with whatever

asciilifeform: BingoBoingo: asciilifeform went to countryside house, attempting to finish 'p' 'schrodinger-style'

asciilifeform: i have 'p' structured such that all it wants i/o-wise is a 'getbyte' and 'putbyte' that operator can replace with whatever ☟︎☟︎

asciilifeform: ( i left the thing in a half-limbo when picking up 'p' to finish, but expect to get back to it before the summer's through )

asciilifeform: part of what asciilifeform was even doing re 'p' is answering the q of 'what is the minimal practical rsatron'

asciilifeform: relatedly, after adatronic 'p' is fully nailed down and flying, i'ma bake one in x64 asm.

asciilifeform: ftr 'p' stands at ~2500 ln. (incl. comments) presently. will need to lose some weight...

asciilifeform is quite looking forward to the frenzied butthurtz of the shitlibs folx when 'p' is released.

asciilifeform: mod6: it is absolutely imperative that all future users of 'p' understand exactly how this thing worx

asciilifeform: incidentally the time to understand why this recipe works, is now, because users of 'p' will be expected to grasp it and the rest of mechanism

a111: Logged on 2016-12-11 23:00 asciilifeform: i was not going to expand on the 'p' thread until the proggy is done, but this is probably a good time to say 1 more

asciilifeform: i suspect that erlehmann will like 'p' ( not yet released proggy. ) where you give it a cycle count before it runs, and it gets to step ~that~ many steps, and produces no more than B bytes of output per step...

asciilifeform: http://btcbase.org/log/2017-05-23#1660326 << mod6 , i have adatronic block/tx parser, reencoder, done, mmaptron also! but put on hold to finish 'p' (aka 'tmsr rsa') ☝︎

asciilifeform: 'P' will, i suspect, get some unexpected use as number theory sandbox for n00bz

asciilifeform: however on bright side!: mircea_popescu will quite like, i suspect, 'P' : all nonprinting octets are NOPs in P.

asciilifeform: ( originally planned to wait till 'p' release , did not anticipate the appetite of readers )

asciilifeform: ( as for code -- in the end it mist be entirely self-contained. and provably correct. it's a backbone for, e.g., 'tmsr rsa', 'p', eventually gossipd, etc. )

asciilifeform: ( the first command in a 'P' program is to set the register width. )

Framedragger: re. priorities and (natural) lack of 'global amazing konsensus priority list of shit to do', in my humble and very noob mind they are something like; 'p'; gossipd or partial iteration towards it; invoicing system; << these three'd useful for outside-tmsr interests fo sho; and nfi re. trb, as on the one hand it's supposed to be super important,

asciilifeform: mircea_popescu: when 'p' is released, it can be put to use in eulora and elsewhere

asciilifeform: and nobody will need to make much change to switch to 'p' keys/seals.

asciilifeform: there is (not yet released) 'p', mentioned in earlier thread today, which will eat from 1 or more FGs

a111: Logged on 2016-12-11 23:00 asciilifeform: i was not going to expand on the 'p' thread until the proggy is done, but this is probably a good time to say 1 more

asciilifeform: (yet unpublished) 'p' is a 'bytecode' system -- all ops are 1 byte long, and take no operands, and all bytes are valid ops.

asciilifeform: a 'p'-style vector graphics thing might be interesting , in some distant future..

asciilifeform: i was not going to expand on the 'p' thread until the proggy is done, but this is probably a good time to say 1 more ☟︎☟︎

asciilifeform: mircea_popescu: aha, in 'p' i have a 'next N bytes are payload' marker.

asciilifeform: btw when 'p' is out i will show folks who want to keep their old moduli, how

asciilifeform: Framedragger: it had working title 'P'. think 'rpn calculator' and you -- mostly -- have it.

a111: Logged on 2016-09-17 04:54 adlai always feels some sorrow when people (lowercase 'P') faceplant over these hurdles

adlai always feels some sorrow when people (lowercase 'P') faceplant over these hurdles

asciilifeform: but, handily, 'p' actually has 'if [this program evals to true] i rate [key k] [rating r]' as primitive...

ben_vulpes: Version: 'p' sqrt(etotheipi, give or take a kelvin) << adlaii re-found this amusing

mod6: phf: well, other than saying "interesting" and "cool", i couldn't figure out how to do that either. unless we create a vtron signature style in 'g' or is it 'p'? i cant recall.. cause how will someones vtron be able to pull the bit string out to know how to categorize someones seal?

asciilifeform: well it technically doesn't have to be scheme. draft ver of 'p' for instance is more forth-like.

mod6: i think his 'p' or whatever the name is, is going to do away with that -- least iirc.

ascii_butugychag: i intend to use it to demonstrate that, e.g., all 'p' programs terminate.

ascii_rear: ok so it turns out that mircea_popescu is simply insisting on 'p' !!

asciilifeform: in fact, whole point of 'p' originally in my head was so that mircea_popescu could have these.