asciilifeform: shinohai: neato. what didja do re trb ?

asciilifeform: shinohai: nifty eulora piece. yer ahead of asciilifeform in that battlefield, i've yet to attempt building eulora

asciilifeform: meanwhile, in darkest lulzafrica, 'Today we’re happy to announce that Urbit’s address space, now called Azimuth, is live on the Ethereum blockchain... We want Urbit to be a reliable, durable, permanent computer that’s simple to use. Today Urbit is still a prototype, not a consumer product. But we’re making great progress' ☟︎

asciilifeform: imho if satellite 'oops it crashed and i cant tellya why', designer oughta get a 1way ticket to its orbit to go and debug..

asciilifeform: apparently this is what you get if there aint a 'lavrentiy pavlovich' in the design loop.

asciilifeform: asciilifeform finds it fascinating that even satellites, moon buggies, etc. naodays dun have a 'snapshot state of iron if crash'

asciilifeform: fep ran from rom and could not be crashed other than by hand (or when iron is finally smoking, smouldering)

asciilifeform: ( had 'fep', a supervisor cpu thing, but not the 'remote booby' item presently extant in intel irons, but a thing available strictly from console, and 'crash' halted the main cpu and dropped you into it, where you could peek/poke, probe irons, etc )

asciilifeform: 1 of the 9000 sane things bolix tried, valiantly , to do, within the limitations of the period irons.

asciilifeform: ( on top of ram contents, etc )

asciilifeform: there's no physical or practical reason why the last million or two instructions executed prior to whatever fail, should not be available after

asciilifeform: i'ma take the chance to highlight the http://btcbase.org/log/2019-01-14#1886752 thing -- on sane iron , there'd be no such thing as a 'oops rebooted but fuck if i tellya why' ☝︎

asciilifeform: oughta trivially capture 'magic packet' (under the old hypothesis that these result in fandango)

asciilifeform: mircea_popescu: if we live to bake the fpga router thing, will be interesting to give it a ring buffer that'll hold coupla 100MB of frames, and dump'em to flash upon any unsanctioned reboot of attached irons.

asciilifeform: there's ~0 reason to it.

asciilifeform: i've mostly sworn off trying to picture the 'reasoning'

asciilifeform: mircea_popescu: i dun see wai not to bug upstream, but then again i dun work at reichskanzlei

asciilifeform: ( in torture room, asciilifeform has an antistatic vacuum thing and other nice things )

asciilifeform: BingoBoingo: y'know , these things ~do~ like a ~yearly breath of high pressure freon

asciilifeform: so far the old proverb 'на ловца и зверь бежит' dun seem to play out for asciilifeform , somehow hitler dun feel like putting the delish booby catalogue items where asciilifeform's dirty orc hands can get to'em..

asciilifeform: relatedly, asciilifeform has a backburner affair where disasm of the particular 3ware bios , looking for lulz (to date found none, aside from it having a quite bulky cpp runtime lib)

asciilifeform: all machines of same type (varying only in ram/disk config)

asciilifeform: for comparison, the 1 time dulap-III rebooted without sanction, was in may, when BingoBoingo elbowed the mains cable

asciilifeform: ( why , i cannot begin to fathom )

asciilifeform: even if i turn up nuffin in next day or 2, i'ma have at least 1 moar planned reset, see whether ben_vulpes remembered to enable eccism when he plugged the thing in

asciilifeform: mircea_popescu: so far all i know is that the thing rebooted without sanction, no fewer than 3x.

asciilifeform: i like to hash e.g. raid card biosen, etc., also

asciilifeform: i can't picture that any literate folx don't

asciilifeform at this rate might end up adding a 7th lcd to the wall..

asciilifeform: there's a 1024bit example in that piece, and coupla others

asciilifeform: would be surprised if it doesn't yield a couple thou lulz.

asciilifeform: mircea_popescu: after ffa is fielded, i'ma add gmp etc carmichaelisms to phuctor.

