diana_coman: asciilifeform: there was nowhere not even for 1 sec any idea of "oh noez, redo drawings", just in case it's not clear; the start is still the algebra anyway and that's the correct way of thinking about it to my mind, not any convention left or right (and in this sense, if anything, I'd rather change the shift_left/shift_right for all their being ancient and all that).
diana_coman: but exactly because they force in there "direction" when that is inconsequential
diana_coman: fwiw I start with the algebra and only then, if I need to, I will refer to - better yet, make my own - diagrams; in this case my note was simply a reminder "diagrams there do not match internals + shift_left/right convention here so do own/flip/ignore"
asciilifeform: diana_coman: fair'nuff
asciilifeform: fwiw i suspect that not only the diagrams, but the text, is optional : it aint a very complicated proggy, and patient reader could in principle grasp it w/out a cribsheet
asciilifeform: will add, that readers are encouraged to write an' post own proofs, as e.g. spyked did.
diana_coman: asciilifeform: the text helps esp. in conveying your intention/focus as it were; it's true that one could understand FFA just with the code but that doesn't mean that the posts don't help.
diana_coman tends to write pen on paper when figuring things out which is a pain re publishing afterwards
feedbot: http://qntra.net/2019/04/mba-grad-takes-revenge-on-alma-maters-computers-with-usb-device/ << Qntra -- MBA Grad Takes Revenge On Alma Mater's Computers With USB Device
asciilifeform: diana_coman: right. ( and in the peh-related later ch.s, the text is actually the 'official' spec , and not the proggy )
asciilifeform: diana_coman: i also on paper.
asciilifeform believer in 'proggy may not be the spec' dictum. in the arithmetic chs, however, there is no spec beyond e.g. 'multiply these two numbers in constant spacetime', which has simple unambiguous meaning.
BingoBoingo: Found in the wild: Other gringo's calendar https://mydayinuy.com/wp-content/uploads/2019/04/UY-closed-1.gif
BingoBoingo: Fellow produced an interesting archaeological example of what happens to passive heathens then the Woes hit their altcoins https://mydayinuy.com/2019/02/20/20244/