log☇︎
62800+ entries in 0.019s
asciilifeform: silently ignoring bad input by-default can be permissible, but to do it ~always~ is not The Right Thing , gotta give something to debug with.
asciilifeform: at least oughta have a verbose mode one can optionally enable, wtf
asciilifeform: this VERY POSSIBILITY of silent failure is a bug, mod6
asciilifeform: still fails to recognize that mpi_second_cut.vpatch exists
asciilifeform: or hm
asciilifeform: mv patches/mpi-genesis.vdiff patches/mpi-genesis.vpatch ; mv .seals/mpi-genesis.asciilifeform.sig .seals/mpi-genesis.vpatch.asciilifeform.sig
asciilifeform: what i did :
asciilifeform: ( but otherwise conformant )
asciilifeform: my mpi genesis had 'vdiff'
asciilifeform: hmm possibly mod6's v requires 'vpatch' extension
asciilifeform: *path-dependent
asciilifeform: sha512(mpi_second_cut.vpatch.asciilifeform.sig) : 7b14150fd5100dc90f7130a491214fceda5984fdad20491487d45727c4be88885dc9d9245e7f1bee30fa236e1e774e03f6cba8f34ccc4508eaed0df53af329a0
asciilifeform: fwiw sha512(mpi_second_cut.vpatch) : 594052a750c3ab2ad16bbd73c578df9d99a98cc9811e6537e452dc2386b58c24555918e8d02e9e8d35c25808ac31a10babf0614e2d647afdf4f58b38059af118
asciilifeform: so it ain't hoster shenanigans, unless quite elaborate and patch-dependent
asciilifeform: i redownloaded own item just now, and verified the sig successfully
asciilifeform: diana_coman: then can rule out bad pubk
asciilifeform: sigs dun change tho
asciilifeform: where did you get asciilifeform's key, diana_coman ?
asciilifeform: where it silently barfs on a signature and doesn't say why
asciilifeform: sounds like a bug in mod6's vtron, thus far
asciilifeform: pretty strange, mine and phf's vtrons ate it up without complaint, e.g. http://btcbase.org/patches?patchset=mpi
asciilifeform: diana_coman: are you using mod6's vtron ?
asciilifeform: diana_coman: is it in your patches dir ?
asciilifeform: fuckknows
asciilifeform: somehow never on planes.
asciilifeform: asciilifeform only gets ear pop in the subway.
asciilifeform: somehow in 'dream logic' it seemed entirely unsurprising that 'nam' were still a going concern.
asciilifeform: with plane full of other cannon fodder. but that's all the detail that was painted.
asciilifeform while BingoBoingo flew, slept, and dreamed that he was conscripted into american army; and when asked 'where do you want to go' answered 'let's straight to 'nam, get it over with' and was sent.
asciilifeform: 'knife fight in phone booth' (tm)(r)
asciilifeform: !#s bathtub catapult
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: insufficientlyproofyproofofproofiness
asciilifeform: in other 'let's steal trilema article and publish with flipped sign bit', https://archive.is/ECfmb
asciilifeform: notbad
asciilifeform: how is the jungle, how -- the jaguars ?
asciilifeform: congrats BingoBoingo !
asciilifeform: !~ticker --market all
asciilifeform: mircea_popescu: i cannot resist to ask, where do i buy some 'arbitrary iron' ? right now i only got concrete iron ☟︎
asciilifeform: or at least mythologically.
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: and only allegro with any degree of serious.
asciilifeform: in re commercial lisps , i've used lispworks, franz ( allegro ) , and bolix.
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: payware.
asciilifeform: was something like cmucl-for-crapplepnoje
asciilifeform: some yrs ago
asciilifeform: tho iirc ben_vulpes linked to it before
asciilifeform: nope
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: mircea_popescu: you forgot 's.nsa' wptag
asciilifeform: *friday
asciilifeform: ( src, https://archive.is/c50GL , classic. )
asciilifeform: fridan << 'Бананы давно облетели, И тигры давно облысели, Но каждую пятницу, Лишь солнце закатится, Кого-то жуют под бананом.' (tm)(r)
asciilifeform: aha!
asciilifeform: aaha.
asciilifeform: ( all opcodes are 1byte. )
asciilifeform: correct.
asciilifeform: the 'produce another pcode' mechanism is how e.g. key generation works.
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: ( see https://archive.is/CecF8 and elsewhere. )
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: )
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: mircea_popescu: 4.
asciilifeform: why would we have those.
asciilifeform: ah lol
asciilifeform: there is a forth-style decrementvariable-and-jumpifnotzero.
asciilifeform: not Q-ing before cycle count elapsed, is eggog, same as e.g. div0 .
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: there are control instruction, what.
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: http://btcbase.org/log/2015-10-14#1298929 << first, afaik, public mention. pre-dates ffa. ☝︎
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: ( given as item is from ancient asciilifeform article... )
asciilifeform: no fewer than twice
asciilifeform: pretty sure we did this thread
asciilifeform: 32 cpu, 256GB RAM, 1TB ( 750G after raid5 ) 'samsung pro' ssd. ☟︎
asciilifeform: asciilifeform is also in the process of standing up trb on dulap-III , an opteron monster not yet homed.