asciilifeform: BingoBoingo: man in sov restaurant, gets up to go piss, leaves a note on his table : 'i have spat into this soup, do not steal' . returns, to finds scribble under his note : '...i spat in it also, yours, anon'

asciilifeform: in other 'let's steal trilema article and publish with flipped sign bit', https://archive.is/ECfmb

asciilifeform: how is the jungle, how -- the jaguars ?

asciilifeform: mircea_popescu: i cannot resist to ask, where do i buy some 'arbitrary iron' ? right now i only got concrete iron ☟︎

asciilifeform: certainly not chumpatron that soldiers right-along as ever before, without even oil changes.

asciilifeform: 'Every Five Minutes A Christian Is Killed For The Faith, Click Here To Save Christian Lives' << apparently the 'ransom from berbers' scamola did not end with the 18th c..?

asciilifeform: from same rag, 'Nazi Cult In Germany Is Murdering Children, Cutting Them To Pieces, And Conducting Human Experiments On Them' ; 'The Islamic Government Of Turkey, And Its European Allies, Are Making Plans On Committing Mass Genocide Against Christians, And Enslaving...' etc

asciilifeform: nfi, ipnojism is darkmatter to me.

asciilifeform: i have nfi whether the ipnoje thing , actually worx, or to what extent.

asciilifeform: it being payware, that no one in asciilifeform's wot has to date used, asciilifeform cannot comment.

asciilifeform: http://btcbase.org/log/2016-06-03#1475471 << i take it did not come to this ? ☝︎

asciilifeform: >> http://btcbase.org/log/2016-06-03#1475432 << thread ☝︎

asciilifeform: tho iirc ben_vulpes linked to it before

asciilifeform: in all of these cases, output, and the required time and space, are known in advance.

asciilifeform: or the recording for playing of whatever grunting noises through the speaker (which is really simply a specialized program)

asciilifeform: whether we are discussing a rsagram, or the decompression of a pr0nbitmap.

asciilifeform: specifically, proggy that a) accepts no input, other than itself or b) accepts input, but does not ~branch~ on it -- can and really ougta 'say on the box' how many cycles it will consume, and how much memory it will require in its life.

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: ( otherwise it would be trivially impossible to limit cycles )

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. ☝︎

asciilifeform: ( they , characteristically, blamed linux kernel . )

asciilifeform: so there is that.

asciilifeform: sadly there is not afaik a known way to make'em 'trim' when they hang off a raid card. but otoh samsung repeatedly shipped units with buggy 'trim' , that randomly zeroed blocks.

asciilifeform: ( mircea_popescu , ben_vulpes , trinque , other folx with serious machine fleet, consider to chime in re disk-sellers 0

asciilifeform: i dun recall specifically whom i left out , of this list, but that's more or less all of the major players.

asciilifeform: 'kingston' is ~ok for a box that dun write much of anything to disk

asciilifeform: 'sandisk' is rubbish, fit to stoke oven; 'toshiba' is ~ok ; samsung ok, good for several dozen whole-surface writes, typically ; other types tried to date -- rubbish

asciilifeform: ( i have not tried intel's, simply cannot bring myself to buy. but tried afaik every major other . )

asciilifeform: i have been using the konsoomer version of similar 'disks' , for some yrs, this type has created the fewest headaches in asciilifeform's machineroom, among 4 various vendors'

asciilifeform: they're quarter-TBs , such as are sold for industrial temps, '10yr warranty' ( to this day i have nfi how one might go about claiming warranty on a hdd , but we digress ) etc

asciilifeform: i thought this was clear from the http://btcbase.org/log/2017-12-05#1747116 picture ☝︎

asciilifeform: why would we have those.

asciilifeform: ( i.e. if it was intended to be a signature -- it evaluates to 'this is rubbish'; if cryptogram -- ditto; etc )

asciilifeform: but if you haven't executed a Q ( halt ) before the stated tick count, yer program is deemed notwellformed.

asciilifeform: the thing ffa enables, is to make the 'this-here program takes known number of cycles, and known total bitness of memory' guarantee into an actually feasible thing.

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: no fewer than twice

asciilifeform: pretty sure we did this thread

asciilifeform: asciilifeform is also in the process of standing up trb on dulap-III , an opteron monster not yet homed.

asciilifeform: also notably, mircea_popescu , yer trb box was the champ medallist, outlived even dulap.

asciilifeform: the others -- appear, fwiw, to work.

asciilifeform: mod6 has been maintaining a maximally current list . that line prolly oughta be struck.

asciilifeform: ( it is listed as belonging to mircea_popescu )

asciilifeform: btw mircea_popescu re 46.166.160.36 / http://thebitcoin.foundation/trusted-nodes.html : is that box still around ? because if it is, yer trb is hung

asciilifeform: aha, long time nao.

asciilifeform: my only mental association with the concept of walking around with small piece of gold -- is the crematorium, the gold teeth pit.

asciilifeform owns no au beyond what's on the pcbs; reformed former user of au-flavoured goxes, at this point many yrs ago.