log☇︎
123900+ entries in 0.074s
mircea_popescu: anyway, i ordered the creation of special proper tyres for myself only. and it shall be done.
mircea_popescu: "let's use everything exactly contrary to its utility envelope"
asciilifeform: 'Full rubber tyres, no inflation at all. Yes, exactly like in the toy items we had as children. Progress, you see,' << this is coming. possibly already deployed on 'upscale' americars.
deedbot: http://trilema.com/2018/and-another-day-dawns-or-multipicture-megapost/ << Trilema - And another day dawns, or Multipicture Megapost
asciilifeform: i'ma come back to this item when trinquetronic v is available
a111: Logged on 2018-01-17 20:14 asciilifeform: apeloyee: look at the trb tree, and picture what the mass of the patches would have been, if this requirement had been in effect when i made it.
mircea_popescu: http://btcbase.org/log/2018-01-17#1771985 << i don't understand where the extra mass comes from iyo. in the trinque solution, one extra file'd have been gaining a total of count-patches lines. ook ? ☝︎
a111: Logged on 2018-01-17 20:13 apeloyee: I proposed being able to name arbitrary required antecedents << also probably needs a mechanism to declare "there are no other files in the tree"
mircea_popescu: http://btcbase.org/log/2018-01-17#1771984 << the mechanism are "only the files named may exist". ☝︎
a111: Logged on 2018-01-17 20:11 asciilifeform: ( or what it expects to find on the bus, or almost anything else )
mircea_popescu: http://btcbase.org/log/2018-01-17#1771980 << fine example of the context problem. "yes, i have the chip" "so what can you do ?" "nothing." ☝︎
mircea_popescu: that it got replaced ? im sure it's a mention here and there in the log
asciilifeform: how the name of the misfortunate bird, was recycled.
asciilifeform: like the proper-penguin.
asciilifeform: they got thermonuked
asciilifeform: i dunno if anyone alive today knows what actual j00z looked like.
mircea_popescu: (for the needs of this exercise, the unitarian ustards are jew-wannabes.)
mircea_popescu: i'm telling you, cruise is jewsanity.
mircea_popescu: mostly, people who got it hammered into childhood that they suck for hating the peas, because their grandaunt edsel died in whichever camp
mircea_popescu: there's a certain "cramped spaces and highschool-ariline boarding security" nazism reinstatement that is appealing to a certain sort of person.
asciilifeform: i could even see the appeal if the plane were e.g. a mig, and does immelmans.
asciilifeform: not even getting out of the plane
asciilifeform: whereas the airliner equiv to the cruise would be to buy a 1stclass ticket to go nowhere in particular, in a circle
asciilifeform: well in 1915 it was 'cross with minimal pain', sorta like the $5k plus 1stclass chair on modern air liner
mircea_popescu: item is 1950s revival of pre 1915 extant item with utility (cross the atlantic pleasantly)
asciilifeform: lotta chumps seem to reliably sign up
asciilifeform: what's the draw ?
mircea_popescu: "if the nazis come -- can sail away" "really bitch ? never heard of uboats ?" "THOSE WOULD BE ILLEGAL"
asciilifeform: oh hey in the new mircea_popescu article : the item re 'cruise ship'. asciilifeform confesses, he never understood what is the appeal
asciilifeform: ( incidentally there is -- imho wholly without merit -- a school of physical-crackpotteristic thought that holds that he botched the job. )
asciilifeform: i respect folx who do honest work, even on particle zoos. just as i respect that cataloguers of rare birds in the jungle ; it is not a wholly pointless thing. but it is not comparable to heaviside, who walked into a room with 22 equations and came out with 4.
mircea_popescu: desy is perhaps the golden age of german science, and rather inseparable in any case.
asciilifeform: the troo wothy, is the man who SHRINKS the textbook.
asciilifeform: not so much even that 'hate', but observed that current-day practitioners are proliferators of factolade, and not unifiers.
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 ?
asciilifeform: ( preferably if you have such a machine -- throw it out!! now! )
asciilifeform: the use of comba , and in fact of ANY multiplier that compiles into having a x86 MUL instruction anywhere in it, is unsafe on intel celeron. and ppc32. and possibly ppc64.
mircea_popescu: who even knows this, left as separate issue.
a111: Logged on 2018-01-18 23:29 mircea_popescu: "oh, von neumann invented the 486". really tyvm.
mircea_popescu: http://btcbase.org/log/2018-01-18#1772646 << invented mergesort, to do the man justice. ☝︎
mircea_popescu: we are currently handwaving this, but it's there alright.
asciilifeform: there is 'edge space', as things are , also there.
mircea_popescu: sadly this is likely so.
asciilifeform: program is not meaningfully separable from ~all~ of the necessary parts to make it go.
asciilifeform: upstack re the impossibility of translating the safety of an ada program's nearby-modifications-phasespace to c -- i suspect that mircea_popescu's thesis re 'files are not separate units' not only is troo, but does not go far enuff :
mircea_popescu: if they were properly orthogonal-ized they would not, is the whole idea.
asciilifeform: because they not only do it, but exaggeratedly, cartoon-coloured, do it.
mircea_popescu: but of the crooked timber...
asciilifeform: i must've missed this memo.
mircea_popescu: yes, well, computer languages are supposed to not do that.
asciilifeform: and incidentally whenever i translate something to engl , from ~anything else, ~same flavour.
mircea_popescu: exactly like that.
asciilifeform: sorta the situation for which we even have word 'compilation'
asciilifeform: there's at least 1 lisptron that actually worked this way
mircea_popescu: and yet a bundle of c that produces exact same binary as your ada compiler does -- could be written
asciilifeform: mircea_popescu: because it was reimplementation, rather than translation.
asciilifeform: from certain pov it is 'same', but if you were to change ANYTHING -- you can now get segfault. whereas in original, it was not physically possible.
mircea_popescu: well, the attempt to translate v proved itself extremely productive neh.
asciilifeform: consider a translation of ffa to c
asciilifeform: it is not actually clear to asciilifeform that code ~can~ be properly speaking translated.
mircea_popescu has been encouraging people to do just that since just about its inception
asciilifeform: no, the 'translate code in attempt to understand' item
mircea_popescu: "code your own", why is that even there.
asciilifeform: i'm pretty curious nao what this looks like in typical practice
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.
asciilifeform: mircea_popescu: which is why i won't touch concepts-paternity.
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.
asciilifeform: anything pertaining to 'conceptual' identities --- is not.
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.
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 ?
asciilifeform: how many time do i gotta say it, i do not ask for a concepts-v.
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: that's kinda how that goes.
asciilifeform: previously thought that it was obvious.
mircea_popescu: on the exact contrary, everyone wants nothing else.
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.
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.
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.
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.
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"
asciilifeform: and if not, not. that simple.
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" ?>
asciilifeform: speaking strictly of text.
mircea_popescu: with what original shall the machine compare ?
asciilifeform: i'll repeat, i do not ask for a v that understands 'essences' or makes any such attempt.
mircea_popescu: note though that there WERE some disputes re its utility/feasibility! that cropped up in discussion! remember ?
asciilifeform: or in any other. whole thing written from vacuum.
mircea_popescu: so then you propose the xor variable flip was invented by whom ? what tree do i import when i do it ?
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'.
mircea_popescu: "oh, von neumann invented the 486". really tyvm. ☟︎
mircea_popescu: but tell me asciilifeform who invented bubblesort ? who, "the egyptian" multiplication ? who, the lisp memory model ? who invented anything ?
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.
mircea_popescu: only that can be history, which can be ascertained.