log☇︎
78100+ entries in 0.481s
asciilifeform: if each patch nails down an explicit 'and on top of THIS' press sequence, it drags the entire universe behind it, all of a sudden there is no such thing as 'sibling', i.e. a thing that goes from same ancestor to a different but nonconflicting place.
asciilifeform: (this is a difficult process because we have multiple 'patchons' inside a patch..)
asciilifeform: is it even still possible to draw anything like a readable graph ? or would it look like a ball of yarn where it's this-here-copy-or-fuckyou, and it is not clear at all what was changed and what relied on what.
mircea_popescu: this is a dubious statement.
asciilifeform: all that cannot be calculated mechanically, is, for the purpose of making a mechanism, imaginary.
mircea_popescu: the context is not imagined, but very mach part of a corrent understanding of text.
asciilifeform: a+mpseal(a) != a+randoseal(a)
asciilifeform: the mp-ness of a is provided by his seal.
mircea_popescu: mno. "a" does not exist. mp(a) != rando(a).
asciilifeform: a == a
asciilifeform: you still have a loop, semantically, but no mechanical means of detecting it.
asciilifeform: so i hand-cranked the sequence using mircea_popescu's method, to agglomerate, forever, a record of the path through the tree. and he is right that this will keep the toposort from detecting a loop. but this is rather like whitening an rng, it confuses only the machine, but not the reader, who will see that the ~output~ resulting from following the path is identical.
mircea_popescu: so yes, monkey makes ballista, shoots man. then monkey settles down, forgets about balista for a minute, spends TWO CENTURIES trying to figure out what man had already said. a rather hollow sort of victory, at least to my eyes.
a111: Logged on 2016-12-21 19:03 mircea_popescu: should be pretty evident that a dimension defined in terms of divisibility is very fundamentally not the same thing as the latin notion of dimension-as-extensibility.
mircea_popescu: and while he's incapacitated, http://btcbase.org/log/2016-12-21#1587343 << to briefly revisit the whole "greeks were actually smarter than you" thread : naive set theory (as expoused by, say, frege) runs into a problem known as russel's paradox : should the set of sets that don't include themselves include itself ? ☝︎
asciilifeform: but now i can also make 10,000,001 paths that lead to the same press, and cannot be easily distinguished by machine. which is a headache that normal v does not suffer from.
asciilifeform: i can still make you a cycle.
asciilifeform: you will need to describe a v-prime where patches get diffed
asciilifeform: --- a/foo.txt 74e20d520ba4ecfdb59d98ac213deccecf591c9c6bfc5996ac158ab6facd6611cce7dd22120b63ebe9217f159506f352ce0ee6c0c2a1d200841ae21635dc5f9a
mircea_popescu: next a line will reference f1bebb8.... and next b line will reference 33529af2cb74...
asciilifeform: a and b are on separate planets , and do not know about each other, and each was working from the genesis only.
mircea_popescu: mk a sec
asciilifeform: the example i just posted involves two people, 'a' and 'b', who follow entirely different paths, come to same place, because they do not know about one another and there is no clock. now you can give them a place to put magical comment, but again they have to have a drumbeat or agreement method of one kind or another, or they can still follow this same path.
mircea_popescu: now, because of a naive "repetition creates cycles" and "index=text content" joint assumption, you automatically imagine that two people signing the same (text+context) pair would create a cycle. not anymore - the situation neatly reduces to "two people sign the same patch", ie, having multiple seals for the same patch.
mircea_popescu: mplemented as introducing a comment which references the previous item in the indexed set - but this is by no means the only, or the required, or standards-candidate implementation.
mircea_popescu: nevertheless, two different solutions have been considered. one is to attach an outside clock to the process. this has the obvious disadvantage of attaching an outside clock to the process. the other is to modify the indexing process for the set, from the current "index is hash of textual content" to a more advanced "index is hash of textual content + its context". as an exemplary poc it was proposed that this change may be i
mircea_popescu: this outlines a theoretical problem, which is present. it does not have many practical implications at the present time for purely political ("thou shalt not cycle!" is an imperative) and sociological (not that many people hammering out that many patches yet) reasons. therefore its solution is not in any sense pressing.
mircea_popescu: except woe, you can't make it because someone already made a patch for this block and you aren't going to see another block without a patch.
mircea_popescu: the stoppage may require a patch
mircea_popescu: (it is uniquely idiotic to clock v patches by bitcoin - because for eg what happens in 2115 when v is the basis of bitcoin and a bug occurs which makes blocks not happen anymore and has to be fixed by a vpatch which can't exist because no blocks.)
mircea_popescu: in any case, as described v becomes an actual bitcoin , very much in the sense of "slavegirl powered btc" - each "block" ie vpatch is mined etc. this de facto allows to have things such as a "development clock" for perhaps other usage.
asciilifeform: martians make a copy of mircea_popescu ! which mircea_popescu shoots which other !
asciilifeform: --- a/foo.txt 53fedeea28a5b6608b422f90f8c28e97c4604d6da5c18b8167b10c994166d8f0b47cd07bca8a6e4e53b6a961bef75f494c70e97437b7afd2d69c4110d7c06575
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: it does not in point of fact have a unique 'last patch applied', because there is no way to prevent two people who do not know about one another from both writing :
mircea_popescu: well, do we actually want this ? it doesn't seem to make sense ; in the sense that when you write the patch in question, you write it atop a specified code ; which is the result of a press ; which has a "last patch applied" necessarily. so that one should be the "antecedent" properly speaking.
asciilifeform: for starters, a patch can antecedentize 10,001 other patches.
mircea_popescu: it's a fixed word. you could have it #Patch for false
asciilifeform: say i sit down to write a patch.
asciilifeform: there is no concept of 'previous' without a time order !
mircea_popescu: nono, just previous patch hash. whenever you sit down to write a patch, you sit down to write it atop a press, or at any rate the situation resulting from a press. that has a "last item pressed" by necessity, and THAT will be your header.
asciilifeform: a gensym, in case anyone forgot, is defined as a symbol that is guaranteed to be unequal to all other invocations of gensym.
asciilifeform: mircea_popescu's solution, if i understand it, is to include a gensym in each patch body.
mircea_popescu: ie, if someone actually mines a hash, you mean ?
asciilifeform: sure we can. at least under my original vtron, this was a legal operation because it does not produce an eternal walk.
asciilifeform: mircea_popescu: this destroys the ability to see that we in fact returned to genesis. has it occurred to you to wonder why even to have patches at all? why not everyone just signs the entire hindenburg titanic of trb every time he changes a line ?!
mircea_popescu: but this is a->b->c->d(=b). the only reason d is confused with b is because we don't hash correctly.
mircea_popescu: what i want is a->b->c->b.
mircea_popescu: asciilifeform this goes a->b b->c c->a
mod6: <+asciilifeform> note that a correct vtron will not misbehave if you have this. << am trying this...
mircea_popescu: asciilifeform i specifically want a cycle (n >1) where one element traces back to genesis. it seems to me that because one patch can only identify one antecedent, it is not possible to create cycles for the ~same reason organic chemistry doesn't work on hydrogen and oxygen only.
asciilifeform: note that a correct vtron will not misbehave if you have this.
asciilifeform: --- a/foo.txt 846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410
asciilifeform: diff -uNr a/foo.txt b/foo.txt
mircea_popescu: so now. how would one make a cycle whereof at least one element actually traces back to genesis ?
asciilifeform: note the '--- a/foo.txt false'.
asciilifeform: --- a/foo.txt false
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: the genesis, note, is not merely a string of code.
asciilifeform: mircea_popescu: because dr.mengele makes a patch that ~produces~ the genesis, thinking he is oh so clever
mircea_popescu: so then how is it a cycle ?
mod6: yeah, i certainly tried. and i thought i even tested this before... so maybe there was a regression. but i'll admit, that python code is very strange to me eith the for with the else.
asciilifeform: mircea_popescu: it is a cycle topologically, but given as it contains the genesis, the 'ant walker' stops at the genesis, and does not walk in circles.
mircea_popescu: how is it a cycle if it terminates ?
mircea_popescu: thinking about it, is it actually possible to make a cycle where at least one element traces back to genesis ?
asciilifeform: like ants in a circle.
asciilifeform: mod6: take a paper and draw a loop containing the genesis.
asciilifeform: returns to genesis are topologically harmless and so were legal in my vtron (they cannot cause any kind of inconsistent behaviour.) note that a deedbotted vtron as discussed in today's thread, would still ban them.
mod6: im not sure if i follow. are you saying that genesis isn't a good place to test it because it is a root?
asciilifeform: notice, my vtron will not barf on it. because it does not cause a munchausening.
asciilifeform: this is not actually a cycle, do you know why ?
mod6: --- a/bitcoin/src/net.cpp c67fdd55e9d9d6b4973122b76729d7e83a456a8dc410f1c130cffbfd9f626c47ca7e8006bde912d9e0bd0a4b8457e895270d4a0efd22c4a199cd52ffd95b10dd
mod6: diff -uNr a/bitcoin/src/net.cpp b/bitcoin/src/net.cpp
mod6: so 'b72b573' ... and drop this into a down-flow vpatch that touches net.cpp, that should cause the cycle right? like so:
mod6: --- a/bitcoin/src/net.cpp false
mod6: (i played with this for a long time lastnight after that quick conversation)
asciilifeform: even d00d with cock that only fits on a spool in atlantic cable-laying ship cannot break arithmetic.
asciilifeform: if mircea_popescu or anybody else wants to try to 'square the circle' and make a v-prime algo that doesn't need ordering, i will helpfully show how it breaks.
asciilifeform: whole thing is more or less a straight rip of it.
mircea_popescu: this is because the "same" string (Foo Genesis, modified.) is NOT THE SAME string, depending on the contemplated context. it is a string in 846fdf... and ANOTHER string in whatever other context.
asciilifeform: --- a/foo.txt 846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: it would be a Bad Thing. if we were to do it. which we don't, because the antecedent hash gives us the context.
mircea_popescu: then therefore, do you agree with the proposition that signing S as long as S consists strtictly of computer code with no indication of context is a meaningless at best and dangerous at worst activity ?
mircea_popescu: let me approach this matter from a different pov. do you agree that a string S consisting of computer code can be, depending on the context in which it is patched, the right thing or a deliberate subversion ?
mircea_popescu: earlier a knowing later b's hash is equivalent to either time travel or hash breaking.
mircea_popescu: it's not altogether clear why the "hash whole thing, not just parts like fucking bitcoin blocks do" isn't a better solution. moves the clock externality to a strong hash externality
deedbot: http://www.contravex.com/2016/12/23/practical-trigonometry/ << » Contravex: A blog by Pete Dushenski - Practical trigonometry.
mircea_popescu: you made a blockchain dependency in 2015 ?
asciilifeform: it'll need a 1-patch-at-a-time hopper.
asciilifeform: fortunately we have a clock.
asciilifeform: orderer can be, e.g., a 'primus inter pares' monarch.
mircea_popescu: that is what a clock is.
mircea_popescu: but in any case, turns out v actually has a previously poorly understood externality, in the sense of, requires a clock.
asciilifeform: with 1-patch-per-block, there can be no ambiguity as to who is responsible for closing a cycle.
mircea_popescu: because a) conventionally cycle-closing patches aren't to be released and b) anyone involved in a closed cycle gets hung ?
asciilifeform: it is a taxidermic head of a problem hanging in my study wall.
asciilifeform: i contend that it isn't a problem, and that i solved it before releasing v.
mircea_popescu: in any case i don't want to discuss problems in a marriage with proposed solutions.
mircea_popescu: this so far seems a lot like a kludge.