log☇︎
55300+ entries in 0.01s
asciilifeform: no, the 'translate code in attempt to understand' item
asciilifeform: i'm pretty curious nao what this looks like in typical practice
asciilifeform: strings strictly.
asciilifeform: mircea_popescu: which is why i won't touch concepts-paternity.
asciilifeform: ( as per chaitin et al )
asciilifeform: anything pertaining to 'conceptual' identities --- is not.
asciilifeform: the 'includes verbatim' proposition is mechanically answerable.
asciilifeform: which i am satisfied performs the requisite diff and comes up with the expected answer.
asciilifeform: different if the difference can be written as a program.
asciilifeform: text-v strictly.
asciilifeform: how many time do i gotta say it, i do not ask for a concepts-v.
asciilifeform: nothing!
asciilifeform: previously thought that it was obvious.
asciilifeform: it is going into ch8
asciilifeform: and i will say, ftr, that invocation of ANY ffa components on ANY overlapping segments, is an abuse. and there is not in fact any way to guarantee correctness , if such a thing is permissible.
asciilifeform: hence why i sign the whole, and not 'routine'
asciilifeform: as i said to apeloyee, in NO case can it be guaranteed that the parts cannot be cut up and re-sewn into a subtly broken shape.
asciilifeform: and if not, not. that simple.
asciilifeform: it gets attributed if it previously appeared under a signature somewhere.
asciilifeform: speaking strictly of text.
asciilifeform: i'll repeat, i do not ask for a v that understands 'essences' or makes any such attempt.
asciilifeform: or in any other. whole thing written from vacuum.
asciilifeform: nuffin in ffa is an import, in classical v, or in asciilifeform's ideal v
asciilifeform: it ain't an import.
asciilifeform: nobody in my lifetime will make a 'concepts v.'
asciilifeform: mircea_popescu: observe that i did not ask for a v that deals in ~concepts~, only mechanisms.
asciilifeform: the relationship that exists between the kalash and its drawing, is not an 'is'.
asciilifeform: neither 'is' the other. just as drawing of kalash is not a kalash, you cannot fire it. and conversely, physical, firable kalash is not the drawing, the parts are wherever they are in the tolerance range, to make more from the 1 example you will have to redraw the drawing and determine the tolerances.
asciilifeform: i do not understand why histories ever must be flattened.
asciilifeform: it flattens histories.
asciilifeform: this is an attainable thing.
asciilifeform: 'work' in this item means to provide the answer if it is available. and silence if it is not.
asciilifeform: but for specific case -- doable.
asciilifeform: e.g. proving haltability.
asciilifeform: almost nothing is doable for general case.
asciilifeform: no but i like the image of literal wall-o-cunt, lol
asciilifeform pictures mircea_popescu posting from something like a beehive , on distant world
asciilifeform: in particular cases - can.
asciilifeform: in the general case, cannot
asciilifeform: incl the change from nonexistence.
asciilifeform: what i want is more modest thing -- to know who made a particular change. in all cases.
asciilifeform: obviously can't distinguish. not unless all 3 are in the room, hanging upside down and plugged into the mains. and perhaps not even then.
asciilifeform: if you even have them within smelling distance, your system is broken.
asciilifeform: the idea is to expunge anyone who so much as shows a hint of 'i merely work here', as an unreliable element.
asciilifeform: because any given item can have 'simply appeared'
asciilifeform: without attribution , it is impossible to determine who even ~is~ the mole.
asciilifeform: learning 'on whose orders' mole worked, is not valueless
asciilifeform: the perp is loud, proud.
asciilifeform: i'm unaware of any muddle re whodunit in systemdism
asciilifeform: physically separable entities.
asciilifeform: one's a sig, 15 are sigs of a sig.
asciilifeform: the time parameter is real.
asciilifeform: mr.x signed 'i wrote ....' , 15 checkists signed 'i witness thereby that mr.x last night had wrote...'
asciilifeform: 1 originated. the rest not.
asciilifeform: howssat
asciilifeform: all hypothetical worlds are hallucinated, lol
asciilifeform: i'd rather have 1 usg head and 15 living friends.
asciilifeform: and this is The Wrong Thing.
asciilifeform: if you refuse to distinguish authorship from signature.
asciilifeform: well in cutandpasteism world, there is not 1 mole and 15 chekists. there are 16 signers, is all.
asciilifeform: the 15 are to answer for ~their~ sin.
asciilifeform: the 1 usg mole who inserts boobytrap, and the 15 chekists who failed to find him, in my book do NOT have equal responsibility.
asciilifeform: precisely because they dilute the responsibility.
asciilifeform: all muddles feed rats.
asciilifeform: this is the part i dunget.
asciilifeform: ( compactness both of the diff and of the wholes that were diffed. )
asciilifeform: whichever that happens to be.
asciilifeform: interested in the most compact accessible diff representation.
asciilifeform: even when they differ by 1bit.
asciilifeform: disasms are actually a bitch to diff.
asciilifeform: ~minimal~ deltas.
asciilifeform: deltas.
asciilifeform: dunno, redditola comes close
asciilifeform: it ain't the sum of the parts.
asciilifeform: may as well also say 'of bytes' lol
asciilifeform: cutandpasteism makes muddled authorship socially acceptable, and this in fact is what rats feed on.
asciilifeform: and anybody found 'edging' is held to answer.
asciilifeform: hence design decisions like http://btcbase.org/log/2018-01-17#1771908 . the expectation is that the dubious people who 'live on the edges', are GONE. ☝︎
asciilifeform: the desire to abolish cutandpasteism.
asciilifeform: i'd like to revisit upstack , http://btcbase.org/log/2018-01-18#1772421 << this is somewhat of a misconception. asciilifeform did not salivate over a 'programmer's paradise' when wrote v. on the contrary. v , as he pictured it, is a weapon of rodenticidal war. specifically to ferret out and neutralize not only the compromised people, but the politically unreliable and the dubious of whatever type. hence the focus on attribution, and ☝︎
asciilifeform: at the same time i dun think that i actually disagree with mircea_popescu re the granularity. we don't have the tech to make granularity 'at procedure level' work.
asciilifeform: the only thing it's got, is the deltas. and i can't see why they shouldn't 'go back to moses' if this is physically possible.
asciilifeform: i'ma approach from different angle : mircea_popescu , what do you think is the advantage of v over mere pile of signed tars ?
asciilifeform: evidently not-all, neh
asciilifeform: the 'bitcoin by lone idiot' model cannot be ruled out , but nothing requires us to eat it by default.
asciilifeform: ( the 1 item d00d actually came up with, phonograph, was made by hired hands. the man could not machine to save his life )
asciilifeform: trinque: entirely conceivable that it was an edison-like production
asciilifeform: afaik the 'idiot comes up with worthwhile item by accident' is a wholly imaginary problem. never seems to actually happen.
asciilifeform: and nomoar 'subtle'-anythings at the edges.
asciilifeform: mircea_popescu: nope. you find the subtle-manipulators and string'em up.
asciilifeform: if 2 strings are bitwise-identical -- they are the same. if mircea_popescu in his own house insists that trained gurlz with magnifying glasses compare them, before he will consider them to be same, that is his biznis
asciilifeform: can proclaim 'there is not' all you like. my copy of diff still works.
asciilifeform: http://btcbase.org/log/2018-01-18#1772514 >> oblig >> http://pbfcomics.com/comics/the-golden-ticket ☝︎
asciilifeform: and therefore ought to be resolvable mechanically as part of ordinary v operation.
asciilifeform: re earlier item -- if i want to demonstrate that 'alf's exceptional exsudator' consists of diana_coman's magic prime number maker, all 100,000 ln of it verbatim, plus 5 ln of asciilifeform's , this is now a proposition that has to be proven manually. whereas theoretically it is a mechanically resolvable q.
asciilifeform: lol
asciilifeform: will show, after tea , brb
asciilifeform: mircea_popescu: there is no way to weasel out of the fact that the info is available, but simply ignored by ineptly made vtron.
asciilifeform: the only organ made of meat!11
asciilifeform: http://btcbase.org/log/2018-01-18#1772483 << it's still annoying that , if i import it, and then years later query 'origin' of something, it only can trace back to my own genesis. and not to birth. ☝︎