log☇︎
226900+ entries in 0.138s
asciilifeform: ben_vulpes: i have nfi how these work, but maybe bramcohen's algo (linked earlier)
ben_vulpes: asciilifeform: no, it's not phf's, it's magit and i think ediff
asciilifeform: when mircea_popescu wakes up, he might have a less gentle and more memorable way to phrase this truism.
ben_vulpes: we can therefore we must!
asciilifeform: adlai: fork was not made to pick yer nose with
adlai: asciilifeform: i refuse to get into "clhs doesn't actually say you're not allowed to give it an atom" territory
asciilifeform: where didja get the colours ben_vulpes
a111: Logged on 2017-01-04 08:25 ben_vulpes: http://imgur.com/a/KuPJv << some kind of voodoo magic in there knows i moved that format string around ☟︎
adlai: asciilifeform: in other wtf, isn't ., isomorphic to ,@!?
asciilifeform: folx will do ANYTHING!111 to avoid cracking a book.
asciilifeform: monkeys -- to the monkey house.
adlai: sure, you can write the whole thing in forth (or lambda calc, or categories, or...), but as the agent said to the provocateur - 'good luck'
adlai: students can build multiple impls as hw, but anybody using a forkable client is taking a risk
adlai: but it's correct as a version number, because consensus systems fail correctly together, and "history is written by the victors"
mircea_popescu: anyway, it's in the logs.
mircea_popescu: hm i could have sworn it was used before, "ideal bitcoin" ie the tmsr offering in the summer of forks. bitcoin v2.0, whatever
adlai: is that a version 'number'?
mircea_popescu: if we make the trb-i correct it should work like vtrons, multiple language implementations
asciilifeform: unless folx ~really~ pine for the tabs fix thing...
asciilifeform: trb will probably remain in trad style 4evar
mircea_popescu: but for eg trb work, +++ style is quite at home. it is c after all
ben_vulpes: asciilifeform: i had a complaint about this a while back, reindenting for multiple-value-bind and destructuring-bind and friends
a111: Logged on 2017-01-05 00:43 asciilifeform: incidentally you will blow up on the +++ mine if you try and diff a vdiff.
ben_vulpes: http://btcbase.org/log/2017-01-05#1596657 << yeah i found this when casually comparing the output of 'pdiff' (phf's version) with that of vdiff ☝︎
asciilifeform: the reason i keep coming back to this thought is that unix diff results in some pretty barfy lisp vpatches.
asciilifeform: because it mandates that no one ever use a programming lang where +++ occurs, etc.
asciilifeform: i do see the merit of nailing it down. but imho unix diff is retarded.
mircea_popescu: and how am i going to apply patches ? there's no such thing as signature-equivalence.
asciilifeform: (any well-formed patch representation is, in principle, convertible to any other)
asciilifeform: incidentally i'm not entirely convinced that v gotta be married to a particular difftron to work.
mircea_popescu: i didn't bring up the fucking apocalypse to fix some tabs.
mircea_popescu: i was aware of that ~then~.
asciilifeform: it was a somewhat pathological example. but i will point out that in this system , mircea_popescu's tab-corrector patch would be 100% human-readable.
mircea_popescu: i do not wish to live in a world where people can make patches consisting of 512kb lines of a ☟︎
asciilifeform: (i don't even disagree, that they ought to be.)
mircea_popescu: your diff must be so painful you ALSO negrate the author.
mircea_popescu: asciilifeform i negrate the author.
jhvh1: mircea_popescu: What is punycode ? - Learn how to use punycode to register IDNs at ...: <https://www.dynadot.com/community/help/question/what-is-punycode>; Punycoder - the IDN / Punycode converter: <https://www.punycoder.com/>; RFC 3492 - Punycode : A Bootstring encoding of Unicode for ...: <https://tools.ietf.org/html/rfc3492>
asciilifeform: here's gedankenexperiment. take file of aaaaaaaaaaa.....aaaa (1MB worth.) add, 512kB in, a 'b'. how long is your unix diff ?
asciilifeform: 'muscle memory, thinking man's worst enemy', who said.
asciilifeform: has mircea_popescu ever tried to implement traditional unix diff ?
mircea_popescu: it is, yes. the moment it needs a fucking 85 state machine to interpret its meaning it is.
asciilifeform: why have any more mutilation of the text than necessary ?
mircea_popescu: not when it comes to clearsign, not when it comes to vpatches, never. text dude.
asciilifeform: (it so happens that the original happened on a uuencoded shit, tru)
mircea_popescu: look, the in-band problem i can sympatize with, but the "let's thus turn text into blobs" i do not.
asciilifeform: incidentally you will blow up on the +++ mine if you try and diff a vdiff. ☟︎☟︎
mircea_popescu: iirc you didn't like the svg.
a111: Logged on 2016-12-11 18:53 asciilifeform: so i had two base64's png files in there,
mircea_popescu: i don't want fucking "codepoints" in my life. take your /x855 and shove it, bejaysus.
mircea_popescu: ah the thing where you tried to put A BINARY BLOB through a PLAINTEXT!!!111 format and ended up having to base64 it ?
asciilifeform: and sure as fuck you can tell
mircea_popescu: "we don't use in band but we have not well formed diffs which you can't tell"
asciilifeform: any characters found not in one of the 3 above states, make the entire diff nonwellformed.
asciilifeform: or rather, it is a literal string, and ought to be subsumed in one of the above forms.
mircea_popescu: if i go from "\\4hurrdurr" to "\\4urr" you'll say what, \\4\4 ?
mircea_popescu: and what is the meaning of \\4 ?
asciilifeform: because the machine knows how may to skip.
asciilifeform: the one thing i consider a major win here, compactness aside, is the freeness-from-inbandmagic.
asciilifeform: (for the colour viewer thing)
asciilifeform: incidentally iirc phf's vtron internally converts diffs to something quite like this form
mircea_popescu: well, they're rare.
asciilifeform: mircea_popescu: really idea is stolen from teco
mircea_popescu: i'll give it a look ; but sounds to me a lot like "rather than learn vim i'll try and make emacs adnotate"
asciilifeform: (he'd have to for either kind)
asciilifeform: worth a try, costs 0.
mircea_popescu is very reluctant re this daresay.
asciilifeform: i dare say that a colourized, phf-style viewer can make the suggested char-differ quite readable in comparison with ye olde unixdiff.
mircea_popescu: perhaps the correct solution is for code to conform to the paradigm.
asciilifeform: and it's a 1 to an I etc.
asciilifeform: so, one possible diff might be : \4\i'm \+15\quite certainly \80\not fucking learning an aminoacid matrix to be able to use diff i tell you that ☟︎☟︎
asciilifeform: take sentence 'b': 'i'm quite certainly not fucking learning an aminoacid matrix to be able to use diff i tell you that'
asciilifeform: take sentence 'a': 'i'm not fucking learning an aminoacid matrix to be able to use diff i tell you that'
a111: Logged on 2017-01-05 00:04 mircea_popescu: i'm not fucking learning an aminoacid matrix to be able to use diff i tell you that,
asciilifeform: ~you~ don't need to count'em by hand.
mircea_popescu: especially because no tabs
mircea_popescu: i do not wish to need to know how many octets is the blank lead of a new line
asciilifeform: lines are crud because they make newline symbol 'magical'
asciilifeform: this is to abolish the line-based idiocy of unix diff. ☟︎
ben_vulpes: among other things
ben_vulpes: i'll think on this
ben_vulpes: i could use proper docstrings at that even
mircea_popescu: you put them in the new file. they show up in the patch
ben_vulpes: i did not realize that the patch could contain comments that do not affect its output, is that so?
ben_vulpes: mircea_popescu: aye, 'twas a step in that direction
mircea_popescu: ben_vulpes slowly moving towards literate code. here's a thought... why not put the comments straight into the patch ?
ben_vulpes: take that, flexport and co
deedbot: http://www.contravex.com/2017/01/04/the-rich-mans-burden/ << » Contravex: A blog by Pete Dushenski - The Rich Man’s Burden.
adlai: the homework ( http://btcbase.org/log/2016-10-19#1556804 ) boils down to "understand wtf weil was on about" ☝︎
asciilifeform: adlai: even being a connoisseur and collector of crackpotteries , it was not much to work with.
adlai: turds are turds.
adlai: "a privacy and fungibility focused cryptocoin transaction structure proposal"
asciilifeform: i read the original turd, it was ill-specified
adlai: asciilifeform: incidentally, you may find that /m/-w is a flail in the general direction of "less snoreworthy ATC"
ben_vulpes: "dynamic algorithm" is term of art?
adlai: ah. that typo-collided collided with my other homework, which i am doing.
asciilifeform: adlai: imho integration by parts was more interesting than nw
adlai wishes he could do this homework instead of that other stuff (integration by parts^H^H^Hhands)
ben_vulpes: is there any sort of spec for "what difftron entails"?
asciilifeform: anyway algo should be clear to ben_vulpes .