asciilifeform: '...To the authors’ knowledge, the only known prime generation algorithm for which the statistical distance to the uniform distribution can be bounded is the trivial one: pick a random (odd) integer in the desired interval, return it if it is prime, and try again otherwise. The output distribution of this algorithm is exactly uniform... ...By contrast, the PRIMEINC algorithm... pick a random number and increase it until a prime is
asciilifeform used thermal tape for meatspace otps for some yrs
asciilifeform: thermal tape dun burn quite as well as ordinary paper ( heat treated ) but it burns ok in a propane or butane flame, or with other accelerant
asciilifeform: ( orig 414 was made for use in industrial, medical gear. )
asciilifeform: theoretically this beast will print straight from a (downclocked, change 1ln in fg.v) FUCKGOATS ~sans computer~
asciilifeform: in other oldies, seiko's 'DPU414' thermal printer, can be had for <fiddybux, and not only prints 80cols x infinity (continuous tape) but knows how to eat rs232 and... print hexdump (up to 19200 baud)☟︎☟︎
asciilifeform: hey i dun kill them butterflies, they die by themselves
asciilifeform found the item by digging in re 'what is state of the art in guaranteed-prime-generators', in particular 'does anybody have anything resembling an approach to a provably uniform one'
asciilifeform: about as practical as iteration from 1 to sqrt(n).
asciilifeform: this being said, whether to build with -gnatp is personal choice of the operator. not mine.
asciilifeform: ( ffa specifically. in ffa_calc, very obviously they do , in the stack mechanism . however the inner loops, i.e. 99.9999...% of the time is spent, in ffa proper. )
asciilifeform: ffa is one of the very few ( i dun expect to see another ) proggies where you can prove bounds. because the array indices do not EVER depend on the inputs.
asciilifeform: figure applies to errything. i.e. for any given nontrivial ada proggy, the cost of the checks is about 2x.
asciilifeform: upstack re chinese : not clear why anybody thinks this is not the 17th (or whatver, i lost count) iteration of ck-kpss's algo for snarfing up cheap coinz ('ban', buy, 'unban')
asciilifeform: and it isn't as if it is a total mystery what current-day machinery produced in the ludovic-13 cannon style look like. looks like lockheed et al
asciilifeform: right, e.g. cannon were mass-produced long before industry (in the mass-marketism sense)
asciilifeform: ( recall the 'mass production is a bug' thread )
asciilifeform: but also back then it was faberge egg (i.e. craftsmanship), rather than industry
asciilifeform: laughably trivial. units on the market : 0.
asciilifeform: i'll observe that i can't yet buy a conventional-comp-that-is-waterheater either, even though it'd be quite handy ( i already have multi-kW water heater item )
