47000+ entries in 0.033s
mircea_popescu: desy is perhaps the golden age of german science, and rather inseparable in any case.
mircea_popescu: (before the large cern one, a smaller all-german item existed, proved most of modern physics, including all sorts of quark properties, laid the groundwork for eventual finding of top quark, etc)
mircea_popescu: btw, apropos of unrelated ancient thread : does your hatred of cyclotrons extend to desy as well ? no gluons for you ?
mircea_popescu: we are currently handwaving this, but it's there alright.
mircea_popescu: for instance -- leaky machine will make your rsa impl leak
mircea_popescu: if they were properly orthogonal-ized they would not, is the whole idea.
mircea_popescu: yes, well, computer languages are supposed to not do that.
mircea_popescu: and yet a bundle of c that produces exact same binary as your ada compiler does -- could be written
mircea_popescu: well, the attempt to translate v proved itself extremely productive neh.
mircea_popescu has been encouraging people to do just that since just about its inception
mircea_popescu: what do you mean "what it looks like". it looks like, say, v!
mircea_popescu: i can't be the only one who translates code as a routine attempt at understanding wtf.
mircea_popescu: yes, but the code we review is not strictly speaking text.
mircea_popescu: paternity is purely conventional in this strong sense. among us, we may think r,s & a invented rsa. among some gray beards somewhere else, they may well know better.
mircea_popescu: man saying "this is of x" is the only marginal history available here.
mircea_popescu: suppose yet another one takes your thing, fixes a bug, and says "this genesis also includes exactly alf's thing verbatim, except for this subtle bug i fixed". thereby... these are different, yes ?
mircea_popescu: and, back to the trunk, we've not even discussed the horror of translation. suppose you write a thing, in ada. suppose another, who works on a lisp tree, takes your thing and identically translates it to lisp (here defined, that on any correct machine his code will in all cases behave indentically to yours). what's your v to do here ?
mircea_popescu: what literate code is all about, nothing keeps you from putting a philosophy.preamble file in there.
☟︎ mircea_popescu: say it in the fucking comments of ffa, not here, at that.
mircea_popescu: there is no implicit attribution of text ~specifically because~ there is no ghost of moses caught in the letters anymore than there's soul intertwined in the brain.
mircea_popescu: the ~type~ of problem that cropped up with the xor assignment (whereby -- careful at context X might shoot self in foot) is ~exactly~ and with no remainder the type of problem we are fighting, whereby "oh, this ssl totally works for rsa, except... when it does not"
mircea_popescu: if your desire can't be made to work in elementary cases, how would it work at all, is the bojum here. what, xor assignment gets a free pass, but "any program longer than 6 lines magically becomes attributable" ?>
mircea_popescu: note though that there WERE some disputes re its utility/feasibility! that cropped up in discussion! remember ?
mircea_popescu: so then you propose the xor variable flip was invented by whom ? what tree do i import when i do it ?
mircea_popescu: but tell me asciilifeform who invented bubblesort ? who, "the egyptian" multiplication ? who, the lisp memory model ? who invented anything ?
mircea_popescu: asciilifeform because in some parts they're fictitious (read : unknowable) histories.
mircea_popescu: this turns into an interesting inverse case of "the code is not the spec", whereby... the spec is not the code.
mircea_popescu: note if you will that "bubblesort", while a fully defined symbol, does not actually denote any specific implementation as such.
mircea_popescu: it would appear to me the "copy what you want into your tree" provides exactly that.
mircea_popescu: nevertheless, as a matter of course, your protocol must work in all cases it purports to cover or it isn't.
mircea_popescu: but the sheer insanity to attempt a protocol built on a knowledge that it dun work in the general case, but in some particulars. what is this, building unix ?!
mircea_popescu: asciilifeform this planet ; the planet where men have tried for 50 centuries to tell the woman "make me a son, and one that's not idiotic, and not too expensive" and she brought whatever shrubbery she brought.
mircea_popescu: children are born out of an unamed, indistinct wall of cunt. the only point of interest is which father signed off on it.
mircea_popescu: change, yes. just not really know who made a particular genesis, is all.
mircea_popescu: so then what specifically are you trying to translate into protocol here ?
mircea_popescu: what is your standard of proof anyway ? suppose x claims that koch works for weimer ; and y claims weimer works for koch. how do you distinguish these claims ?
mircea_popescu: or care. or in any other bakchand way re-import the empire of stupid into existence.
mircea_popescu: asciilifeform there is no possibility of such learning.
mircea_popescu: how about this "mechanical borrowing" system you proposes ACTUALLY weakens responsibility, because the 15, instead of taking seriously their true deed, which IS in fact authorship-indistinguishable, rather aim to hide behind a claim of "hey, we merely work here, signing signatures" a sort of "well i really wanted to X and the only part Y available was Koch's so don't blame me"
mircea_popescu: leaving aside the problem of time in this system, which promises to be gnarly (time where ?), would it TRULY make you feel better about systemd if the blond schmuck whose name i forget claimed alien possession ?
mircea_popescu: this is like saying "moses fingered one". the idea is, something within your hand, not some sort of religious fiction.
mircea_popescu: yes but the problem with this one is that it is fundamentally incompatible with reality.
mircea_popescu: and whenever someone signs something not-good, ima have their head.
mircea_popescu: this system is designed to work well, not to work thoroughly. it requires no such panopticonism as you envisage.
mircea_popescu: if this were true nuclear reactors would be fulla rats. they... aren't. gluon muddle, and yet...
mircea_popescu: i will not care one wit whether author of package i use copied or wrote offending bit. signed it -- that's that.
mircea_popescu: as a subpoint, it is true copy/pasteism makes muddled "authorship" socially acceptable, and this is a great thing, and the perfect bullet to kill usg."intellectual property" with ; but it does NOT make responsibility any weaker, and thereby feeds no rats.
mircea_popescu: rather, interested in the most compact notation of intent
mircea_popescu: the only true knowledge of the machine's view is the binary. but you are not interested in that, you are interested in intension and a particular sort of meaning,
mircea_popescu: "oh, more readable". this is bs, hence all your comments about "disasm" throughout up to today.
mircea_popescu: note that you specifically want ~sources~ not binaries. why ?
mircea_popescu: no text is the "Sum" of its parts in any rigurously definition of sum.
mircea_popescu: asciilifeform for one thing, v is a structured pile of signed tars.
mircea_popescu: but this happens all the fucking time right here, too! take the... well i can't fucking find it now, but there's a line in the log where phf goes "hey, your trying to do the mp rant comes out short, you;'re not mp". why the fuck not! had all the bits!!1
mircea_popescu: two bitwise-identical strings are not thereby the same thing.
mircea_popescu: then you bite the subtle bugs resulting from subtle manipulations of state at the outskirts, which is what nsa rats live off of.
mircea_popescu: in the same sense your copy of patent medicine still works.