asciilifeform: apparently this is what you get if there aint a 'lavrentiy pavlovich' in the design loop.
asciilifeform: evidently it cannot be bought with moneys anymoar
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: 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: 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: 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: for some reason it is usually switched off by default on a new bios battery
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: 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: ( 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: asciilifeform's recommended recipe for m-rism still remains 'feed actual rng for witnesses'
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: ( recall, diana_coman uncovered various lulz re koch's variant )
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: just nao wrapped up setting up realtime voltages/temperatures/etc output.
asciilifeform: mircea_popescu: it is entirely possible, i have not yet looked in detail.
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: 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.
asciilifeform: ACHTUNG UY1 users : plz prepare for scheduled reset in 30m.
