log☇︎
289600+ entries in 0.186s
Framedragger: asciilifeform: not necessarily from godel! some kind of diagonalization may be reconstructed, i'm sure/heard. but being able to handle some classes or problems is interesting in itself.
mircea_popescu: diana_coman i can't stand his conventional bullshit. he dared criticise (young) caraqiale for "poor morals" in plays ? the schmuck borrowed on his income months in advance to dress up and bullshit like that. he has a massive vein of "never got over mom" that i loathe in writers.
asciilifeform: mircea_popescu: which same thing?
diana_coman: that's how it came across at least then
mircea_popescu: apparently this was known by 2oyear olds in the 1800s. nuts.
mircea_popescu: you know, by the way, re my recent failed attempt to interact with the master, i found last week a notation from romania's genius poet EXPLAINIG THE SAME THING ?
Framedragger: (what's nice with these paraconsistent systems is that they may not crumble down when encountering some or other kind of logical paradox.) </weird-rant>
diana_coman: if that's what you mean
diana_coman: I don't quite follow your analogy there I think
asciilifeform: go and cut from program. if well-written, will take you whole life.
asciilifeform: ^ because human text is low-entropy.
mircea_popescu: but then again that's the sort of why an' wherefore the kids think i'm an asshole.
mircea_popescu: from my brief stint in publishing, i wouldn't swear the expert editor is less a contributor in the average book than the average author.
mircea_popescu: diana_coman this is a dubious assertion, in the same vein we could say "ian murdock did the work, rest did gui" or w/e.
diana_coman: leave the GUI to the team, sure
Framedragger: ^ maybe not even related that much, just intersting
diana_coman: sure, but they did not touch the core
asciilifeform: and yes there is a transition-to-layers-of-slime point where the programmers give up on simplification and start piling up crud
mircea_popescu: so really, was team. author, editor, 2 people at least.
Framedragger: values, but the imaginary terms get eventually nulled before the final solution.
mircea_popescu: diana_coman irl it worked as, to quote famous wilde tidbit, "i leave it to you to to fix the here's and there's".
Framedragger: (in paraconsistent systems, they try to "contain" cases when `p && ~p`. normally by principle of explosion you can prove anything (`1. p. 2. p || q [from 1, disjunctive addition.] 3. ~p [given.] 4. q [from 2. and 3.]`). these systems remove one or another inference rule (e.g. that p || q may follow from p, or double negation, or something else), or *suspend* it, in the fashion that some equations may have complex numbers as intermediary
diana_coman: add to that the fact that the equivalent would be not exactly trying to maintain the work, but rather trying to maintain some layers of slime built on top of the work
diana_coman: in same vein, a team is not able to maintain the body of work of respected past intellectual, sure
mircea_popescu: shinohai bet you he's gonna swallow the "nigger" thing without looking.
diana_coman: rence there is that "team of individuals" is pointedly not the original author
diana_coman: mircea_popescu> nothing actionable or useful that i can discern. just the simple observation that a) code the size of the body of work of respected past intellectuals is not maintainable by teams or individuals, while the writings were maintainable by the author solo ; b) the correct solution to scale is not increase in rigidity, but flexibility. which is how skyscrapers work or japan defends from earthquakes. <- fwiw the diffe
a111: Logged on 2016-06-23 09:44 deedbot: [Trilema] The life and times of one Phil Daian, aspiring nigger & apprentice cocksucker - http://trilema.com/2016/the-life-and-times-of-one-phil-daian-aspiring-nigger-apprentice-cocksucker/
mircea_popescu: which essay is that again ?
shinohai: http://btcbase.org/log/2016-06-23#1487702 <<< Since he handily provided his twitter I decided to troll xD ☝︎
mircea_popescu: asciilifeform as an ideal output, i would like a debian distro that says "you can't possibly mean to make these keys out of 32k sets ?!"
asciilifeform: mircea_popescu: to an extent we have this. consider naggum's c++ liars essay.
Framedragger: alsoalso, graham priest's paraconsistent logic is an interesting thing.
mircea_popescu: (and in this sense, i view eg the debian key disaster thing as collapse, exactly like the tay bridge failure say)
a111: Logged on 2016-06-23 13:20 asciilifeform: the 'fuzzy logic' thing was in style in '80s for a brief spell
Framedragger: http://btcbase.org/log/2016-06-23#1487950 << for a brief spell only? i think there now may exist some inference systems which work on floating point / probabilistic truth-values? weasel words, would need to check, but wouldn't have thought it to have been a "brief spell" only? ☝︎
mircea_popescu: so it seems to me that perhaps we could say "obviously" the more strictly defined a language gets, the more catastrophic the necessary collapse of its large scale systems.
asciilifeform: or how about a lift that maybe-goes down or maybe-up
mircea_popescu: nothing actionable or useful that i can discern. just the simple observation that a) code the size of the body of work of respected past intellectuals is not maintainable by teams or individuals, while the writings were maintainable by the author solo ; b) the correct solution to scale is not increase in rigidity, but flexibility. which is how skyscrapers work or japan defends from earthquakes.
asciilifeform: would mircea_popescu like, e.g., pgptron, that maybe-multiplies some maybe-primes if it feels like it hat day in its sim-menstrualcycle?
asciilifeform: firmware ships with bamboozling, prayer, monkey grunts, 'i didnt fuck him', 'cheque is in the mail' language processor.
asciilifeform: greeks, kant, et al --> ~unambiguous~, deliberate language. definitely doesn't come from factory in hyooman firmware, has to be installed aftermarket.
mircea_popescu: but that's not really what;s contemplated here.
asciilifeform: ^ any of them
asciilifeform: recall the hypertalk thread?
mircea_popescu: they sure as fuck haven't before the greeks or w/e, that's not millions opf years.
mircea_popescu: in any case the historical argument is very dubious. people have nopt really been thinking ~in language~ before say kant.
mircea_popescu: but then... there's no such thing as "speech", and children of random parents can learn random unrelated language.
mircea_popescu: you could pursue your line, sure, "look, being genetically female is complex, which is why maledom is delta-encoded on one chromosome. speech is the same."
mircea_popescu: but i meant in the general, as a theoretical possibility. how the fuck...
asciilifeform: hyoomans have been talking for considerably longer than they've been programming..
mircea_popescu: but WHY is it possible to have a huffman table for human text in meat ?
mircea_popescu: go the other way : why does it have to be a mechanism ? god knows people'v proven time and again they're perfectly happy with black boxen that do something vaguely related to what they expected 80% or so of the time.
a111: Logged on 2016-06-23 12:27 asciilifeform: proggy does not compress. head does not have the handy lossy compressor, as for human text.
asciilifeform: http://btcbase.org/log/2016-06-23#1487842 << in that sense. 1) we don't have the huffman table for it in our meat , unlike human text 2) well-designed program has very high entropy. ☝︎
mircea_popescu: (and yes, i'm studiously not setting foot on the ground you suggest - because you'd vaporize my entire thing in five seconds. so let's sit over here where it's safe.)
mircea_popescu: yet as it is, takes little time to keep up.
mircea_popescu: but the basis here is indisputable : if trilema were equally sized code, i'd be dead trying to maintain it.
asciilifeform: until folks realized that you get soup
asciilifeform: the 'fuzzy logic' thing was in style in '80s for a brief spell ☟︎
mircea_popescu: basically, instead of trying to achieve the moon-height skyscraper by investing in material rigidity, invest instead in a sort of... fault tolerance i guess you'd call it.
mircea_popescu: let three lines of A code be ambiguously interpretable to mean 5 different things, so that a million lines of A code become a very clearly useful, controllable item.
mircea_popescu: suppose the correct solution to the "large systems" problem isn't exactly to use "strong typed" languages and in general, more minutely define the elements involved. suppose the solution in fact is to give up on the (nonsensical, in theory, and unfound in nature) notion of "unambiguous notation".
mircea_popescu: asciilifeform let me run by you a crazy idea that came to me in my dazed state we'll approximate by "sleep"
asciilifeform: printolade by the bucket - sure.
mircea_popescu: it will pay ransoms even as it can't pay to import grain
mircea_popescu: it will continue to pay. perfect ransom victim : cheaper to pay than not to pay.
mircea_popescu: usg has to date paid 100s of ransoms.
mircea_popescu: asciilifeform his NAME is. he himself, no. but just like us soldier isn't worth the crap he took that morning, but us soldier dog tag is worth ~1mn or so on the ransom market...
diana_coman: I was just stating that I actually applied my definition, it's not just some random thing I came up with now
diana_coman: <mircea_popescu> damn i mean, diana_coman how many students can you fail. <- myeah, I know; thing is also: they shouldn't have gotten that high to fail basically, not that many
asciilifeform: and i dun think a typical chump is ever worth remotely near 4fig.
thestringpuller would never expect reddit to not be idiots
asciilifeform: ~nobody has where to use.
asciilifeform: mircea_popescu: we had this thread also.
mircea_popescu: anyway, talk about "botnet market" bla bla : imagine if guy had where to use this, recoup closer to the 4fig.
thestringpuller: wow. maybe theymos has something with his r/bitcoin moderation: "Please, never ever turns Bitcoin into a democracy sh** thing. Be strong."
asciilifeform: at the time there was no scrypt asic.
mircea_popescu: litecoin of all things.
asciilifeform: because why the fuck not.
asciilifeform: ah lel that was in the logz
mircea_popescu: https://archive.is/HOMve re missing luke chadwick / vertis.io thing
asciilifeform: submission is the single slowest piece.
asciilifeform: ssh key set is about 20k in thus far.
mircea_popescu: re the submissions : we couldn't have had lots of submissions without a rsa key in it, seeing how this is ssh set neh ?
mircea_popescu: i dunno, i'm wrong all the fucking time, at least as far as i can see. i guess not usually on thosethings people'd much rather i were wrong on
asciilifeform: the otp thread?
mircea_popescu: Framedragger was not here for the famous xor thread i guess.
a111: Logged on 2016-06-23 11:13 mircea_popescu: and b) a RICO-worthy criminal conspiracy, replete with fraud etc, to marginalize, intimidate and if need be assassinate "opponents" as defined by a group of nuts
asciilifeform: http://btcbase.org/log/2016-06-23#1487823 << mr mold correctly identified academia as one of 3 pillars of 'the cathedral' (lizard enforcers) - the other 2 being the controlled press, and usg civil service proper ☝︎
hanbot: mircea_popescu, tyvm!
mircea_popescu: i wanted to fail the whole philosophy 101 class. mihu didn't think it such a good idea. short teaching career for me, thankfully.
mircea_popescu: tis possibru, this.
mircea_popescu: hanbot http://trilema.com/2016/how-bitcoin-assets-was-born/ there, just for you.
a111: Logged on 2016-06-23 11:04 mircea_popescu: http://ctrl-d.ro/app/uploads/2016/06/e388bdd9-0bf0-4a26-ba03-02657f521b72.jpg << check out the golf club pattern! which mysteriously disappeared from all literature (ie, fiction writing) on the subject (as well as google, "scientific" paper search engines etc) after it was so humiliatingly debunked.
Framedragger: now i know that some things should be taken in jest, metaphorically, generically, etc. still, i say "lol".
a111: Logged on 2016-06-23 12:32 hanbot: maybe we're talking of very different people, or whatever. but i've never seen or heard of anyone more effervescently challenging of other's illusions than mp.
Framedragger: http://btcbase.org/log/2016-06-23#1487858 << this i agree with! however, be it as it may i've never seen mp graciously accept to being wrong on some point. now, that *may* be because mp isn't wrong a whole lotta times, i contend, yes; but it's still hilarious to me (in a stimulating kind of way, fwiw). e.g. the chinese konspiraci thing, it was posted on qntra by mircea_popescu, and then later mircea_popescu says the theory is legit becau ☝︎
a111: Logged on 2016-06-23 10:30 mircea_popescu: speaking of that, asciilifeform any idea how it's possible that Submissions: 3305302 Known Moduli: 2708380 Moduli Waiting for Test: 3677 ? shouldn't these add up ? ☟︎
asciilifeform: http://btcbase.org/log/2016-06-23#1487752 << prety sure this is in the logz: a 'submission' can have ANY number of moduli in it, because subkeys. ☝︎