asciilifeform: hmm, what if one were to model SP as in apeloyee's analogy, the text editor cursor. i.e. the pos of the ~next~ valid stack cell, rather than 'current'.

asciilifeform: one way i considered doing this, is to do away with all such things as 'SP - 1', 'SP - 2', etc. and instead to have e.g. Get_Stack_First, Get_Stack_Second, etc., each of which individually would ensure that the desired element exists. but these would have to return 'access type' (pointers) which thus far i've avoided using .

asciilifeform: i.e. in all cases where the array has a custom indexing type as the index, the array exists over the entire range of said type.

asciilifeform: this is the #1 type of stylistic fix that i look for -- 'can this be made more obviously-correct-when-used-as-prescribed' and 'can use-as-prescribed be made more obvious'

asciilifeform: possibly one can make a SPARKistic proof of non-aliasing , for proggy taken as a whole. i'ma look into it.

asciilifeform: No_Implicit_Conditionals is working as described on the box : https://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/using_gnat_pro_features_relevant_to_high_integrity.html#controlling-implicit-conditionals-and-loops

asciilifeform: the 1 caveat re buffers, is that there is a practical limit as to what can be made anticlobbering: if i were to do it to items that occur in inner loops of O(n^3)istic items, e.g. mux, proggy will end up 'geological' 4ever.

asciilifeform: because there isn't actually a limit as to what less-clueful people can break, regardless of what i do

asciilifeform: could just as easily not, with temp buffer. but why.

asciilifeform: http://btcbase.org/log/2018-01-17#1771637 << your item clobbers the modulus as it runs. what i dunget, is why this would justify making the range of SP wider than Stack itself, as seen in your paste earlier. ☝︎

asciilifeform: on that is becoming a standard for key derivation and already included in protocols such as TLS 1.3, WhatsApp, Facebook Messenger and more.' ( https://researcher.watson.ibm.com/researcher/view.php?person=us-hugokraw )

asciilifeform: or, sorry, 'ingenuity'. as in http://btcbase.org/log/2018-01-16#1770905 . ☝︎

asciilifeform: thing is as reusable as a tampax.

asciilifeform: postcollapse americans are in for some rude surprises : ~0 of the electro-crapola they surround themselves with, is worth ~anything, either as reuse, or salvage

asciilifeform: at least as a kid, i had no way of stripping it, aside from bare hands/knife

asciilifeform: phf so narrowly missed such great career as a metallist, i had nfi!

asciilifeform: ( prolly not, as metallists would inevitably get to him, like ants get to a corpse in the forest. but just. possibly. one. somewhere )

asciilifeform: somebody is reading and hands itching as we speak, aha.

asciilifeform: so as to continue this.

asciilifeform: and sometimes statue plays same role but 'with minus sign', e.g. in the post-su lands they ~saved~ some lenins, so as to mutilate/tear down in measured doses later , when wanting to give some extra suction treat to western cock

asciilifeform: phf: and them texas bois, every bit as ready to http://btcbase.org/log/2015-08-19#1244654 afaik , as ever. ☝︎

asciilifeform had a spiffy picture book ver of that thing, as a little kid

asciilifeform: i was thinking of current-day ru as the arab-egyptian. but yes.

asciilifeform: what's left , has ~same relation to the original, as current-day egypt to the pharaonic egypt.

asciilifeform: trinque: i'm watching, as i typically do, without sound card

asciilifeform: 'VLSI, by the way, in amongst their many other products, made chipsets for quite some time. Their last chipset would be one of the very few 75MHz capable Socket 7 designs. Like all the independent chipset makers, their market share would suffer greatly because of Intel's push to extend their CPU near-monopoly into chipsets as well and, unable to compete with Intel on even terms, they stopped trying. VLSI merged with the giant Phillip

asciilifeform: speaking of pierced pretenses, according to orlol ( and i've no way to verify ) a ru tanker is offloading a purchase of lng at boston harbour as we speak.

asciilifeform: why not just as well 'poverty, of gargauni'

asciilifeform: i dun see the causative arrow's direction as obvious

asciilifeform: well yes. given as it's... tru

asciilifeform: 'the vast majority of the mathematical community has never challenged its tacit assumption that doing mathematics will remain very much the same type of mental activity it has always been: new topics will come, flourish, and go as they have done in the past, but, the human brain being what it is, our ways of teaching, learning, and understanding mathematics, of problem solving, and of mathematical discovery will remain pretty much th

asciilifeform: bitcoin, gpg, show every symptom of authorship by programmertards, rather than academitards -- quite different types of 'shambling walker', as far apart as typhoids and lepers

asciilifeform knows approx as much re what happens in astana, as re on mars.

asciilifeform: if anyone finds so much as the smell of one -- i would like to hear about it, asap. ☟︎

asciilifeform: http://btcbase.org/log/2018-01-16#1770911 << i gotta ask, what's there to 'get' -- it's the same algo as in school book, e.g., hennessey, 'restoring division'; as also seen in knuth vol 2, and goes back to egyptian papyrii ☝︎

asciilifeform: http://btcbase.org/log/2018-01-15#1770788 << the 'goal', if we can even apply a word like this, is the same as was with chinese 'dragon' mips : to chisel from the ru mil budget. strictly, strictly that. ☝︎

asciilifeform: incidentally, re elbrus sparc, asciilifeform is reminded of a historic megamystery : why is it that sovblok incandescent bulbs, lasted for approx same time as western ones ? despite the latter's ( documented to my satisfaction ) philips cartel , and the absence of any such thing on su side ? ☟︎

asciilifeform: though i'll point out that ffa as seen today, does not use the cpu carry flag ( recall, no-inline-asmolade rule )

asciilifeform: mircea_popescu: corn liquishit does ~same thing to all species, apparently. the poor beasts more often than not look as if raised for the table.