asciilifeform: in other olds, 'The 256-bit integer q = (2x + 1)(4x + 1) with x = 0x400286bac15132db85b1c936709f369b passes 15 rounds of GMP’s primality test mpz_is_probab_prime_p...' ( Albrecht et al, aug. 2018 , https://eprint.iacr.org/2018/749.pdf / http://p.bvulpes.com/pastes/3QLGp/?raw=true )

asciilifeform: they , in words of al schwartz, 'hind gut ferment'. they metabolize, but no thinking is necessarily involved

asciilifeform: it aint clear to me that 'they think' is a valid hypothesis, period

asciilifeform: same way they dun want into the academitardia racket ( when asciilifeform grunted in the ranks of said racket, was often the 1 euro face in the group pics.. )

asciilifeform: the chowdhrys are, as i currently understand, the vaisya/sudra-heavy wave of emigres & their nth gen, largely content with 'middling' ranks, the native usg.brahmin spawn dun want these

asciilifeform: BingoBoingo: ha, i had nfi he still had any epaulettes or buttons to rip off

asciilifeform: update re uy1 : 2hrs and no anomalous readings. ( will revisit subj later tonight )

asciilifeform: found the old mircea_popescu thread, btw : http://btcbase.org/log/2017-10-08#1722906 ☝︎

asciilifeform: ( for folx who haven't yet read diana_coman's series -- the theorem diana_coman turned up, turns m-r into a deterministic ('aks but fast') test, iff generalized-riemann )

asciilifeform: but again , not directly pertinent to ffalogy.

asciilifeform: iirc there's a sequence that nails all composites < 2^64 . so could be handy for primorial generators ( vs. eratosthenes etc ) .

asciilifeform: we will not be making use of this approach tho ( it relies on conjecture . )

asciilifeform: 1 interesting maffs problem , is whether you can generate a sequence of witnesses that will tell troof of compositivity for ~any~ externally supplied N , up to given bitness. ( and as i understand this q is isomorphic to bach's generalized-riemann item that diana_coman dug up. )

asciilifeform: mircea_popescu: observe that you can trivially generate an arbitrary-long sequence of liars for any composite N.

asciilifeform: ( yet aaanother thing that koch didn't give )

asciilifeform: incl. the rng ( this is why the thing takes an arbitrary unix path for rng dev )

asciilifeform: re verifications, observe the general pattern in ffaism: i expect any serious user to have a private battery of tests to verify that his, particular, ffa builds, actually conform to the declared behaviours.

asciilifeform: ( readers should also prepare themselves for following proof of why m-r worx, i'ma not simply cite the lit ) ☟︎

asciilifeform: i'ma detail this subj in the customary pedantic detail in ch16 article.

asciilifeform: and indeed the quality of rng is 'jesus bolt' when running m-r in battlefield.

asciilifeform: at all times operator must be able to verify that m-r behaves as m-r.

asciilifeform: which is why mine reads witness as param rather than directly from rng

asciilifeform: http://btcbase.org/log/2019-01-13#1886533 << this is not only troo but is how one tests a m-r ( you feed it known liars & known troofers for a particular N and verify output ) ☝︎☟︎

asciilifeform: i hate to disappoint mircea_popescu , but i'm all outta sheep for the haruspexy room, so cannot give odds lol

asciilifeform: so far i've uncovered 0 that would reveal why box reset. but i expect before nightfall to find out, if iron is indeed misbehaving.

asciilifeform: mircea_popescu: if ddos, then nao as good time as any, it hasn't afaik yet been tested, how said pipe behaves under ddos.

asciilifeform: the req still stands tho.

asciilifeform: achtung pizarro subscribers : if 1 of you is running saturation test on the pipe, plz nao & in future ~announce prior~, ty.

asciilifeform: cpu temp 45.5C (out of 85 permitted), chipset 30.8 (75 permissible) (i'ma omit further reports on subj for nao, unless thing actually is found to melt)

asciilifeform: update : sensor reader proggy nao installed on UY1, will set to snapshot erry 30s.

asciilifeform: incidentally i was not aware that UY1 uses grub (grub2 no less). grub is fatwa'd on pizarro-owned iron. i'ma correct this omission in a scheduled maintenance after we cure the moar pressing issue in re uy1.